电子商务协议的形式化验证方法及FR验证实例
【摘要】:正 1 引言安全的电子商务协议是保证电子商务活动正常开展的基础,但许多安全协议是在并行环境中运行的,经过精心设计的协议往往存在漏洞,仅凭人的直觉判断很难发现。因此用形式化分析方法验证协议的正确性成为电子商务中一个重要环节。形式化方法主要包括BAN类逻辑、动态逻辑、串空间、一阶时序逻辑等方法。近几年出现了一些形式化验证的新方法:如通过验证发方非否认证据(POO)及收方非否认证据(POR)是否分别属于接收者和发送者的最终拥有
【相似文献】 | ||
|
|||||||||||||||||||||||||||||||||||||||||
|
|
|||||||||||||||||||||
|
|
|||||||||||||||||||||
|
|
|||||||||||||||||||||
|
|
|||||||||||||||||||||
|