%0 Journal Article
%T The Secure Electronic Transactions Protocol and Its Logical Verification with Non-Monotomic Dynamic Logic<br>电子商务安全协议及其非单调动态逻辑验证
%A CHEN Qing-feng
%A BAI Shuo
%A WANG Ju
%A ZHANG Shi-chao
%A Sui Li-ying
%A <br>陈庆锋
%A 白硕
%A 王驹
%A 张师超
%A 隋立颖
%J 软件学报
%D 2000
%I 
%X 该文介绍了SET(secure electronic transactions)的付费业务流程,对NDL(non-monotomic dynamic logic)的逻辑框架进行了扩展,即针对SET协议,增加了新的公理,重新给出积累规则的定义.在此基础上,用对SET中的几个重要的范例进行的逻辑验证,说明了NDL在验证电子商务协议上的重要性,并初步提出了积累规则中需要进一步研究的问题.
%K Information security
%K logical verification
%K electronic commerce
%K registration
%K payment<br>信息安全
%K 逻辑验证
%K 电子商务
%K 注册
%K 付费.
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=1ECCCA6F7A0A71B4&yid=9806D0D4EAA9BED3&vid=708DD6B15D2464E8&iid=0B39A22176CE99FB&sid=C812B90E96151014&eid=1D01216AD76577EC&journal_id=1000-9825&journal_name=软件学报&referenced_num=6&reference_num=8