Véronique Cortier · 2 obras en el catálogoObrasFormal models and techniques for analyzing security protocolsFFormal to Practical SecurityFormal to Practical Security