scientific article
From MaRDI portal
Publication:2848475
zbMath1272.68052MaRDI QIDQ2848475
Luca Viganò, Carlos Caleiro, David A. Basin
Publication date: 26 September 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105050498
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
On the semantics of Alice \& Bob specifications of security protocols ⋮ Alice and Bob Meet Equational Theories ⋮ A formal semantics for protocol narrations
This page was built for publication:
