1.The main results obtained are as follows:(1) This paper discusses Athena systematically, introduces Athena’s assumption, its syntax and semantics, and discusses merits and limitation of this Logic.
取得的主要成果如下:(1)对Athena方法进行了系统的分析,介绍了Athena的假设条件,给出了Athena的语法和语义,分析了该逻辑的优点和局限性。
2.We detailedly describe the core verification algorithm of Athena, analysis what actually makes Athena successful in fast and automatic verification of security protocol.
在此基础上,分析了Athena的核心算法,讨论了Athena算法自动高效的原因,以及该算法如何避免状态空间爆炸的技术,指出了该算法的缺陷,形成原因以及解决的一般方法。
3.The aim of this task is to analyze the Athena approach and to extend this approach according to analysis of Open-ended protocol and limitation of Athena.
本文对Athena方法进行了深入分析,针对目前安全协议分析领域中公开的“开端”问题以及Athena方法自身的局限性,对该方法进行了扩展。
4.This article proposes a new rule-based script named Athena, which is realized by the engine of CLIPS. The Athena script is designed completely for some special application scopes for which the CLIPS functions and grammars can be simplified to fit the requirements while some other language features are enhanced.
基于CLIPS构造并实现了一个轻量级的规则脚本语言Athena，此脚本语言的设计完全面向应用，在精简CLIPS语法和功能的同时，增强了领域特征和应用能力；
5.With SSM someone has developed an automatic verification tool, ATHENA, which is able to prove the correctness of some authentic and secret protocols, suffered from seriously state space explosion problem and do an imperfect work on secret protocols.
基于此模型开发的自动验证工具ATHENA已经实现了对协议的认证性特性验证，但未能克服模型检测方法所造成的状态空间严重爆炸的问题，对秘密性协议的证明也是不完善的。
6.Song has made an extension to SSM and has developed an automatic verification tool, ATHENA.
Song对串空间模型进行了扩展，并开发了安全协议自动验证工具ATHENA。
7.Overlay Performance with Advanced ATHENA~(TM) Alignment Strategies
先进ATHENA~(TM)选用策略与对准功能(英文)
8.Research on Athena for Formal Verification of Security Protocols Based on Strand Spaces
基于串空间的安全协议Athena分析方法的研究
9.Song extends strand space model, borrows some efficient techniques from both model checking and theorem proving, proposes an efficient automatic checking approach, Athena, for analyzing security protocols, and develops a tool named APV based on this approach.
Song对串空间模型进行了扩展,将模型检验和定理证明结合起来,提出了一种取名为Athena的安全协议分析方法,并基于该方法开发了自动证明工具APV,Song的工作被认为是串空间理论发展的一个重要事件。
10.This paper extends theory of Athena approach according to IKEv2 protocol. In the structure of message terms,some cryptographic primitives are added to handle DH key agreement,and the in-term relation is modified to deal with complex message structure.
该文针对互联网密钥交换协议(IKEv2),对Athena方法进行了扩展:修改消息项结构,扩展密码学原语,使其能分析DH(Diffie-Hellman)密钥协商问题,修改内在项关系,使其能应对更复杂的消息构造情况,并对相关命题和定理进行了证明。
