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]

Authors

Ralf Sasse

This author has not been identified. Look up 'Ralf Sasse' in Google

Santiago Escobar

This author has not been identified. It may be one of the following persons: Look up 'Santiago Escobar' in Google

Catherine Meadows

This author has not been identified. Look up 'Catherine Meadows' in Google

José Meseguer

This author has not been identified. It may be one of the following persons: Look up 'José Meseguer' in Google