Using CSP to Detect Errors in the TMN Protocol.

Gavin Lowe A. W. Roscoe

Published in: IEEE Trans. Software Eng. (1997)

Keyphrases

constraint satisfaction problems
detection algorithm
detection method
inter domain
automatic detection
np complete
constraint satisfaction
cryptographic protocols
network protocols
multi agent systems
np hard
lightweight
formal analysis