小型微型计算机系统
小型微型計算機繫統
소형미형계산궤계통
MINI-MICRO SYSTEMS
2013年
6期
1375-1381
,共7页
协商策略%有穷自动机状态转换图%访问控制策略%安全披露序列
協商策略%有窮自動機狀態轉換圖%訪問控製策略%安全披露序列
협상책략%유궁자동궤상태전환도%방문공제책략%안전피로서렬
negotiating strategy%finite automaton transition diagram%access control policy%safe disclosure sequence
自动信任协商通过协商策略协调协商双方间访问控制策略、信任证的交互披露以逐步建立信任.现有的访问控制策略规则的理论表示缺乏直观性,在分析和构造策略算法时带来不便.本文将有穷自动机形式化定义与自动信任协商相结合,提出一套基于有穷自动机的信任协商定义体系,并构造有穷自动机状态转换图对相应的访问控制策略进行图形化表示,便于分析和构造协商策略.针对积极策略缺乏安全性和谨慎策略缺乏高效性的问题,提出了基于有穷自动机的协商策略,该策略在谨慎策略的基础上加入记忆链结构,以减少协商双方交互次数,提高协商效率.经证明,该策略具备完备性和安全性,并通过仿真实验证明相对于谨慎策略,该策略具备高效性.
自動信任協商通過協商策略協調協商雙方間訪問控製策略、信任證的交互披露以逐步建立信任.現有的訪問控製策略規則的理論錶示缺乏直觀性,在分析和構造策略算法時帶來不便.本文將有窮自動機形式化定義與自動信任協商相結閤,提齣一套基于有窮自動機的信任協商定義體繫,併構造有窮自動機狀態轉換圖對相應的訪問控製策略進行圖形化錶示,便于分析和構造協商策略.針對積極策略缺乏安全性和謹慎策略缺乏高效性的問題,提齣瞭基于有窮自動機的協商策略,該策略在謹慎策略的基礎上加入記憶鏈結構,以減少協商雙方交互次數,提高協商效率.經證明,該策略具備完備性和安全性,併通過倣真實驗證明相對于謹慎策略,該策略具備高效性.
자동신임협상통과협상책략협조협상쌍방간방문공제책략、신임증적교호피로이축보건립신임.현유적방문공제책략규칙적이론표시결핍직관성,재분석화구조책략산법시대래불편.본문장유궁자동궤형식화정의여자동신임협상상결합,제출일투기우유궁자동궤적신임협상정의체계,병구조유궁자동궤상태전환도대상응적방문공제책략진행도형화표시,편우분석화구조협상책략.침대적겁책략결핍안전성화근신책략결핍고효성적문제,제출료기우유궁자동궤적협상책략,해책략재근신책략적기출상가입기억련결구,이감소협상쌍방교호차수,제고협상효솔.경증명,해책략구비완비성화안전성,병통과방진실험증명상대우근신책략,해책략구비고효성.
