Communication model of attribute authority and attribute registration authority in PMI and its formal description
Bin Zhang · Journal of Computer Applications · 2007
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.