期刊文献+
共找到1篇文章
< 1 >
每页显示 20 50 100
PMI中属性权威与属性注册权威通信模型设计及形式化描述
1
作者 张磊 陈性元 张斌 《计算机应用》 CSCD 北大核心 2007年第7期1597-1598,1602,共3页
授权管理基础设施(PMI)系统中属性权威(AA)与属性注册权威(ARA)通信状态多且变化复杂。提出了一个PMI中AA与ARA的通信模型,以避免不安全的中间状态出现。对该模型的特征进行了分析,运用有限状态机(FSM)对该模型进行形式化描述,并证明了... 授权管理基础设施(PMI)系统中属性权威(AA)与属性注册权威(ARA)通信状态多且变化复杂。提出了一个PMI中AA与ARA的通信模型,以避免不安全的中间状态出现。对该模型的特征进行了分析,运用有限状态机(FSM)对该模型进行形式化描述,并证明了其安全性。 展开更多
关键词 授权管理基础设施 属性权威 属性注册权威 有限状态机
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部