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:28 - 6 self