使用CPSA对CAVES认证协议的分析
密码学与安全
2012-07-03 v1
摘要
本文描述了CAVES认证协议，并给出了一种工具支持的分析，表明协议运行达到了既定目标。这些目标通过使用依赖-保证方法用逻辑公式注释协议来形式化地陈述。所使用的协议分析工具是密码协议形状分析器（CPSA）。
引用
@article{arxiv.1207.0418,
title = {An Analysis of the CAVES Attestation Protocol using CPSA},
author = {John D. Ramsdell and Joshua D. Guttman and Jonathan K. Millen and Brian O'Hanlon},
journal= {arXiv preprint arXiv:1207.0418},
year = {2012}
}