Phenomenological Reviews

Journal | Authors

156079

Erik De Vink

Bibliography ¹

Articles

Update semantics of security protocols

2004

Arjen Hommersom John-Jules Meyer Erik De Vink

Synthese 142/2

Open Access Link

Order by

Filter

Language

english/english

Period

2000-2009