DMCA

Symbolic Analysis of Cryptographic Protocols in the Spi-Calculus (2000)

by Michele Boreale
Venue:In ICALP
Citations:6 - 1 self