Experience of Responsiveness Verification for Connection Establishment Protocols.

Shin'ichi Nagano Yoshiaki Kakuda Tohru Kikuno

Published in: ISORC (1998)

Keyphrases

cryptographic protocols
model checking
user experience
formal analysis
functional verification
protocol specification
web services
face recognition
multi party
formal methods
learning curve
formal verification
communication protocol
asynchronous circuits