Serdar Erbatur, Santiago Escobar, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine Meadows, José Meseguer, Paliath Narendran, Sonia Santiago, Ralf Sasse
Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis
CADE, 2013.
@inproceedings{CADE-2013-ErbaturEKLLMMNSS,
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",
booktitle = "{Proceedings of the 24th International Conference on Automated Deduction}",
doi = "10.1007/978-3-642-38574-2_16",
isbn = "978-3-642-38573-5",
pages = "231--248",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis}",
volume = 7898,
year = 2013,
}
Tags: