Verification Methods for the Computationally Complete Symbolic Attacker Based on Indistinguishability

From MaRDI portal
Publication:4972166