-
【作者】冯源
-
【刊名】计算机应用
-
【作者单位】太原师范学院数学系
-
【年份】2010
-
【卷号】第30卷
-
【期号】 第A2期
-
【页码】112-115
-
【ISSN】1001-9081
-
【关键词】可信任第三方 CCS 公平性 可追究性
-
【摘要】
随着电子商务的发展,电子商务协议中受信任的第三方担负着越来越重要的角色。针对电子协议的安全性,用形式化的方法(如CCS)对几种带有可信任第三方平台的电子商务协议进行描述,并用模型检测的方法对安全协议的几种性质进行了阐述和验证。
-
【文献类型】
期刊
进入发现系统查看更多信息
页脚
