DMCA

Maude-npa: Cryptographic protocol analysis modulo equational properties (2007)

by Santiago Escobar , Catherine Meadows , José Meseguer
Venue:of Lecture Notes in Computer Science
Citations:29 - 7 self