How to prove security of communication protocols? A discussion on the soundness of formal models w.r.t. computational ones.∗ Hubert Comon-Lundh1 and Véronique Cortier2 1 - Soundness - Document - PDFSEARCH.IO

First Page	Meta Content
	How to prove security of communication protocols? A discussion on the soundness of formal models w.r.t. computational ones.∗ Hubert Comon-Lundh1 and Véronique Cortier2 1 Add to Reading List Document Date: 2012-12-05 06:09:36 Open Document File Size: 618,43 KB Share Result on Facebook

How to prove security of communication protocols? A discussion on the soundness of formal models w.r.t. computational ones.∗ Hubert Comon-Lundh1 and Véronique Cortier2 1Add to Reading List