您的位置: 专家智库 > >

刘楠

作品数:24 被引量:72H指数:4
供职机构:解放军信息工程大学理学院更多>>
发文基金:国家高技术研究发展计划国家自然科学基金河南省科技创新杰出青年基金更多>>
相关领域:自动化与计算机技术文化科学理学经济管理更多>>

文献类型

  • 20篇期刊文章
  • 4篇会议论文

领域

  • 17篇自动化与计算...
  • 4篇文化科学
  • 3篇经济管理
  • 3篇理学
  • 2篇电子电信

主题

  • 5篇安全协议
  • 4篇项重写
  • 4篇教学
  • 3篇形式化
  • 2篇等价
  • 2篇电子交易
  • 2篇形式化分析
  • 2篇约简算法
  • 2篇人力资本
  • 2篇认证性
  • 2篇树自动机
  • 2篇资本
  • 2篇自动机
  • 2篇网络
  • 2篇经济增长
  • 2篇经济增长模型
  • 2篇课程
  • 2篇计算机
  • 2篇公平
  • 2篇安全电子交易

机构

  • 22篇解放军信息工...
  • 5篇河南工业大学
  • 3篇中国人民解放...
  • 1篇河南大学

作者

  • 24篇刘楠
  • 9篇祝跃飞
  • 5篇陈晨
  • 4篇顾纯祥
  • 4篇于俊伟
  • 3篇陈卫红
  • 3篇朱文也
  • 3篇费金龙
  • 2篇刘胜利
  • 2篇郑永辉
  • 2篇马亚南
  • 2篇辛丹
  • 1篇张德贤
  • 1篇贺新征
  • 1篇李新娜
  • 1篇吴树华
  • 1篇肖达
  • 1篇刘龙
  • 1篇问斌
  • 1篇王峰

传媒

  • 4篇计算机工程
  • 2篇计算机应用与...
  • 2篇计算机工程与...
  • 1篇计算机光盘软...
  • 1篇通信学报
  • 1篇北京工业大学...
  • 1篇统计与决策
  • 1篇微电子学与计...
  • 1篇计算机应用研...
  • 1篇计算机工程与...
  • 1篇计算机科学
  • 1篇信息工程大学...
  • 1篇河南教育学院...
  • 1篇金融经济(下...
  • 1篇佳木斯职业学...
  • 1篇2010年全...
  • 1篇军队院校数学...

年份

  • 1篇2016
  • 2篇2015
  • 2篇2014
  • 4篇2012
  • 2篇2011
  • 6篇2010
  • 1篇2009
  • 5篇2008
  • 1篇2005
24 条 记 录,以下是 1-10
排序方式:
非线性布尔函数实现技术研究
2014年
为了提升处理器中非线性布尔函数处理效率,建立了以抽取移位和与-异或为基础的非线性布尔函数计算模型。利用抽取移位操作选择非线性布尔函数中参与运算的变量,利用与-异或操作实现不同次数与项之间的异或运算。对设计的单元进行了性能评估和函数适配,测试结果表明,设计的非线性布尔函数计算模型能够大幅降低实现非线性布尔函数所需的运算次数。
常忠祥戴紫彬李伟刘楠戴强
关键词:抽取拆分
基于状态转移系统的安全协议形式模型被引量:2
2008年
提出一种基于状态转移系统的安全协议模型,以Dolev-Yao攻击者模型为前提假设,以状态转移系统为框架,用语义编码的方式定义消息和事件,用重写关系定义协议规则,用事件的集合来描述协议的安全属性,并给出安全属性的检验策略。该模型能够对安全协议进行精确的形式化描述,且便于实现自动化分析。
毛中全刘楠顾纯祥祝跃飞
关键词:安全协议
基于嵌入式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年
讨论三十六计中的"以逸待劳""抛砖引玉""声东击西""欲擒故纵"和"树上开花"等计策在概率论与数理统计课堂教学中的概念引入和解题方法中的应用.这种形式让学生能更快地记住新的数学概念和计算方法,拓展了数学的文化性和应用性.
李新娜陈轲刘楠
关键词:三十六计计策
考虑人力资本积累的随机经济增长模型研究
2008年
本文在考虑人力资本存量的前提下,利用随机经济增长模型的分析方法分析人力资本积累对经济增长的影响以及教育生产之间的最优时间比例,同时分析在竞争经济下,考虑税收对各个增长率的影响,得出了教育生产之间的最优时间比例,以及在竞争经济下,增长率将不受税收的影响等结论。
刘楠张国芳豆俊梅
关键词:人力资本积累经济增长模型
网络安全专业本科生创新能力培养研究与探索
针对目前存在的网络安全专业本科生创新能力不强、训练不足的现状,分析了目前网络安全专业本科生创新能力培养面临的问题,探讨了实践能力培养方面的可能途径,最后介绍了作者所在院校在网络安全专业本科生创新能力培养方面采取的措施及取...
刘胜利刘楠肖达刘龙
关键词:网络安全本科生
文献传递
共3页<123>
聚类工具0