Using construct categorical algebra language for formal description of cryptographic protocol

• 使用构造类别代数描述和验证密码协议