刘林武 作品数:8 被引量:0 H指数:0 供职机构: 南京航空航天大学 更多>> 发文基金: 国家高技术研究发展计划 国家自然科学基金 更多>> 相关领域: 自动化与计算机技术 电子电信 更多>>
一种基于三支决策的两阶段软件缺陷预测方法 本发明公开了一种基于三支决策的两阶段软件缺陷预测方法,属于软件测试技术领域。该方法分为两个阶段:第一阶段:依据决策阈值对和软件模块的条件概率,将软件模块划分到三个不同的区域中,对于正域和负域的软件模块,将其直接判定为有缺... 李伟湋 黄志球 谢健 马薇薇 刘林武文献传递 反例引导的抽象精化优化技术研究 模型检测最主要的瓶颈是状态空间的爆炸,这就导致早期的模型检测主要用于小型系统的验证。为解决这个问题,偏序约简、有序二叉决策图、抽象等方法被提出。在上述方法中,抽象技术是重要的方法之一。抽象技术是对大型软件系统进行验证的一... 刘林武模型检测中虚假反例检测方法 2017年 抽象技术是解决模型检测状态空间爆炸的一种有效方法,但其中一个重大的障碍是对系统的抽象会引入原始系统中本来不存在的行为,即可能会引入虚假反例。因此,需要根据反例对抽象模型进行精化。如何判定一个反例是虚假反例还是真实反例,在抽象精化过程中相当重要。本文根据状态的前驱和后继定义失效状态,给出虚假反例的定义,并基于此提出检测虚假反例的并行算法。 刘林武 张弛基于哈希函数和公钥加密的电子投票系统 2017年 电子投票系统因其方便性、匿名性、安全性,正在得到越来越广泛的应用。本文提出一种基于网络的电子投票系统,使用哈希函数确保选票的完整性,借鉴公钥加密体制,使用投票人密钥对来认证选票的有效性,利用计票服务器密钥对来加密保护选票内容。该系统保证了保护了选举人的隐私,确保了投票的可信度和安全性。 刘林武 张弛关键词:电子投票 哈希函数 公钥加密 一种基于三支决策的两阶段软件缺陷预测方法 本发明公开了一种基于三支决策的两阶段软件缺陷预测方法,属于软件测试技术领域。该方法分为两个阶段:第一阶段:依据决策阈值对和软件模块的条件概率,将软件模块划分到三个不同的区域中,对于正域和负域的软件模块,将其直接判定为有缺... 李伟湋 黄志球 谢健 马薇薇 刘林武文献传递 基于CPA的抽象解释分析方法研究 2017年 安全关键领域中,如何保证软件安全性已经成为了一个广受关注的重要课题。确保程序中没有运行时错误,对于软件安全性的保证十分重要。基于抽象解释的静态分析方法对程序语义进行抽象,是验证运行时错误最合适的形式化方法之一。可配置程序分析(configurable program analysis,CPA)是一种适合多种静态分析方法的通用分析框架。本文使用CPA对抽象解释分析方法进行建模,给出了使用基于CPA的抽象解释方法验证程序中的运行时错误的验证流程,并用实例说明该验证方法的有效性。为程序中运行时错误的自动化分析和验证提供了一种可行方案。 张弛 黄志球 丁泽文 刘林武基于位置服务中单向哈希法隐私保护研究 2017年 基于位置的服务(LBS)正在被越来越多的移动用户使用,用户的身份信息和位置信息也将暴露给服务提供商,从而可能导致用户的隐私被侵犯。提出了单向哈希方法,避免将用户的个人信息直接暴露给服务提供商;使用一种匿名方法,由匿名器将用户的真实位置信息和故意添加的虚假位置信息一齐发送给服务提供商,从而使服务提供商无法得知用户的真实位置,保护了用户的位置隐私。 刘林武 张弛关键词:隐私保护 LBS 哈希函数 基于抽象解释的迹划分技术研究 2017年 确保程序中没有运行时错误,对于软件安全性的保证十分重要。基于抽象解释的静态分析方法对程序语义进行抽象,是验证运行时错误最合适的形式化方法之一。然而抽象解释对于程序语义的抽象可能导致过近似问题,从而引发误报,降低了分析精度。因此提出了迹划分的技术,根据程序的迹对程序控制流图进行划分,对静态分析过程进行局部细化,减少了抽象解释过程中过近似引发的误报。迹划分技术以局部分析效率降低为代价换来了分析精度的提高。 张弛 丁泽文 刘林武