07421 Executive Summary -- Formal Protocol Verification Applied.

Liqun Chen Steve Kremer Mark Dermot Ryan

Published in: Formal Protocol Verification Applied (2007)

Keyphrases

formal analysis
real time
lightweight
learning algorithm
distributed databases
protocol specification