[转载]关于认证逻辑系统的可靠性

文章作者：李益发 郑州信息工程大学

李益发1、韩  臻2、赵亚群3、沈昌祥4
1、3，郑州信息工程大学信息工程学院，450002，
Email：alphalyf@163.com
2，北京交通大学计算机学院4，海军计算技术研究所
摘要:本文给出了逻辑系统可靠性的详细定义，并给出的概率真及概率真可靠的新概念，从而为认证逻辑系统的可靠性分析打下了基础，也指出了分析认证逻辑系统可靠性的途径和意义。本文还对BAN逻辑系统的可靠性进行了分析，指出它是一个不可靠的逻辑系统码协议的安全性。
关键词:谓词逻辑，系统可靠性、协议安全性分析，BAN类逻辑。