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]
@inproceedings{ErbaturEKLLMMNSS12,
title = {Effective Symbolic Protocol Analysis via Equational Irreducibility Conditions},
author = {Serdar Erbatur and Santiago Escobar and Deepak Kapur and Zhiqiang Liu and Christopher Lynch and Catherine Meadows and José Meseguer and Paliath Narendran and Sonia Santiago and Ralf Sasse},
year = {2012},
doi = {10.1007/978-3-642-33167-1_5},
url = {http://dx.doi.org/10.1007/978-3-642-33167-1_5},
researchr = {https://researchr.org/publication/ErbaturEKLLMMNSS12},
cites = {0},
citedby = {0},
pages = {73-90},
booktitle = {Computer Security - ESORICS 2012 - 17th European Symposium on Research in Computer Security, Pisa, Italy, September 10-12, 2012. Proceedings},
editor = {Sara Foresti and Moti Yung and Fabio Martinelli},
volume = {7459},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-33166-4},
}