搜索筛选:
搜索耗时0.0719秒,为你在为你在102,285,761篇论文里面共找到 3 篇相符的论文内容
发布年度:
[学位论文] 作者：边培泉,
来源：兰州理工大学 年份：2004
电子商务是当前各国研究发展的热点，电子商务的普及与接受取决于以下属性的解决：安全、原子、隐私与匿名，它以电子商务协议为构成框架，而电子商务协议是决定电子商务发展的关键因......
[期刊论文] 作者：冯涛,余冬梅,边培泉,
来源：兰州理工大学学报 年份：2004
通过对安全协议验证的形式化需求分析,论证了形式化描述和分析是描述电子商务协议并验证它们属性的有效方法.介绍了一个扩展的BAN逻辑,基于这个逻辑对一种电子交易协议--NetB...
[期刊论文] 作者：余冬梅,边培泉,冯涛,
来源：微机发展 年份：2003
伴随着网络和通信的迅速发展,安全已经成为一个备受关注的问题,为确保不同系统的安全,出现了许多的安全协议.文中描述了安全协议验证的形式化需求,并且详细阐述了目前流行的...
相关搜索：
