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

• Using construct categorical algebra language for formal description of cryptographic protocol