%0 Journal Article
%T Knowledge and faith model of electronic commerce protocols<br>一种分析电子商务协议的知识与信念模型
%A LIU Wen-yuan
%A WEI Gang
%A SI Ya-li
%A <br>刘文远
%A 魏刚
%A 司亚利
%J 计算机应用研究
%D 2012
%I 
%X 针对现阶段电子商务协议形式化分析的处理比较混乱、表述精确度不高且通用性较差、存在一些不合理的假设等问题，运用现代模态逻辑理论，结合知识与信念，提出了一种分析电子商务协议的模型：知识与信念模型。该模型主要包含安全环境、知识集、信念集、能力集、切入点和知识化等因素。知识与信念模型很好地解决了上述问题，能够细致、精准地对各种电子商务协议进行形式化描述，并为不同的分析方法提供了模型支持。
%K knowledge and faith model
%K electronic commerce protocols
%K morden modal logic<br>知识与信念模型
%K 电子商务协议
%K 现代模态逻辑
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=A9D9BE08CDC44144BE8B5685705D3AED&aid=F886A295C1E57CC5BE29DCBA41E04E63&yid=99E9153A83D4CB11&vid=771469D9D58C34FF&iid=94C357A881DFC066&sid=FC8D65835446970D&eid=0CCE46DAE11318DE&journal_id=1001-3695&journal_name=计算机应用研究&referenced_num=0&reference_num=10