Cryptographic Protocol Composition via the Authentication Tests

From MaRDI portal
Publication:3617737