Publication:2851074
From MaRDI portal
zbMath1272.68224MaRDI QIDQ2851074
Sjouke Mauw, Alexander Serebrenik, Stefan Blom, Jan Friso Groote
Publication date: 2 October 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105051169
94A60: Cryptography
68Q60: Specification and verification (program logics, model checking, etc.)
68M12: Network protocols
Related Items