精选优质文档-倾情为你奉上可信网络连接的安全量化分析与协议改进罗安安 林闯 王元卓 邓法超 陈震（清华大学计算机科学与技术系 北京 ）摘 要 可信网络连接（TNC）被认为是可信的网络体系结构的重要部分，随着TNC研究和应用的不断深入，TNC架构自身的安全性问题变得更加至关重要。本文重点研究TNC协议架构的安全性问题，首先提出了一种针对TNC协议的基于半马尔科夫过程的安全性量化分析方法；其次针对TNC完整性验证和访问授权过程中存在的安全威胁和漏洞，提出了一套安全性增强机制，并通过安全量化分析方法进行了验证。最后利用Intel IXP2400网络处理器搭建了TNC原型系统，为本文提出的改进机制和系统框架提供了安全量化验证的实际平台。关键词 可信网络连接，随机模型，认证性，机密性，完整性中图法分类号 TP393Security Quantifying Method and Enhanced Mechanisms of TNCLUO An-An LIN Chuang WANG Yuan-Zhuo Deng Fa-Chao
