Study of cryptographic mechanisms evaluation techniques, development of a tool to perform automatic analysis