蒋凡
作品数: 140被引量:435H指数:12
  • 所属机构:中国科学技术大学
  • 所在地区:安徽省 合肥市
  • 研究方向:自动化与计算机技术
  • 发文基金:中央高校基本科研业务费专项资金

相关作者

程绍银
作品数:42被引量:45H指数:4
供职机构:中国科学技术大学
研究主题:应用程序 恶意行为 ANDROID 恶意 恶意软件
杨敬峰
作品数:9被引量:47H指数:3
供职机构:中国科学技术大学计算机科学与技术学院
研究主题:TTCN TTCN-3 面向对象方法 ASN.1 网络协议
曾凡平
作品数:64被引量:192H指数:7
供职机构:中国科学技术大学计算机科学与技术学院
研究主题:测试用例 漏洞挖掘 FUZZING 软件测试 程序不变量
张卫星
作品数:6被引量:16H指数:2
供职机构:中国科学技术大学计算机科学与技术学院
研究主题:协议一致性测试 TTCN 通信协议 一致性 INTERNET
林锦滨
作品数:7被引量:4H指数:1
供职机构:中国科学技术大学计算机科学与技术学院
研究主题:程序切片 C代码 漏洞检测 代码分析 逆向工程
一种6LoWPAN的协议一致性测试仪表及方法
本发明公开了一种6LoWPAN的协议一致性测试仪表,包括:主控模块、协议栈模块和射频模块;所述主控模块包括:测试子模块、系统集成子模块、和人机界面子模块;所述协议栈模块分别与所述主控模块和所述射频模块通信连接,用于对所述...
孙雪芹程绍银蒋凡赵营尹光宇陈文龙葛子毅杜健李子峰吴俊昌
文献传递
一种Android应用程序恶意行为的静态检测方法被引量:10
2013年
目前Android应用程序的安全问题得到越来越多的关注.提出一种检测Android应用程序中恶意行为的静态分析方法,该方法采用静态数据流分析技术,并实现了常量分析算法,通过跟踪应用程序对常量值的使用来检测恶意订购、资费消耗等多种类型的恶意行为.实验结果表明,该方法可以有效检测出Android应用程序的恶意行为,具有较高的实用性.
李子锋程绍银蒋凡
关键词:恶意行为数据流分析
基于TTCN-3的SIP一致性测试被引量:3
2007年
应用层控制协议SIP(Session Initiation Protocol)已被用于在IP网络中建立、修改和终止多个参与者参加的多媒体会话.为了保证SIP的不同实现之间能够可靠地进行通信,需要对其进行严格的一致性测试并检验SIP实现是否与标准一致.ETSI(European Telecom munications Standards Institute)开发的下一代测试描述语言TTCN-3(Testing and Test Control Notation version 3)在SIP一致性测试中起着重要的作用.本文描述了通用TTCN-3测试系统的设计和实现以及使用TTCN-3对SIP进行测试的情况.
黄传动蒋凡
关键词:SIPTTCN-3
基于指令集随机化的XSS检测和防御系统被引量:2
2014年
针对Web遭受跨站脚本攻击越来越严重的问题,设计了一个基于指令集随机化的服务器端XSS检测和防御模型,并在PhpBB网络论坛系统中进行了实现,通过对实验结果的分析可知,本系统可以很好地检测和防御反射型XSS攻击和存储型XSS攻击,同时能检测和防御因网络或操作系统层漏洞导致的网页篡改和网页挂马等恶意攻击行为。
黄俊程绍银蒋凡
关键词:跨站脚本代理网页挂马
基于程序分析的通信软件模型驱动测试研究
2009年
针对通信软件的模型驱动测试框架中出现的测试生成问题,对MSC测试模型的测试生成方法进行改进,获得有效的系统测试集。采用符号执行和程序分析相结合的方法,收集生成的约束、测试脚本变量与被测系统变量之间的映射关系,据此生成测试模型,进一步进行模型验证和测试生成。这种方法可以对原有的测试集合进行半自动的扩展,对关心的程序路径进行测试覆盖,从而提高测试集合的有效性和完备性。
蒋凡章磊陈军成王建学
关键词:通信软件
改进的序列模式挖掘在医院转诊中的应用被引量:1
2015年
为了研究患者在不同医院间的转诊行为模式,可以使用序列模式挖掘算法.类Apriori算法是序列模式挖掘中的常用算法,但该算法存在一些不足之处,如产生候选序列的数目较多、需要频繁扫描数据库.针对类Apriori算法存在的不足,本文提出了相应的改进措施,采用新的剪枝策略并减少不必要的数据库扫描操作.实验证明,改进后的算法能更高效地挖掘频繁转诊序列.
陶惠蒋凡
关键词:序列模式挖掘剪枝
反应式系统测试方法
本发明公开了一种反应式系统测试方法,包括以下步骤:a)将测试过程划分成若干个基本测试模块;b)使用测试语言实现基本测试模块;c)使用业务流程语言对基本测试模块进行编排,生成新的测试例;以及d)使用业务流程语言执行器执行所...
蒋凡程绍银储诚操
文献传递
在网上用SMIL实现多媒体同步被引量:17
2001年
介绍同步多媒体集成语言SMIL ,然后给出在Web服务器上利用SMIL语言实现视频和文字注释并行同步传输的方法。
张平蒋凡
关键词:多媒体服务器SMIL语言
网络安全量化评估系统的研究与应用被引量:10
2003年
The rapid development of the Network makes the comprehensive analysis as well as the quantitative evaluation of its security become more and mere important. This paper illustrates the major realization process of a Network Security Quantitative Evaluation System,which,from an intruder's angle ,established a Hierarchy Intrusion Relationship Graph by analyzing the credit degree fusion and relevancy of the secure information of the target network and by combining with powerful database information. At last, by applying some relative mathematics model and arithmetic, the paper analyzes and evaluates the security of this Network Hierarchy Intrusion Relationship Graph comprehensively and quantitatively.
夏阳陆余良蒋凡
关键词:计算机网络逆向工程脆弱性
恶意软件动态分析云平台被引量:2
2016年
传统的杀毒软件基于特征码识别的方式有效但具有一定的局限性.使用沙箱动态分析的方法能通过目标软件的行为特征对其恶意属性进行判断,可以同时达到检测恶意软件和帮助分析人员快速分析恶意软件的目的.为了提高沙箱平台分析的易用性和高效性,本文设计并实现了一个恶意软件动态分析云平台,通过分布式的沙箱控制机制,保证沙箱的分析能力以及可扩展性,并可通过对目标软件的分析结果来判断其是否属于恶意软件.实验表明,设计的云沙箱系统能够有效和高效的检测出恶意软件的恶意行为.
徐欣程绍银蒋凡
关键词:恶意软件沙箱