Security Protocol Design via Authentication Tests.

Joshua D. Guttman

Published in: CSFW (2002)

Keyphrases

authentication protocol
sensor networks
low cost
security protocols
software architecture
automated design