Proceedings of the workshop on automated reasoning for security protocol analysis (ARSPA 2004), Cork, Ireland, July 4, 2004
From MaRDI portal
Publication:360925
zbMath1271.68018MaRDI QIDQ360925
No author found.
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
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
This page was built for publication: Proceedings of the workshop on automated reasoning for security protocol analysis (ARSPA 2004), Cork, Ireland, July 4, 2004
