Knowledge and faith model of electronic commerce protocols
一种分析电子商务协议的知识与信念模型

针对现阶段电子商务协议形式化分析的处理比较混乱、表述精确度不高且通用性较差、存在一些不合理的假设等问题，运用现代模态逻辑理论，结合知识与信念，提出了一种分析电子商务协议的模型：知识与信念模型。该模型主要包含安全环境、知识集、信念集、能力集、切入点和知识化等因素。知识与信念模型很好地解决了上述问题，能够细致、精准地对各种电子商务协议进行形式化描述，并为不同的分析方法提供了模型支持。