Protocol Normalization Using Attribute Grammars | AMiner