首页 | 官方网站   微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   6篇
  免费   0篇
工业技术   6篇
  2014年   1篇
  2013年   1篇
  2009年   1篇
  2007年   1篇
  2006年   1篇
  2000年   1篇
排序方式: 共有6条查询结果,搜索用时 0 毫秒
1
1.
从命题逻辑的需求描述到状态转移图的形式规格   总被引:1,自引:0,他引:1  
信息处理系统的规模和复杂化,需要有效设计高可靠性系统的形式化的规模描述方法,本文针对以上功能,提出了基于命题逻辑的信息处理系统的新的需求描述方法,描述了通过使用逻辑PetriNet(LPN),把命题逻辑的需求描述变换成状态转移图的过程,并且给出了由LPN自动生成状态的转换图的算法。  相似文献   
2.
《Parallel Computing》2014,40(5-6):100-112
In recent years, several lightweight cryptographic protocols whose security lies in the assumed intractability of the learning parity with noise (LPN) problem have been proposed. The LPN problem has been shown to be solvable in subexponential time by algorithms that have very large (subexponential) memory requirements, which limits their practical applicability. When the memory resources are constrained, a brute-force search is the only known way of solving the LPN problem. In this paper, we propose a new parallel implementation, called Parallel-LPN, of an enhanced algorithm to solve the LPN problem. We implemented the Parallel-LPN in C and MPI (Message Passing Interface), and it was tested on a cluster system, where we obtained a quasi-linear speedup of approximately 90%. We also proposed a new algorithm by using combinatorial objects that enhances the Parallel-LPN performance and its serial version.  相似文献   
3.
简要介绍了异构网的基本概念和构成,深入研究了各种异构网的关键技术,并通过不同场景的应用策略分析,给出了异构网络的部署发展建议。  相似文献   
4.
研究了一种非常有发展潜力的RFID系统安全协议族——基于LPN的HB协议族(HB,HB 和HB )的流程及其安全性.HB协议族对被动攻击是安全的,但HB对主动攻击是不安全的,HB 和HB 对伪装成一个有效标签阅读器的中间人攻击是不安全的.因此,目前还没有成熟的HB协议.指出在协议中加入读写器身份信息以防范中间人攻击是下一步要研究的内容.  相似文献   
5.
基于LPN问题的RFID安全协议设计与分析   总被引:2,自引:0,他引:2  
该文对现有的基于LPN问题的RFID安全协议进行了系统分析,总结了这类协议存在的一些设计缺陷.为了克服这类协议中存在的安全漏洞,对其中一个最新版本的协议HB?进行改进,设计了一个新的RFID安全协议HB#,并在随机预言模型下给出了新协议的归约性证明.  相似文献   
6.
提出了一种新的基于动态信息模型的LPN路径规划算法。在规划方法中结合障碍物的动态信息在动态环境中能表现出更好的性能。针对原有动态信息模型的不足进行了分析和改进,提出了新的动态信息模型,并结合LPN梯度算法进行路径规划。通过仿真实验与在RoboCup中型组机器人上的测试表明了该方法的有效性。  相似文献   
1
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司    京ICP备09084417号-23

京公网安备 11010802026262号