计算机工程
計算機工程
계산궤공정
COMPUTER ENGINEERING
2007年
20期
137-138
,共2页
周雅洁%关焕梅%陈萍%张晶伟
週雅潔%關煥梅%陳萍%張晶偉
주아길%관환매%진평%장정위
安全协议%自动化设计%串空间
安全協議%自動化設計%串空間
안전협의%자동화설계%천공간
阐述了安全协议的自动生成-约简-优化模型.在第1阶段,依据系统规范的要求生成候选协议,并用简单的句法约束规则和基于简单冒充的早期删减规则对候选协议进行约简.第2阶段,以串空间理论为依据制定删减规则,对以上候选协议进行进一步的优化,生成符合安全需求的正确协议.
闡述瞭安全協議的自動生成-約簡-優化模型.在第1階段,依據繫統規範的要求生成候選協議,併用簡單的句法約束規則和基于簡單冒充的早期刪減規則對候選協議進行約簡.第2階段,以串空間理論為依據製定刪減規則,對以上候選協議進行進一步的優化,生成符閤安全需求的正確協議.
천술료안전협의적자동생성-약간-우화모형.재제1계단,의거계통규범적요구생성후선협의,병용간단적구법약속규칙화기우간단모충적조기산감규칙대후선협의진행약간.제2계단,이천공간이론위의거제정산감규칙,대이상후선협의진행진일보적우화,생성부합안전수구적정학협의.
