贵州大学学报（自然科学版）
貴州大學學報（自然科學版）
귀주대학학보（자연과학판）
JOURNAL OF GUIZHOU UNIVERSITY(NATURAL SCIENCE)
2014年
6期
77-84,108
,共9页
ATEL%不动点%推理系统%理性安全协议%形式化分析
ATEL%不動點%推理繫統%理性安全協議%形式化分析
ATEL%불동점%추리계통%이성안전협의%형식화분석
alternating-time temporal epistemic logic%fix point%inference system%rational secure protocol%formal analysis
博弈逻辑ATL和ATEL可以对传统安全协议的公平性、安全性等性质进行分析与验证.不过在理性环境下,由于参与者对知识的自利性,ATL和ATEL都不适合形式化分析与验证理性安全协议.于是在并行认知博弈结构CEGS中引入效用函数和偏好关系,得到新的并行认知博弈结构rCEGS,并在合作模态算子《Γ》中引入行为ACT参数,提出新的交替时序认知逻辑rA-TEL-A,并基于不动点描述rATEL-A时序算子.然后基于rATEL-A,提出适合于形式化分析理性安全协议的推理系统,并对具体的理性安全协议的公平性、安全性等性质进行形式化分析.
博弈邏輯ATL和ATEL可以對傳統安全協議的公平性、安全性等性質進行分析與驗證.不過在理性環境下,由于參與者對知識的自利性,ATL和ATEL都不適閤形式化分析與驗證理性安全協議.于是在併行認知博弈結構CEGS中引入效用函數和偏好關繫,得到新的併行認知博弈結構rCEGS,併在閤作模態算子《Γ》中引入行為ACT參數,提齣新的交替時序認知邏輯rA-TEL-A,併基于不動點描述rATEL-A時序算子.然後基于rATEL-A,提齣適閤于形式化分析理性安全協議的推理繫統,併對具體的理性安全協議的公平性、安全性等性質進行形式化分析.
박혁라집ATL화ATEL가이대전통안전협의적공평성、안전성등성질진행분석여험증.불과재이성배경하,유우삼여자대지식적자리성,ATL화ATEL도불괄합형식화분석여험증이성안전협의.우시재병행인지박혁결구CEGS중인입효용함수화편호관계,득도신적병행인지박혁결구rCEGS,병재합작모태산자《Γ》중인입행위ACT삼수,제출신적교체시서인지라집rA-TEL-A,병기우불동점묘술rATEL-A시서산자.연후기우rATEL-A,제출괄합우형식화분석이성안전협의적추리계통,병대구체적이성안전협의적공평성、안전성등성질진행형식화분석.
