%0 Journal Article
%T PMI中AA与ARA通信模型设计及形式化描述
%A 张磊
%A 陈性元
%A 张斌
%J 计算机应用
%D 2007
%I 
%X 授权管理基础设施(PMI)系统中属性权威(AA)与属性注册权威(ARA)通信状态多且变化复杂.提出了一个PMI中AA与ARA的通信模型,以避免不安全的中间状态出现.对该模型的特征进行了分析,运用有限状态机(FSM)对该模型进行形式化描述,并证明了其安全性.
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=831E194C147C78FAAFCC50BC7ADD1732&aid=14E16CBD274305121BA0E5BA01605E99&yid=A732AF04DDA03BB3&vid=DB817633AA4F79B9&iid=DF92D298D3FF1E6E&sid=29BA6FD8D06FC06A&eid=1AC2995B88F4B692&journal_id=1001-9081&journal_name=计算机应用&referenced_num=0&reference_num=5