Repositorium | Personen

with Meyer, J.-J. , De Vink, E. (2004). Update semantics of security protocols. Synthese, 142 (2), 229-267. https://doi.org/10.1007/s11229-004-2247-0.