Abstract：There are many states in attribute authority (AA) and attribute registration authority (ARA) communication, and its transformation is complicated. An AA and ARA communication model in privilege management infrastructure (PMI) was proposed, which could avoid insecure middle states. The finite state machine was used to formalize the proposed model, and to prove the secure state of the model.
张磊 陈性元 张斌. PMI中AA与ARA通信模型设计及形式化描述[J]. 计算机应用, 2007, 27(7): 1597-1598.
. Communication model of attribute authority and attribute registration authority in PMI and its formal description. Journal of Computer Applications, 2007, 27(7): 1597-1598.
