蒋凡
- 作品数：140 被引量：440H指数：12
- 供职机构：中国科学技术大学更多>>
- 发文基金：中央高校基本科研业务费专项资金安徽省高等学校优秀青年人才基金国家教育部博士点基金更多>>
- 相关领域：自动化与计算机技术电子电信经济管理文化科学更多>>
- 基于增量分析技术的TTCN-3语言语法制导编辑器
- 2010年
- 深入介绍TTCN-3语言的语法制导编辑技术,详细描述模板驱动的编辑方式以及在该编辑环境中采用的增量语法分析技术。在传统的模板编辑中,编辑操作是直接对语法树节点进行的,导致编辑过程不仅复杂且缺乏灵活性。针对这一问题,采用了基于文本模式的模板驱动编辑方法,编辑过程中不再对语法树节点进行操作,使之更好地与增量语法分析技术相结合,在改善编辑灵活性的同时提高了语法分析的效率。
- 蒋彪蒋凡
- 关键词：TTCN-3语法制导编辑器语法分析
- 基于C++语言转换的TTCN-3执行器的设计与实现被引量：5
- 2007年
- 在TTCN-3标准与执行语义研究的基础上,提出一种将TTCN-3语言翻译成C++语言的转换方案.首先将TTCN-3书写的抽象测试套翻译为C++语言,在翻译语言中添加执行要素,从而生成可执行的测试套,然后执行器调度该测试套完成测试套的执行.这种方案已经应用在新设计的TTCN-3测试系统中.运行结果表明,基于C++语言转换的TTCN-3测试系统在总体性能上比编译成内存对象并执行的方式有一定的提高.
- 蒋凡张辉
- 关键词：TTCN-3语言转换C++
- 智能代理与防火墙自动化测试被引量：1
- 2008年
- 防火墙系统是否有效起到防护作用,最根本的方法是对其进行测试。采用了与平台无关的抽象测试描述语言TTCN-3对防火墙测试部署进行描述,通过在智能代理上动态加载防火墙的测试配置脚本,可以适应各种防火墙的自动化测试。对多种中间系统或端系统测试有很好的普适性。
- 魏蓉郐吉丰蒋凡
- 关键词：防火墙测试智能代理TTCN-3
- 基于面向对象方法的XER编解码的设计与实现被引量：1
- 2003年
- ASN.1作为多种协议在表示层的抽象语法记法,应用在多媒体通信、协议测试等领域,可扩展标记语言XML是一种新的Web开发语言,在Internet/Intranet上发挥着日益重要的作用。文章分析研究了ASN.1最新标准X.693中XER编解码原理,利用面向对象的方法对其进行了实现,通过开发C++类库实现了ASN.1与XML的数据映射。
- 李贺禄蒋凡杨敬峰高翔
- 关键词：ASN.1XML面向对象设计
- 使用Android系统机制的应用程序恶意行为检测被引量：3
- 2014年
- Android中存在很多系统机制供应用程序使用,然而这些机制在不当使用时会对用户安全和利益造成很大的破坏性。提出一种基于程序分析的方法,检测应用程序使用这些机制时可能存在的恶意行为。针对函数本身的特征,构建与之相对应的函数摘要。在构建摘要时使用指令级的模拟执行,在检测恶意行为时使用函数级的模拟执行,通过这两种不同级别的模拟执行分析出应用程序中潜在的恶意行为。基于上述方法,设计和实现了一个原型系统。通过对公开的恶意应用样本进行检测,验证了本方法是有效的。
- 吴俊昌罗圣美巫妍程绍银蒋凡
- 关键词：ANDROID恶意行为
- 6LoWPAN协议一致性测试方法及仪表设计被引量：2
- 2012年
- 针对6LoWPAN协议栈的MAC层、适配层、网络层及路由协议,研究6LoWPAN协议的一致性测试方法,将TTCN-3测试标准引入到无线传感器网络协议的一致性测试领域,设计了一套以TTCN-3为协议测试描述语言、以ISO9646中定义的协议一致性测试模型为方法的6LoWPAN协议一致性测试仪表.
- 孙雪芹程绍银蒋凡
- 关键词：TTCN-3无线传感器网络仪表
- 关于电信行业网络安全模型的探讨
- 2003年
- 随着电信行业的快速发展,网络安全问题日益突出。本文结合实际应用特点,初步分析了电信运营网中经典安全模型的机制和所面临的困难,并提出了补充机制。
- 柴峰蒋凡李君
- 关键词：电信行业网络安全身份标识审计访问控制
- 安全私有云有效应对勒索病毒的原理分析被引量：4
- 2017年
- 勒索病毒的爆发,让企业数据资产保护所面临的问题暴露无遗,也让安全云存储在此次病毒爆发事件中的表现受到企业用户的关注。文章首先分析了企业在此次勒索病毒爆发中所面临的风险,对几种传统的数据保护技术优缺点进行了探讨,指出了传统数据保护技术所面临的困境。然后分析了安全私有云存储实现数据的保密性、完整性和可用性的基本原理,并利用安全私有云服务设计、实现和应用了商业秘密保护系统,有效地应对了勒索病毒的攻击,为全周期、全层次、全流程的数据安全提供了借鉴。
- 蒋凡魏弋翔庄严张静波
- 关键词：商业秘密保密性完整性可用性
- 一种基于TTCN-3的多路并行测试方法被引量：1
- 2007年
- 随着全球通信网络的高速发展,对日新月异的通信产品进行协议一致性测试尤为重要。该文介绍了TTCN-3测试执行机并行测试的模块设计方案,阐述了测试适配器的开发方法,重点分析了多路适配器的原理及实现,并以此为基础提出了一种多路并行测试的方法,该方法已成功地应用于802.16d协议的一致性测试。
- 高翔杨敬峰蒋凡
- 关键词：并行测试
- 基于标号变迁系统的测试集自动生成被引量：10
- 2001年
- 首先 ,依照 ISO 96 46的定义 ,阐述了协议一致性测试的基本概念 .然后 ,介绍标号变迁系统 (L TS)的形式化理论的定义和基本性质 ,利用 L TS,给出测试例、测试集以及测试生成的形式化定义 .第 3,表述了实现关系在测试生成中的地位和作用 ,定义了输入输出系统 ,并在输入输出系统以及Δ变换的基础上引入实现关系 ioco.根据实现关系 ioco给出了一个测试集自动生成算法 .该算法能很好地适用于递归的 L TS.
- 蒋凡宁华中
- 关键词：形式化方法有限状态机测试集自动生成网络协议
