一种分析电子商务协议的知识与信念模型.pdfVIP

第29卷第5期 计 算 机 应 用 研 究 Vo1．29No．5 2012年5月 ApplicationResearchofComputem Mav2012 一 种分析电子商务协议的知识与信念模型术 刘文远 ，魏 刚 ，司亚利 (1．燕山大学信息科学与工程学院，河北 秦皇岛066004；2．燕山大学里仁学院，河北 秦皇岛066004) 摘 要：针对现阶段电子商务协议形式化分析的处理比较混乱、表述精确度不高且通用性较差、存在一些不合 理的假设等问题，运用现代模态逻辑理论，结合知识与信念，提出了一种分析电子商务协议的模型：知识与信念 模型。该模型主要包含安全环境、知识集、信念集、能力集、切入点和知识化等因素。知识与信念模型很好地解 决了上述问题，能够细致、精准地对各种电子商务协议进行形式化描述，并为不同的分析方法提供了模型支持。 关键词 ：知识与信念模型；电子商务协议；现代模态逻辑 中图分类号 ：TP311 文献标志码 ：A 文章编号 ：1001—3695(2012)05-1702—05 doi：10．3969／j．issn．1001—3695．2012．05．026 Knowledgeandfaithmodelofelectroniccommerceprotocols LIU W en．yuan ，WEIGang ，SIYa—li (1．CollegeofInformationScienceEngineering，YanshanUniversity，QinhuangdaoHebei066004，China；2．LirenCollegeofYanshanUniver— sity，QinhuangdaoHebei066004，China) Abstract：Atthisstage，theprocessofelectroniccommerceprotocolformalanalysisischaotic；descriptionhavelowversatility andaccuracy，usuallyhassomeunreasonableassumptions．Thispaperpresentedamodel-- knowledgeandfaithmodel-- used moderntheoryofmordenmodallogicaccordingtoknowledgeandfaith．Themodelcontainedthesecurityenvironment，knowl— edgesets，faithsets，capabilityset，thetangentpointandtoknowledge．Themodelputforwardagoodsolutiontothoseprob— lems，couldformaldescriptdifferentelectroniccommerceprotocolsprecisely，andprovidedasupportfordifferentanalysis method． Keywords：knowledgeandfaithmodel：electroniccommerceprotocols；mordenmodal logic 体信念单调递增 ，协议运行结束时，各方达到最终信念 ，但不考 0 引言 虑知识和不诚实的协议主体 ；串空间是用 图的形式表达协 议的执行过程，协议的一个丛就是协议的一个并发运行，协议 近年来电子商务活动发展迅速，已经成为 日常消费行为和 安全性质通过所有丛保持的性质来刻画。SPI演算是利用 PI 国家经济活动的重要组成部分