高技术通讯2008，Vol.18Issue(9)：909-914,6.
基于串空间理论的Kerberos协议安全性分析
Security analysis of Kerberos protocol based on the strand space model
摘要
关键词
协议安全性/串空间/Kerberos协议/形式化分析分类
信息技术与安全科学引用本文复制引用
王威,胡铭曾,张兆心..基于串空间理论的Kerberos协议安全性分析[J].高技术通讯,2008,18(9):909-914,6.基金项目
863计划(2006AA01Z451)资助项目. （2006AA01Z451）
