Determining a parallel session attack on a key distribution protocol using a model checker.

Vladimir Pasca, Anca Jurcut, Reiner Dojen, Tom Coffey

Browse the full MOMM paper archive.