A BSP Algorithm for On-the-Fly Checking CTL* Formulas on Security Protocols.

Frédéric Gava Michaël Guedj Franck Pommereau

Published in: PDCAT (2012)

Keyphrases

end to end
simulated annealing
security protocols
artificial immune algorithm