安全协议理论与方法(ppt 60页)
所属分类：IT行业
文件大小：294 KB
下载要求：10 学币或VIP
点击下载
资料简介：
..............................
安全协议理论与方法目录：
一、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是消息。
..............................
精品资料网 m.cnshu.cn
Copyright © 2004- 粤ICP备10098620号-1
