信息工程大学学报
信息工程大學學報
신식공정대학학보
JOURNAL OF INFORMATION ENGINEERING UNIVERSITY
2012年
2期
156-160
,共5页
安全协议%形式化分析%逻辑系统%信任谓词%计算语义
安全協議%形式化分析%邏輯繫統%信任謂詞%計算語義
안전협의%형식화분석%라집계통%신임위사%계산어의
讨论逻辑系统中信任谓词的计算语义以及表述信任谓词基本性质的若干公理.首先指出计算的协议组合逻辑在讨论信任关系方面可能存在证明过程与挖掘内在信任关系方面的缺陷；扩展谓词演算系统形成基本协议逻辑并为其添加计算语义以便用于描述安全协议；最后从信任关系的本质含义出发,在基本协议逻辑系统中严格定义信任谓词的计算语义,并通过讨论若干公理反映信任谓词的基本性质.
討論邏輯繫統中信任謂詞的計算語義以及錶述信任謂詞基本性質的若榦公理.首先指齣計算的協議組閤邏輯在討論信任關繫方麵可能存在證明過程與挖掘內在信任關繫方麵的缺陷；擴展謂詞縯算繫統形成基本協議邏輯併為其添加計算語義以便用于描述安全協議；最後從信任關繫的本質含義齣髮,在基本協議邏輯繫統中嚴格定義信任謂詞的計算語義,併通過討論若榦公理反映信任謂詞的基本性質.
토론라집계통중신임위사적계산어의이급표술신임위사기본성질적약간공리.수선지출계산적협의조합라집재토론신임관계방면가능존재증명과정여알굴내재신임관계방면적결함；확전위사연산계통형성기본협의라집병위기첨가계산어의이편용우묘술안전협의；최후종신임관계적본질함의출발,재기본협의라집계통중엄격정의신임위사적계산어의,병통과토론약간공리반영신임위사적기본성질.
