Proceedings of the workshop on automated reasoning for security protocol analysis (ARSPA 2004), Cork, Ireland, July 4, 2004
zbMATH Open1271.68018MaRDI QIDQ360925FDOQ360925
Author name not available (Why is that?)
Publication date: 28 August 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: http://www.sciencedirect.com/science/journal/15710661/125/1
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Proceedings, conferences, collections, etc. pertaining to information and communication theory (94-06) Network protocols (68M12)
This page was built for publication: Proceedings of the workshop on automated reasoning for security protocol analysis (ARSPA 2004), Cork, Ireland, July 4, 2004
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q360925)
