How to prove security of communication protocols? A discussion on the soundness of formal models w.r.t. computational ones.

Hubert Comon-Lundh, Vronique Cortier

Browse the full STACS paper archive.