应用组合方法设计普适计算网络安全协议

摘要

给出一种新的安全协议的设计方法--组合设计方法,首先分别实现各个安全目标,然后将它们组合为一个新的安全协议.组合方法设计安全协议具有易于实现、易于验证等优点.给出组合规则,使用组合方法实现了普适计算环境下认证协议及密钥协商协议的设计.