Performance Evaluations of a BSP Algorithm for State Space Construction of Security Protocols.

Frdric Gava, Michal Guedj, Franck Pommereau

Browse the full PDP paper archive.