%0 Journal Article
%T Logical Verification of Secure Electronic Transactions Protocol<br>电子商务安全协议的逻辑验证
%A CHEN Qing-feng
%A WANG Ju
%A BAI Shuo
%A ZHANG Shi-chao
%A SUI Li-ying
%A <br>陈庆锋
%A 王驹
%A 白硕
%A 张师超
%A 隋立颖
%J 软件学报
%D 2000
%I 
%X In the previous work,some segments of secure electronic transactions (SET) are verified,and some potential problems in SET are also discussed.Based on these,all transactions in SET are strictly logically verified in this paper.Though this formal logic verification,certain problems are found to do exist in SET.Solutions to these problems are also discussed.
%K Information security
%K logical verification
%K accountability
%K traceable<br>信息安全
%K 逻辑验证
%K 防抵赖性
%K 可追踪性.
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=85FA983FAB1F1FCB&yid=9806D0D4EAA9BED3&vid=708DD6B15D2464E8&iid=38B194292C032A66&sid=C7DDDE86E6286CD9&eid=FA3423FC1AE95C4E&journal_id=1000-9825&journal_name=软件学报&referenced_num=6&reference_num=10