搜索
安全电子商务协议的逻辑分析方法研究作者：席琳学位授予单位：郑州大学相似文献(1条)1.会议论文黄寄洪.胡振宇.吕双双网络安全协议的形式化分析与应用2002串空间模型(strandspace)是一种有效的安全协议形式化分析工具.利用串空间模型,我们设计了一个安全电子商务协议SSECT.从中展示了串空间模型怎样利用加密和随机数来实现协议成员的认证.所设计的SSECT协议在功能和安全保证上实现了电子商务交易标准(SET)所要求的购买申请,支付认证,付款等功能.本文链接：：上海海事大学(wflshyxy)，授权号：63ae5d08-6546-4a87-a5fc-9e0601218c23下载时间：2010年10月5日