A formal methodology for integral security design and verification of network protocols

Jesus Diaz David Arroyo Francisco de Borja Rodríguez

Published in: CoRR (2012)

Keyphrases

network protocols
formal methods
real time
information systems
access control
ambient intelligence
model checking