scientific article
From MaRDI portal
zbMath1272.68051MaRDI QIDQ2848036
Luca Viganò, Carlos Caleiro, David A. Basin
Publication date: 25 September 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105000757
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
On the semantics of Alice \& Bob specifications of security protocols, Multi-attacker protocol validation, Distributed temporal logic for the analysis of security protocol models, On Obligations
