Menu

About us
Contact

Publications

Collections
Submit a new reference

Login

Calendar

Catalogue > People > Profile

Profile Publications

Order by

Filter

All Monographs Editions Articles

Erik De Vink

1 Publications

Update semantics of security protocols

2004

Arjen Hommersom, John-Jules Meyer, Erik De Vink

Synthese 142 (2)

1 Publications

This website is powered by sdvig press, a not-for-profit association based in Geneva, Switzerland

Except for all images and where otherwise noted, contents are available under the Creative Commons Attribution License 4.0

Hendrik, the underlying database of this website, is available under the Open Database License 1.0

Terms & Conditions
About
Contact

We log anonymised, publically available usage statistics with Matomo

© 2015-2025 sdvig press