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