This is the Observational Equivalence issue for Cryptographic Protocols.
Definition
This is a Turing Machine appears externally to be following a Protocol, but internally, works with different methods.
This is the Observational Equivalence issue for Cryptographic Protocols.
This is a Turing Machine appears externally to be following a Protocol, but internally, works with different methods.