Can Current Protocol Verification Techniques Guarantee Correctness?

Yechiam Yemini James F. Kurose

Published in: Comput. Networks (1982)

Keyphrases

formal analysis
cryptographic protocols
website
model checking
database
neural network
data mining
protocol specification
genetic algorithm
artificial intelligence
information systems
case study
wireless sensor networks
face verification
model checker
formal proof