Update semantics of security protocols

From MaRDI portal
Publication:2386105