Cas Cremers · 2 obras en el catálogoObrasOperational Semantics and Verification of Security ProtocolsSecurity Standardisation Research