Context

Context of Formal models and techniques for analyzing security protocols, edited by Véronique Cortier and Steve Kremer, (electronic book)
Processing Feedback ...