A Stepwise Refinement Heuristic for Protocol Construction.

A. Udaya Shankar Simon S. Lam

Published in: ACM Trans. Program. Lang. Syst. (1992)

Keyphrases

forward selection
dynamic programming
optimal solution
simulated annealing
lightweight
real time
search algorithm
coloured petri nets
combinatorial optimization
search strategies
heuristic methods
multi party
authentication protocol
cryptographic protocols
heuristic solution
file transfer