|
|||||
|
|
| PMI中AA与ARA通信模型设计及形式化描述 | |
| 引用本文： | 张磊,陈性元,张斌.PMI中AA与ARA通信模型设计及形式化描述[J].计算机应用,2007,27(7):1597-1598. |
| 作者姓名： | 张磊 陈性元 张斌 |
| 作者单位： | 信息工程大学,电子技术学院,郑州,450004 |
| 基金项目： | 国家高技术研究发展计划(863计划) |
| 摘 要： | 授权管理基础设施（PMI）系统中属性权威（AA）与属性注册权威（ARA）通信状态多且变化复杂。提出了一个PMI中AA与ARA的通信模型，以避免不安全的中间状态出现。对该模型的特征进行了分析，运用有限状态机(FSM)对该模型进行形式化描述，并证明了其安全性。 |
| 关 键 词： | 授权管理基础设施 属性权威 属性注册权威 有限状态机 |
| 文章编号： | 1001-9081（2007）07-1597-02 |
| 收稿时间： | 2007-01-23 |
| 修稿时间： | 2007-01-222007-05-10 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |
| 点击此处可从《计算机应用》浏览原始摘要信息 | |
| 点击此处可从《计算机应用》下载全文 | |