PMI中AA与ARA通信模型设计及形式化描述

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