PMI中属性权威与属性注册权威通信模型设计及形式化描述

• 作者: 张斌 张磊 陈性元
• 来源期刊: 计算机应用
• 学科: 工学
• 关键词: 授权管理基础设施 属性权威 属性注册权威 有限状态机
• 年，卷（期）: 2007,（7）
• 所属期刊栏目: 信息与网络安全
• 页码范围: 1597-1598,1602
• 页数: 3页
• 分类号: TP393.08
• 字数: 3805字
• 语种: 中文

摘要

授权管理基础设施(PMI)系统中属性权威(AA)与属性注册权威(ARA)通信状态多且变化复杂.提出了一个PMI中AA与ARA的通信模型,以避免不安全的中间状态出现.对该模型的特征进行了分析,运用有限状态机(FSM)对该模型进行形式化描述,并证明了其安全性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张斌	信息工程大学电子技术学院	48	230	8.0	11.0
2	陈性元	信息工程大学电子技术学院	46	247	9.0	14.0
3	张磊	信息工程大学电子技术学院	9	43	5.0	6.0