Security Assessment of SCADA Protocols: A taxonomy based methodology for the identification of security vulnerabilities in SCADA protocols