DMCA

A Coordination-based Methodology for Security Protocol Verification (2005)

by Giacomo Baldi , Andrea Bracciali , Gianluigi Ferrari , Emilio Tuosto
Venue:In WISP’04, volume 121 of ENCTS
Citations:10 - 6 self