Text this: 密码协议的一种基于组合推理的模型验证