Deducing Security Goals From Shape Analysis Sentences
Cryptography and Security
2018-02-06 v4 Logic in Computer Science
Abstract
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.
Cite
@article{arxiv.1204.0480,
title = {Deducing Security Goals From Shape Analysis Sentences},
author = {John D. Ramsdell},
journal= {arXiv preprint arXiv:1204.0480},
year = {2018}
}
Comments
19 pages