计算机工程与设计
計算機工程與設計
계산궤공정여설계
COMPUTER ENGINEERING AND DESIGN
2014年
3期
814-818,840
,共6页
电子商务协议%形式化分析%颜色Petri网%重放攻击%颜色Petri网工具
電子商務協議%形式化分析%顏色Petri網%重放攻擊%顏色Petri網工具
전자상무협의%형식화분석%안색Petri망%중방공격%안색Petri망공구
e-commerce protocols%formal analysis%colored Petri nets%replay attack%CPN tools
针对现有颜色Petri网方法较少分析电子商务协议存在重放攻击的问题,提出一种基于颜色Petri网的电子商务协议攻击分析方法,用于分析协议中可能存在的攻击.给出带有攻击者的具体建模方法和分析过程,提出从不可否认证据中提取敏感信息作为不安全状态的定义方法,并且采用逆向状态分析和CPN Tools仿真工具两种方法来分析颜色Petri网模型,得出协议的攻击结果.对CMP1协议进行实例分析,理论分析和实验结果表明了该方法的正确性和有效性.
針對現有顏色Petri網方法較少分析電子商務協議存在重放攻擊的問題,提齣一種基于顏色Petri網的電子商務協議攻擊分析方法,用于分析協議中可能存在的攻擊.給齣帶有攻擊者的具體建模方法和分析過程,提齣從不可否認證據中提取敏感信息作為不安全狀態的定義方法,併且採用逆嚮狀態分析和CPN Tools倣真工具兩種方法來分析顏色Petri網模型,得齣協議的攻擊結果.對CMP1協議進行實例分析,理論分析和實驗結果錶明瞭該方法的正確性和有效性.
침대현유안색Petri망방법교소분석전자상무협의존재중방공격적문제,제출일충기우안색Petri망적전자상무협의공격분석방법,용우분석협의중가능존재적공격.급출대유공격자적구체건모방법화분석과정,제출종불가부인증거중제취민감신식작위불안전상태적정의방법,병차채용역향상태분석화CPN Tools방진공구량충방법래분석안색Petri망모형,득출협의적공격결과.대CMP1협의진행실례분석,이론분석화실험결과표명료해방법적정학성화유효성.