DMCA

Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis

by Serdar Erbatur , Santiago Escobar , Deepak Kapur , Zhiqiang Liu , Christopher A Lynch , Catherine Meadows , José Meseguer , Paliath Narendran , Sonia Santiago , Ralf Sasse