Toward verification of commitment protocols and their compositions.

Nirmit Desai Zhengang Cheng Amit K. Chopra Munindar P. Singh

Published in: AAMAS (2007)

Keyphrases

cryptographic protocols
protocol specification
model checking
communication protocols
formal methods
concurrent systems
genetic algorithm
face verification
formal analysis
fingerprint verification