Effective Symbolic Protocol Analysis via Equational Irreducibility Conditions

Serdar Erbatur, Santiago Escobar, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine Meadows, José Meseguer, Paliath Narendran, Sonia Santiago, Ralf Sasse. Effective Symbolic Protocol Analysis via Equational Irreducibility Conditions. In Sara Foresti, Moti Yung, Fabio Martinelli, editors, Computer Security - ESORICS 2012 - 17th European Symposium on Research in Computer Security, Pisa, Italy, September 10-12, 2012. Proceedings. Volume 7459 of Lecture Notes in Computer Science, pages 73-90, Springer, 2012. [doi]

Authors

Serdar Erbatur

This author has not been identified. Look up 'Serdar Erbatur' in Google

Santiago Escobar

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

Deepak Kapur

This author has not been identified. Look up 'Deepak Kapur' in Google

Zhiqiang Liu

This author has not been identified. Look up 'Zhiqiang Liu' in Google

Christopher Lynch

This author has not been identified. Look up 'Christopher Lynch' 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

Paliath Narendran

This author has not been identified. Look up 'Paliath Narendran' in Google

Sonia Santiago

This author has not been identified. Look up 'Sonia Santiago' in Google

Ralf Sasse

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