从形状分析句子推导安全目标
Deducing Security Goals From Shape Analysis Sentences
摘要：
Guttman提出了一种在Strand Space理论的背景下建立安全目标的模型理论方法。在他的方法中，密码协议分析器（CPSA）的运行产生了确定目标是否得到满足的模型。本文提出了一种方法来提取一个句子，完全特征的CPSA运行。然后，逻辑推理可以用来确定目标是否得到满足。这一方法已经实施，并向所有人提供。
英文摘要：
Guttman presented a model-theoretic approach to establishing security goals in the context of Strand Space theory. In his approach, a run of the Cryptographic Protocol Shapes Analyzer (CPSA) produces models that determine if a goal is satisfied. This paper presents a method for extracting a sentence that completely characterizes a run of CPSA. Logical deduction can then be used to determine if a goal is satisfied. This method has been implemented and is available to all.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
