Analyzing Quantum Cryptographic Protocols Using Optimization Techniques