刘楠
- 作品数：24 被引量：72H指数：4
- 供职机构：解放军信息工程大学理学院更多>>
- 发文基金：国家高技术研究发展计划国家自然科学基金河南省科技创新杰出青年基金更多>>
- 相关领域：自动化与计算机技术文化科学理学经济管理更多>>
- 非线性布尔函数实现技术研究
- 2014年
- 为了提升处理器中非线性布尔函数处理效率,建立了以抽取移位和与-异或为基础的非线性布尔函数计算模型。利用抽取移位操作选择非线性布尔函数中参与运算的变量,利用与-异或操作实现不同次数与项之间的异或运算。对设计的单元进行了性能评估和函数适配,测试结果表明,设计的非线性布尔函数计算模型能够大幅降低实现非线性布尔函数所需的运算次数。
- 常忠祥戴紫彬李伟刘楠戴强
- 关键词：抽取拆分
- 基于状态转移系统的安全协议形式模型被引量：2
- 2008年
- 提出一种基于状态转移系统的安全协议模型,以Dolev-Yao攻击者模型为前提假设,以状态转移系统为框架,用语义编码的方式定义消息和事件,用重写关系定义协议规则,用事件的集合来描述协议的安全属性,并给出安全属性的检验策略。该模型能够对安全协议进行精确的形式化描述,且便于实现自动化分析。
- 毛中全刘楠顾纯祥祝跃飞
- 关键词：安全协议
- 基于项重写的安全电子交易形式化模型
- 2010年
- 构建一个安全电子交易的形式化模型,为实现对相关安全协议的自动化分析提供了理论基础和技术手段.该模型基于项重写理论进行构建,通过符号化和规则化的方式刻画电子交易的3个主要过程,不但体现交易双方能互相检验身份的安全机制,并且通过项重写系统终止性和会聚性的性质证明该模型具有完整性和一致性等特点,在安全性分析方面验证该模型满足认证性和发送非否认性.
- 陈晨刘楠陈卫红祝跃飞
- 关键词：电子交易形式化项重写
- 基于项重写的安全电子交易形式化模型
- 构建一个安全电子交易的形式化模型,为实现对相关安全协议的自动化分析提供了理论基础和技术手段.该模型基于项重写理论进行构建,通过符号化和规则化的方式刻画电子交易的3个主要过程,不但体现交易双方能互相检验身份的安全机制,并且...
- 陈晨刘楠陈卫红祝跃飞
- 关键词：电子交易
- 基于嵌入式Linux的二维码识别系统被引量：4
- 2012年
- 设计了一种基于嵌入式Linux的二维码自动识别系统。对系统的软硬件结构进行了详细分析,提出了一种包含图像二值化、信息定位和译码的二维码识别算法。实验证明了该系统设计的可行性和二维码识别算法的有效性。
- 于俊伟刘楠
- 关键词：嵌入式LINUX系统QR码计算机视觉
- 基于文件过滤驱动的数据安全系统的研究与实现被引量：10
- 2008年
- 分析了Windows系统中的数据保护现状,指出了现有保护方式的缺限.并采用文件过滤技术,设计和实现了一个与文件系统独立的数据保护系统.在该系统中,用户可以正常使用文件,一旦用户将文件带出局域网工作环境,文件以密文的形式存在并将不可用.
- 贺新征费金龙刘楠祝跃飞
- 关键词：数据保护访问控制文件过滤驱动
- TA4SP的认证性扩展
- 2010年
- 认证性是安全协议检测的重要特性之一,但TA4SP自动协议证明器无法对安全协议的认证性进行检测。针对该问题,提出一种TA4SP的认证性检测方法。该方法基于对TA4SP设计原理的分析,采用分层认证思想,实现对其认证性的理论扩展,其结构清晰、易于形式化。实例表明,通过该方法改进后的TA4SP能有效检测安全协议的认证性。
- 朱文也祝跃飞刘楠陈晨
- 关键词：项重写系统树自动机认证性
- 基于SAT的安全协议惰性形式化分析方法被引量：2
- 2014年
- 提出了一种基于布尔可满足性问题的安全协议形式化分析方法 SAT-LMC,通过引入惰性分析的思想优化初始状态与转换规则,提高了安全性的检测效率。另一方面,通过在消息类型上定义偏序关系,SAT-LMC能够检测出更丰富的类型缺陷攻击。基于此方法实现了一个安全协议分析工具,针对Otway-Rees协议检测出了一种类型缺陷攻击;针对OAuth2.0协议,检测结果显示对现实中存在的一些应用场景,存在一种利用授权码截取的中间人攻击。
- 顾纯祥王焕孝郑永辉辛丹刘楠
- 关键词：安全协议形式化分析布尔可满足性
- 基于偏序归约的状态空间约简算法被引量：3
- 2012年
- 目前,针对安全协议分析的偏序归约算法较为复杂且不易实现,限制了其适用范围,未考虑约简诚实主体会话中的逆序结点。针对该问题,采用偏序归约的思想,提出一种诚实主体会话中逆序结点的约简算法以及一种迹等价迁移冗余后继结点的约简算法。两种算法思想简单,易于实现。实例表明,这两种算法有效地约简了安全协议的状态空间。
- 马亚南刘楠陈晶宁祝跃飞
- 关键词：逆序
- 三十六计和概率论与数理统计课堂教学
- 2016年
- 讨论三十六计中的"以逸待劳""抛砖引玉""声东击西""欲擒故纵"和"树上开花"等计策在概率论与数理统计课堂教学中的概念引入和解题方法中的应用.这种形式让学生能更快地记住新的数学概念和计算方法,拓展了数学的文化性和应用性.
- 李新娜陈轲刘楠
- 关键词：三十六计计策
