Operational Semantics and Verification of Security ProtocolsCas CremersUitverkocht4,7Hou mij op de hoogte