形式化方法在密码协议中的应用  

作　　者：吕建强[1] 夏春芬[1] 

机构地区：[1]黄冈师范学院计算机学院

出　　处：《科技信息》2009年第6期211-211,213,共2页Science & Technology Information

摘　　要：形式化方法的主要特点是能够发现一个系统中的歧义性、不一致性,本文利用形式化方法的这一特性,将其应用到密码协议当中,可以很好改进密码协议的安全性。

关 键 词：形式化 密码协议 安全性 

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论] TN918.2[自动化与计算机技术—计算机科学与技术]