| Autor: |
Ramsdell, John D., Guttman, Joshua D., Millen, Jonathan K., O'Hanlon, Brian |
| Rok vydání: |
2012 |
| Předmět: |
|
| Druh dokumentu: |
Working Paper |
| Popis: |
This paper describes the CAVES attestation protocol and presents a tool-supported analysis showing that the runs of the protocol achieve stated goals. The goals are stated formally by annotating the protocol with logical formulas using the rely-guarantee method. The protocol analysis tool used is the Cryptographic Protocol Shape Analyzer. |
| Databáze: |
arXiv |
| Externí odkaz: |
|
