MSP: A Novel Session Maintenance Protocol.

Ana R. Cavalli Timothy G. Griffin Dario Vieira

Published in: ICON (2006)

Keyphrases

software maintenance
network protocols
lightweight
formal analysis
cryptographic protocols
communication protocol
database systems
distributed systems
tcp ip
preventive maintenance
key agreement protocol
protocol specification