07421 Abstracts Collection -- Formal Protocol Verification Applied.

Liqun Chen Steve Kremer Mark Dermot Ryan

Published in: Formal Protocol Verification Applied (2007)

Keyphrases

formal analysis
data sets
real time
machine learning
artificial intelligence
information systems
web services
case study
multi agent
wireless sensor networks
formal model
high security