Protocol Normalization Using Attribute Grammars. - Drew Davidson; Randy Smith; Nic Doyle; Somesh Jha (ESORICS, 2009)