山东大学学报(工学版)
山東大學學報(工學版)
산동대학학보(공학판)
JOURNAL OF SHANDONG UNIVERSITY OF TECHNOLOGY
2006年
5期
102-106
,共5页
CS逻辑%Timed-release公钥协议%推理规则
CS邏輯%Timed-release公鑰協議%推理規則
CS라집%Timed-release공약협의%추리규칙
较之以往的形式化分析工具BAN及BAN类逻辑,CS逻辑是一种将时间与逻辑结构相结合的逻辑,是第一个用来分析与时间相关的Timed--release公钥协议的逻辑,本文分析了原始CS逻辑的某些推理规则的缺陷,并对其作了改进及扩展,使其能够更好地反映Timed--release公钥协议的特性,并对一个具体的Timed-release公钥协议用扩展后的推理规则进行了有效的形式化分析.
較之以往的形式化分析工具BAN及BAN類邏輯,CS邏輯是一種將時間與邏輯結構相結閤的邏輯,是第一箇用來分析與時間相關的Timed--release公鑰協議的邏輯,本文分析瞭原始CS邏輯的某些推理規則的缺陷,併對其作瞭改進及擴展,使其能夠更好地反映Timed--release公鑰協議的特性,併對一箇具體的Timed-release公鑰協議用擴展後的推理規則進行瞭有效的形式化分析.
교지이왕적형식화분석공구BAN급BAN류라집,CS라집시일충장시간여라집결구상결합적라집,시제일개용래분석여시간상관적Timed--release공약협의적라집,본문분석료원시CS라집적모사추리규칙적결함,병대기작료개진급확전,사기능구경호지반영Timed--release공약협의적특성,병대일개구체적Timed-release공약협의용확전후적추리규칙진행료유효적형식화분석.
