高技术通讯
高技術通訊
고기술통신
HIGH TECHNOLOGY LETTERS
2012年
8期
812-818
,共7页
可信计算%可信连接架构(TCA)%安全属性%定量分析%随机Petri网
可信計算%可信連接架構(TCA)%安全屬性%定量分析%隨機Petri網
가신계산%가신련접가구(TCA)%안전속성%정량분석%수궤Petri망
为确保可信连接架构(TCA)自身的安全可靠,研究了其安全属性量化问题,分析了其双向用户身份认证和平台认证过程中存在的安全威胁.利用随机Petri网对带有攻击行为的TCA可信网络连接过程进行了建模,该模型用于描述攻击行为和TCA的双向认证过程.以该模型为基础构造了马尔科夫链,通过计算马尔科夫模型的稳定状态概率对TCA的稳定状态机密性和完整性等安全属性进行定量分析.最后给出了一个具体数值评估结果的实例.此研究给出的方法有理论和实用意义.
為確保可信連接架構(TCA)自身的安全可靠,研究瞭其安全屬性量化問題,分析瞭其雙嚮用戶身份認證和平檯認證過程中存在的安全威脅.利用隨機Petri網對帶有攻擊行為的TCA可信網絡連接過程進行瞭建模,該模型用于描述攻擊行為和TCA的雙嚮認證過程.以該模型為基礎構造瞭馬爾科伕鏈,通過計算馬爾科伕模型的穩定狀態概率對TCA的穩定狀態機密性和完整性等安全屬性進行定量分析.最後給齣瞭一箇具體數值評估結果的實例.此研究給齣的方法有理論和實用意義.
위학보가신련접가구(TCA)자신적안전가고,연구료기안전속성양화문제,분석료기쌍향용호신빈인증화평태인증과정중존재적안전위협.이용수궤Petri망대대유공격행위적TCA가신망락련접과정진행료건모,해모형용우묘술공격행위화TCA적쌍향인증과정.이해모형위기출구조료마이과부련,통과계산마이과부모형적은정상태개솔대TCA적은정상태궤밀성화완정성등안전속성진행정량분석.최후급출료일개구체수치평고결과적실례.차연구급출적방법유이론화실용의의.
