A Heuristic State Space Search Model for Security Protocol Verification.

Zeeshan Furqan Ratan K. Guha Shahabuddin Muhammad

Published in: ICETE (2) (2004)

Keyphrases

state space search
cost effective