从形状分析语句推导安全目标
密码学与安全
2018-02-06 v4 计算机科学中的逻辑
摘要
Guttman 提出了一种在 Strand Space 理论背景下确立安全目标的模型论方法。在其方法中，Cryptographic Protocol Shapes Analyzer (CPSA) 的一次运行会产生模型，用以确定某个目标是否被满足。本文提出了一种提取能够完全刻画 CPSA 运行的语句的方法。随后可以使用逻辑演绎来确定某个目标是否被满足。该方法已实现并可供所有人使用。
引用
@article{arxiv.1204.0480,
title = {Deducing Security Goals From Shape Analysis Sentences},
author = {John D. Ramsdell},
journal= {arXiv preprint arXiv:1204.0480},
year = {2018}
}
备注
19 pages