-
程绍银
-

-

- 所属机构:中国科学技术大学
- 所在地区:安徽省 合肥市
- 研究方向:自动化与计算机技术
- 发文基金:中央高校基本科研业务费专项资金
相关作者
- 蒋凡

- 作品数:140被引量:438H指数:12
- 供职机构:中国科学技术大学
- 研究主题:TTCN-3 网络安全 应用程序 防火墙 协议一致性测试
- 李子锋

- 作品数:6被引量:10H指数:1
- 供职机构:中国科学技术大学
- 研究主题:恶意行为 ANDROID 应用程序 恶意软件 恶意
- 吴俊昌

- 作品数:6被引量:5H指数:2
- 供职机构:中国科学技术大学
- 研究主题:恶意行为 应用程序 ANDROID 恶意 权限
- 葛子毅

- 作品数:6被引量:0H指数:0
- 供职机构:中国科学技术大学
- 研究主题:寄生 污点 网络数据包 应用程序 程序插桩
- 林锦滨

- 作品数:7被引量:4H指数:1
- 供职机构:中国科学技术大学计算机科学与技术学院
- 研究主题:程序切片 C代码 漏洞检测 代码分析 逆向工程
- 一种企业资产评估方法
- 本发明公开了一种企业资产评估方法,包括:根据企业信息动态构造RBAC模型,通过RBAC模型得到与角色权限相关的权限比重因子;设计资产价值基向量、固有资产价值向量与资产价值转移矩阵;根据资产价值基向量、固有资产价值向量与资...
- 程绍银刘冲蒋凡
- 文献传递
- 一种使用差分隐私技术防御图数据攻击的方法
- 本发明公开了一种使用差分隐私技术防御图数据攻击的方法,包括:对于待保护的图模型,收集其中的原始图数据;采用差分隐私技术,对原始图数据进行无偏估计处理;利用处理后的图数据进行图模型的训练,获得具备防御图数据攻击能力的图模型...
- 程绍银杜文涛孙启彬
- 文献传递
- 使用Android系统机制的应用程序恶意行为检测被引量:3
- 2014年
- Android中存在很多系统机制供应用程序使用,然而这些机制在不当使用时会对用户安全和利益造成很大的破坏性。提出一种基于程序分析的方法,检测应用程序使用这些机制时可能存在的恶意行为。针对函数本身的特征,构建与之相对应的函数摘要。在构建摘要时使用指令级的模拟执行,在检测恶意行为时使用函数级的模拟执行,通过这两种不同级别的模拟执行分析出应用程序中潜在的恶意行为。基于上述方法,设计和实现了一个原型系统。通过对公开的恶意应用样本进行检测,验证了本方法是有效的。
- 吴俊昌罗圣美巫妍程绍银蒋凡
- 关键词:ANDROID恶意行为
- 6LoWPAN协议一致性测试方法及仪表设计被引量:2
- 2012年
- 针对6LoWPAN协议栈的MAC层、适配层、网络层及路由协议,研究6LoWPAN协议的一致性测试方法,将TTCN-3测试标准引入到无线传感器网络协议的一致性测试领域,设计了一套以TTCN-3为协议测试描述语言、以ISO9646中定义的协议一致性测试模型为方法的6LoWPAN协议一致性测试仪表.
- 孙雪芹程绍银蒋凡
- 关键词:TTCN-3无线传感器网络仪表
- 一种自动生成软件缺陷输入的方法被引量:2
- 2010年
- 利用软件补丁信息,结合静态分析、符号执行和约束求解技术,提出了一种测试输入自动生成方法.该方法可以自动产生绕过补丁修补位置的测试输入,给出新的触发软件缺陷的有效可执行路径,从而找到新的软件缺陷.运用这种方法,在GNU Mailutils中,成功地发现了一个软件缺陷.该方法可以运用于实际的软件代码,保证了软件补丁修补的完备性.
- 程绍银蒋凡王嘉捷张晓菲
- 关键词:补丁
- 应用层负载特征定义及自动提取方法被引量:2
- 2012年
- 针对现有网络流量识别中应用层负载特征提取方法对训练数据中字节值变化较为敏感的问题,首先定义了一种新的以位为最小特征单位的网络流量应用层负载特征,然后设计了相应的自动提取方法。通过3种常用标准协议的实验表明,自动提取方法可以快速获得负载特征,特征识别结果准确性高。对QQ私有应用协议的实验表明,使用获取到的负载特征进行网络流量识别,可以满足实际网络中对QQ网络流量识别的要求。
- 邓伟锋程绍银蒋凡吕秀全
- 关键词:网络流量识别特征提取识别率
- 性能测试在等级测评中的应用
- 为了保证信息系统的可用性和服务质量,《信息系统安全等级保护基本要求》中对于不同等级的信息系统,提出了服务保证类的各项要求,但由于系统的复杂性,等级测评中仅通过访谈和检查,很难准确的判定被测系统是否符合相关要求。<b...
- 庄严程绍银廉明蒋凡
- 关键词:计算机网络网络安全安全测评
- 基于文本分析的自动化疾病编码方法被引量:2
- 2015年
- 对疾病进行编码是将疾病诊断名称转化为标准ICD(国际疾病分类)编码的过程.鉴于编码量庞大和人工编码效率低等原因,有必要实现疾病编码的自动化.提出一种自动化的疾病编码方法,使用一种文本建模方法将ICD表示为文本集,然后借助文本相关性度量,获取与待编码疾病诊断名称最相关的ICD编码.经实验验证,本文提出的自动化疾病编码方法准确率较高、效率优秀、分类层次变换灵活,可广泛应用于各种类型的数据分析场景.
- 鲍庆升程绍银蒋凡
- 关键词:疾病编码文本分析ICD
- 性能测试在等级测评中的应用
- 2014年
- 为了保证信息系统的可用性和服务质量,《信息系统安全等级保护基本要求》中对于不同等级的信息系统,提出了服务保证类的各项要求。但由于系统的复杂性,等级测评中仅通过访谈和检查,很难准确判定被测系统是否符合相关要求。介绍性能测试的分类、方法,比较性能测试在等级测评和常规测试项目中使用的异同,提出在等级测评中,应引入性能测试以获取具有说服力的判定证据。以LoadRunner为例介绍了性能测试工具的使用,以及等级测评中应用性能测试的特点和注意事项。
- 庄严程绍银廉明蒋凡
- 关键词:等级保护等级测评LOADRUNNER
- 软件演进驱动的按需自动测试
- 2010年
- 为了及时彻底地测试演进着的软件,提出了软件演进驱动的按需自动测试算法.首先,根据软件演进时源文件的文本更新,通过控制与数据依赖分析识别受影响的语义变化区域,再结合代码安全缺陷分析按需构造精简测试流图.接着,按需符号执行图中各条路径且缺陷关联路径优先,主动探测和求解缺陷触发条件以排除误报,在路径分支点按需克隆执行环境以避免路径前缀的重复执行,并及时求解路径条件以剪除不可行路径.最终,自动生成针对软件更新实现路径覆盖的精简测试例集合.目前已实现了测试工具原型,用其测试了多个开源软件,发现了OpenSSL代码中的真实缺陷.
- 王嘉捷蒋凡程绍银张晓菲林锦滨