Knowledge and faith model of electronic commerce protocols
Yali Si · Jisuanji yingyong yanjiu · 2012
At this stage,the process of electronic commerce protocol formal analysis is chaotic;description have low versatility and accuracy,usually has some unreasonable assumptions.This paper presented a model—knowledge and faith model—used modern theory of morden modal logic according to knowledge and faith.The model contained the security environment,knowledge sets,faith sets,capability set,the tangent point and toknowledge.The model put forward a good solution to those problems,could formal descript different electronic commerce protocols precisely,and provided a support for different analysis method.