Joshua D. Guttman, John D. Ramsdell, Paul D. Rowe. Cross-Tool Semantics for Protocol Security Goals. In Lidong Chen, David A. McGrew, Chris Mitchell, editors, Security Standardisation Research - Third International Conference, SSR 2016, Gaithersburg, MD, USA, December 5-6, 2016, Proceedings. Volume 10074 of Lecture Notes in Computer Science, pages 32-61, Springer, 2016. [doi]
Abstract is missing.