Cryptographic protocol design analysis principle and technology