A BSP Algorithm for On-the-fly Checking LTL Formulas on Security Protocols.

Frdric Gava, Michal Guedj, Franck Pommereau

Browse the full ISPDC paper archive.