TAS::57 3600::TAS 'ADVANCED SYMBOLIC METHODS FOR THE CRYPTOGRAPHIC PROTOCOL ANALYZER MAUDE-NPA' DATED 24 MAR 2017 (THE GRANTEE'S TECHNICAL PROPOSAL)