802.1x协议安全量化分析的数学模型

摘要

网络访问控制技术能有效防止不安全终端对网络的威胁.作为一种可信网络连接协议,802.1x本身就具有安全性问题.首先建立基于半马尔可夫过程的随机模型,然后针对认证过程中存在的安全漏洞和威胁进行安全量化分析,最后推算出具体的安全性指标.%Network access control technology can effectively eliminate the threats imposed by insecure terminals.As one of the TNC protocols,802.1x has security problem itself.In this paper, a stochastic model based on semi-Markov processes is presented first, then according to potential threat and security holes in 802.1x during the authorisation process, secure quantitative analysis is performed, and the specific security index is calculated at last.