Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis

Autores UPV
Año
CONGRESO Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis