Suzana Andova

1. A framework for compositional verification of security protocols
   2006/11/14 by Suzana Andova, Cas Cremers, Andova, Suzana +12 · 1 citation
   Computer Science · #Advanced Authentication Protocols Security #Cryptography and Security (cs.CR) #Digital Rights Management and Security #FOS: Computer and information sciences #User Authentication and Security Systems #cs.CR