北京交通大学学报
北京交通大學學報
북경교통대학학보
JOURNAL OF NORTHERN JIAOTONG UNIVERSITY
2013年
5期
23-28
,共6页
信任管理%SPKI/SDSI2.0%安全性%约束
信任管理%SPKI/SDSI2.0%安全性%約束
신임관리%SPKI/SDSI2.0%안전성%약속
trust management%SPKI/SDSI2.0%safety%constraint
用标准的Datalog程序表示信任管理系统SPK I/SDSI2.0的系统状态,以Datalog程序的最小Herbrand模型作为它的语义,定义了信任管理系统SPKI/SDSI2.0的安全分析模型,制定了状态转换的限制规则,该限制规则是可实现的,在此基础上对SPKI/SDSI2.0的权限泄露问题进行了全面的分析,证明了该问题是在多项式时间内可判定的;证明了一个状态对于权限r是否可靠依赖且仅依赖于关于权限r的可信主体集合,并给出了计算可信主体集合的算法.
用標準的Datalog程序錶示信任管理繫統SPK I/SDSI2.0的繫統狀態,以Datalog程序的最小Herbrand模型作為它的語義,定義瞭信任管理繫統SPKI/SDSI2.0的安全分析模型,製定瞭狀態轉換的限製規則,該限製規則是可實現的,在此基礎上對SPKI/SDSI2.0的權限洩露問題進行瞭全麵的分析,證明瞭該問題是在多項式時間內可判定的;證明瞭一箇狀態對于權限r是否可靠依賴且僅依賴于關于權限r的可信主體集閤,併給齣瞭計算可信主體集閤的算法.
용표준적Datalog정서표시신임관리계통SPK I/SDSI2.0적계통상태,이Datalog정서적최소Herbrand모형작위타적어의,정의료신임관리계통SPKI/SDSI2.0적안전분석모형,제정료상태전환적한제규칙,해한제규칙시가실현적,재차기출상대SPKI/SDSI2.0적권한설로문제진행료전면적분석,증명료해문제시재다항식시간내가판정적;증명료일개상태대우권한r시부가고의뢰차부의뢰우관우권한r적가신주체집합,병급출료계산가신주체집합적산법.
