安全协议理论与方法(ppt 60页)
- 所属分类:
- IT行业
- 文件大小:
- 294 KB
- 下载地址:
- 相关资料:
- 安全协议
安全协议理论与方法(ppt 60页)内容简介
安全协议理论与方法目录:
一、SVO术语集合
二、SVO术语集合续
三、SVO逻辑的推理规则及公理
四、SVO逻辑语义—计算模型
五、SVO逻辑语义—公式成立的条件
六、SVO逻辑的应用实例
七、SVO逻辑-ZG证明假设
安全协议理论与方法内容提要:
Syverson和Oracho提出,建立了用于推证合理性的理论模型。
提供独立明确的语义基础。
相当详细的模型。消除理解模糊,有助于准确理解消息的真实含义和协议理想化。
通用语义,扩展性好,简洁。
SVO术语集合:
定义T为初始术语集合, 包括互不相交的常量符号集合:主体、共享密钥、公钥、私钥以及序列号等。
n维函数表示有n个变量的函数,如加、解密函数等。
消息语言MT:满足下列性质的最小语言集合。
1)如果XT,则X是消息。
2)如果X1,…,Xn是消息,F是任意一个n维函数,则F(X1,…,Xn)是消息。
3)如果是公式,则是消息。
4. 公式语言FT:满足下列性质的最小公式集合。
1)如果P是原始命题,则P是公式。
如果,是公式,则和是公式。
P believes 和P controls 是公式,其中P是主体, 是公式。
P sees X, P says X, P said X, P received X 和fresh(X)是公式,其中P是主体, X是消息。
Shared(P,K,Q),PK(P,K)和P has K是公式,其中P是主体, K是消息。
..............................
用户登陆
IT行业相关下载