%0 Journal Article
%T 电子商务安全协议及其非单调动态逻辑验证
%A 张师超
%A 王驹
%A 白硕
%A 陈庆锋
%A 隋立颖
%J -
%D 2000
%X 该文介绍了SET(secure electronic transactions)的付费业务流程,对NDL(non-monotomic dynamic logic)的逻辑框架进行了扩展,即针对SET协议,增加了新的公理,重新给出积累规则的定义.在此基础上,用对SET中的几个重要的范例进行的逻辑验证,说明了NDL在验证电子商务协议上的重要性,并初步提出了积累规则中需要进一步研究的问题
%K 信息安全
%K 逻辑验证
%K 电子商务
%K 注册
%K 付费.
%U http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?file_no=20000213&flag=1