安全属性形式化描述统一框架及其分析方法研究
Study of unified framework of security properties and their analysis method作者机构:电子科技大学计算机科学与工程学院成都610054 重庆通信学院数据链教研室重庆400035 中国电子工业集团第30研究所成都610041
出 版 物:《计算机应用研究》 (Application Research of Computers)
年 卷 期:2011年第28卷第4期
页 面:1460-1464页
核心收录:
学科分类:08[工学] 081201[工学-计算机系统结构] 0812[工学-计算机科学与技术(可授工学、理学学位)]
基 金:国家"863"计划863-104-03-01课题资助项目
摘 要:在安全协议的形式化分析研究当中,如何在统一的框架下对更多的安全属性进行分析和验证是一个亟待解决的重要问题。为了解决这个问题,提出了用匹配关系来形式化地描述各种安全属性的统一框架,建立了语法和语义系统,并证明了该框架的可靠性和完备性。在此基础上,将知识推理和进程演算结合起来,提出了一个安全协议形式化分析的一般模型。最后,给出了一些安全属性的研究实例,并指出了进一步完善此模型的研究方向。