Verification of security protocols using LOTOS-method and application.

Guy Leduc François Germeau

Published in: Comput. Commun. (2000)

Keyphrases

real time
sensor networks
verification method