计算机工程2007，Vol.33Issue(20)：30-33,4.
一种可分析保密性与认证性的模态逻辑
Modal Logic for Analyzing Privacy and Authentication
摘要
关键词
模态逻辑/MBL逻辑/BAN类逻辑/会话密钥分类
信息技术与安全科学引用本文复制引用
赵华伟,秦静..一种可分析保密性与认证性的模态逻辑[J].计算机工程,2007,33(20):30-33,4.基金项目
国家"863"计划基金资助项目(2003AA141120,2004AA001260) （2003AA141120,2004AA001260）
山东省自然科学基金资助项目(Y2003A03) （Y2003A03）
