计算机应用研究2011，Vol.28Issue(4)：1460-1464,5.DOI:10.3969/j.issn.1001-3695.2011.04.072
安全属性形式化描述统一框架及其分析方法研究
Study of unified framework of security properties and their analysis method
摘要
Abstract
In the study of the formal analysis of security protocols, it is desiderated to analysis more security properties under a unified framework.This paper presented a unified framework to formally depiction the security properties based on matching relations.Built up the syntax and the corresponding semantic of this unified framework, and also verified its soundness and completeness.Based on this framework, combining the process calculus with knowledge derivation, presented a generic model for the analysis of security protocols.Using this model and unified framework, analyzed some security properties as case study.Also pointed out some future directions at the end.关键词
进程演算/知识推理/安全属性/形式化分析/安全协议Key words
process calculus/ knowledge derivation/ security properties/ formal analysis/ security protocol分类
信息技术与安全科学引用本文复制引用
谢鸿波,谭兴烈,周明天..安全属性形式化描述统一框架及其分析方法研究[J].计算机应用研究,2011,28(4):1460-1464,5.基金项目
国家"863"计划863-104-03-01课题资助项目 （）
