Powered by OpenAIRE graph
Found an issue? Give us feedback
Claim

This Research product is the result of merged Research products in OpenAIRE.

You have already added 0 works in your ORCID record related to the merged Research product.

28th Annual Symposium on Theoretical Aspects of Computer Science (STACS11)

descriptionPublicationkeyboard_double_arrow_right Conference object Publisher:Leibniz-Zentrum für InformatikJournal:How to prove security of communication protocols? A discussion on the soundness of formal models w.rFunded by:EC | PROSECURE
Authors: Hubert Comon-Lundh and Véronique Cortier;

28th Annual Symposium on Theoretical Aspects of Computer Science (STACS11)

Powered by OpenAIRE graph
Found an issue? Give us feedback
Funded by
Upload OA version
Are you the author of this publication? Upload your Open Access version to Zenodo!
It’s fast and easy, just two clicks!
uploadUpload now