Formal models and techniques for analyzing security protocols


edited by Véronique Cortier and Steve Kremer
Bok Engelsk 2011

Detaljer

Bibliotek som har denne