Foundations of Security, Protocols, and Equational Reasoning: Essays Dedicated to Catherine A. Meadows (Lecture Notes in Computer Science, Band 11565)
Ein kritisches Werk über sichere Protokolle und Gleichungssysteme, das neue theoretische Perspektiven auf Kryptographie bietet, praktische Anwendunge ...