一种改进的安全协议形式化需求语言.pdfVIP

《电子技术应用》 www.ChinaAET.com 计算机技术 , 网格技术 一种改进的安全协议形式化需求语言+ 马晓宁 李明楚 ! ! # 天津大学 电子信息工程学院 天津 (00012 ! ! 摘 要 对原有的安全协议形式化需求语言进行了改进 使其能适用于复杂的分布式系统 使用 改进后的语言描述了网格环境下多用户协同计算中科学计算问题的安全需求 关键词 安全协议 形式化需求语言 网格 协同计算 ! 安全协 # # # % # # 议是用来实施安全功能的一种重要的安全 作 原子谓词公式 复合公式 逻辑连接符 包括 ! !*# ! # # # % # 态操作符 成 技术 是许多分布式系统安全的基础 设计一种正确 # $ % 量词 ’等 和时 ! 等组 的 符合安全目标 没有冗余的安全协议 是一件非常困 时态操作符 表示某个动作发生在过去的某个时刻 # # ! ! ! ! ! 难的事情 为此 人们越来越多地关注形式化方法 期 复杂的分布式系统存在用户量大的特点 为了适应 ! +# 望建立一套完整成熟的理论和技术!并将该理论和技术 这个特点引入了集合 !用来表达组的概念 !描述组内 用于实践中 设计 验证和改进安全协议 的成员在某个方面具有某项共同的性质和某种共同的 ! # 安全协议设计和分析的困难性是由多方面因素造成 行为 这样可以使本语言更加简洁 !# 主体 是一个有限集 集合中的元素是网格中 的 其中最先遇到的问题就是安全问题本身的微妙性 %, ! $ ! 即对于一个表面上很简单的问题 却有着许多不同的观 的用