| 对BAN逻辑中新鲜子的研究 |
| |
| 引用本文： | 宋荣功,胡正名,杨义先.对BAN逻辑中新鲜子的研究[J].电子与信息学报,2000,22(3):505-508. |
| |
| 作者姓名： | 宋荣功 胡正名 杨义先 |
| |
| 作者单位： | 北京邮电大学信息安全中心，北京邮电大学信息安全中心，北京邮电大学信息安全中心 北京 100876，北京 100876，北京 100876 |
| |
| 基金项目： | 国家自然科学基金(No.69772035,No.69882002) |
| |
| 摘 要： | 本文从BAN逻辑的基本结构和基本规则出发,对BAN逻辑中的新鲜子进行了分析研究,指出BAN逻辑在实际应用中不稳固的某些本质原因并不是理想化问题,而是原基本规则中存在的某些问题所致,并进一步对此进行了相应的改进,使得BAN逻辑更趋于稳固和完善。
|
| 关 键 词： | 模态逻辑 BAN逻辑 新鲜子 |
| 收稿时间： | 1998-9-17 |
| 修稿时间： | 1998-12-16 |
THE INVESTIGATION OF THE FRESHNESS IN BAN LOGIC |
| |
| Song Ronggong,Hu Zhengming,Yang Yixian.THE INVESTIGATION OF THE FRESHNESS IN BAN LOGIC[J].Journal of Electronics & Information Technology,2000,22(3):505-508. |
| |
| Authors: | Song Ronggong Hu Zhengming Yang Yixian |
| |
| Affiliation: | Dept. of Infor. Eng., Beijing University of Posts and Telecommunications Beijing 100876 |
| |
| Abstract: | Based on BAN's basic constructs and rules, the freshness in BAN logic is investigated. In this paper it is presented that some reasons why BAN logic is in practice unsound are not idealization problems, but problems what some basic rules result in. For the latter, a modified method is proposed to avoid similar problems. |
| |
| Keywords: | Modal logic BAN logic Freshness |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《电子与信息学报》浏览原始摘要信息 |
|
点击此处可从《电子与信息学报》下载全文 |
