Protocol Analysis Modulo Combination of Theories: A Case Study in Maude-NPA

Ralf Sasse, Santiago Escobar, Catherine Meadows, José Meseguer. Protocol Analysis Modulo Combination of Theories: A Case Study in Maude-NPA. In Jorge Cuéllar, Javier Lopez, Gilles Barthe, Alexander Pretschner, editors, Security and Trust Management - 6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers. Volume 6710 of Lecture Notes in Computer Science, pages 163-178, Springer, 2010. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.