搜索筛选:
搜索耗时1.8888秒,为你在为你在102,285,761篇论文里面共找到 8 篇相符的论文内容
发布年度:
[期刊论文] 作者：刘东喜,白英彩,
来源：软件学报 年份：2002
Strand空间是一种新的安全协议分析模型.系统研究了使用Strand空间模型证明认证协议存在缺陷的方法.在证明过程中,使用目标细化方法证明了认证属性.通过在该模型中引入消息类...
[期刊论文] 作者：刘东喜,白英彩,
来源：Journal of Shanghai Jiaotong University 年份：2002
Specification language is used to provide enough information for the model of the cryptographic protocol. This paper first extends strand space model to dynamic...
[期刊论文] 作者：刘东喜,黄其军,
来源：电脑与数控 年份：1989
...
[期刊论文] 作者：李小勇,刘东喜,等,
来源：电子学报 年份：2002
本文提出并实现了一个改进的路由器包转发模型，该模型解决了传统模型在系统过载时吞吐量下降和延迟剧增的问题，并避免了传统模型中多级队列导致的包转发延迟。实际测试表明路由......
[期刊论文] 作者：LIU,Dong-xi(刘东喜),LI,Xiao-yong(,
来源：上海交通大学学报：英文版 年份：2002
Specification language is used to provide enough information for the model of the cryptographic protocol. This paper first extends strand space model to dynamic...
[期刊论文] 作者：刘东喜,李小勇,白英彩,
来源：计算机科学技术学报 年份：2002
This paper proposes an automatic attack construction algorithm in order to find potential attacks on security protocols. It is based on a dynamic strand space m...
[期刊论文] 作者：刘东喜,赵玉源,李小勇,白英彩,
来源：1999信息安全国际会议 年份：1999
提出用对象Petri网表示网络认证协议的方法。这种方法能反映协议的动态特性，也利于体现协议执行主体可利用的资源。最后，总结出可把协议的安全性问题转化为Petri网单个位置的1-...
[期刊论文] 作者：李小勇,刘东喜,陈凯,梁阿磊,白英彩,
来源：电子学报 年份：2002
本文提出并实现了一个改进的路由器包转发模型,该模型解决了传统模型在系统过载时吞吐量下降和延迟剧增的问题,并避免了传统模型中多级队列导致的包转发延迟.实际测试表明路...
相关搜索：
