Integrated FDT-based protocol verification system.

Chung-Ming Huang Jenq-Muh Hsu Huei-Yang Lai Duen-Tay Huang

Published in: Softw. Eng. J. (1995)

Keyphrases

cryptographic protocols
formal analysis
model checker
protocol specification
lightweight
model checking
formal verification
communication protocol
formal methods
coloured petri nets
real time
electronic commerce
tcp ip
communication protocols
continuous space