A Novel Framework for Protocol Analysis.

Kristian Gjsteen, George Petrides, Asgeir Steine

Browse the full ProvSec paper archive.