摘要
随着互联网技术的发展和应用领域的扩大,电子商务得以蓬勃发展,在电子商务协议中,受信任的第三方担负着越来越重要的角色.当然,在电子商务中安全性问题也受到人们的广泛关注.文章用CCS对带第三方支付平台的电子交易系统进行了描述,并用模型检测的方法对安全性进行了阐述和验证.
With the development of Internet technology and the extension of its application areas,electronic commerce is becoming flourishing.In electronic commerce protocol,the trusted third party takes on very important party slowly.Here we use CCS to give the formal specifications of the electronic business system with trusted third party.And the system＇ security are verified and analyzed with the use of model checking.
出处
《太原师范学院学报（自然科学版）》
2011年第2期94-97,共4页
Journal of Taiyuan Normal University:Natural Science Edition
