网络安全协议时序与消息结构规范化理论及方法的研究

Internet的普及以及在其上各种商业交易应用（如网上购物、电子转账、电子支付等）和其他应用业务（如电子合同、电子拍卖、网上投票等）的开展，使得人们越来越关注网上应用的安全性问题。这些应用的安全性在很大程度上取决于所用安全协议的安全性，而缺乏安全性的安全协议在开放的分布式网络环境中极易遭致入侵者（或称攻击者）的攻击。