论文部分内容阅读
提出了一种基于公钥的层次化网络安全协议设计模型：协议的设计在若干层分别进行．每一层子协议完成协议所要实现的一个子目标，并为上一层的子协议提供数据接口，然后将各层子协议依次合并起来。完成整个协议的设计。在以前的研究工作中，协议安全性总是被看作一个整体，给协议的设计与证明带来极大的复杂性限制。层次化模型的使用简化了安全协议设计的过程，使协议的设计更加清晰，代价更小，安全性证明也更为简单。另外，所设计的协议具有更大的灵活性。可以适应各种应用系统的需求。