Protocol Normalization Using Attribute Grammars.

Drew Davidson, Randy Smith, Nic Doyle, Somesh Jha

Browse the full ESORICS paper archive.