DMCA

Computationally sound, automated proofs for security protocols (2005)

by Véronique Cortier , Bogdan Warinschi
Citations:70 - 13 self