搜索筛选:
搜索耗时0.0334秒,为你在为你在61,042,061篇论文里面共找到 3 篇相符的论文内容
类      型:
[学位论文] 作者:项俊龙, 来源:福州大学 年份:2014
[期刊论文] 作者:项俊龙, 陈传峰,, 来源:信息安全与通信保密 年份:2004
安全协议作为确保网络安全的关键技术,其安全性直接决定了网络的安全性能。然而安全协议设计与分析存在着诸多困难,目前采用的主要方法是形式化方法,主要分为模态逻辑的方法...
[期刊论文] 作者:陈传峰,项俊龙,, 来源:信息安全与通信保密 年份:2014
机密性是无线传感器网络众多安全需求中最为核心的一项,网络安全的重点通常首先就是要解决数据机密性问题,安全协议的机密性直接决定了网络中传输数据消息的安全性。文中基于Applied pi演算构建SNEP协议机密性论证模型,将协议分成协议进程和用户进程两部分来分......
相关搜索: