马尔科·博扎诺 乔治·德尔扎诺 密码协议的线性逻辑规范的保密属性的自动验证。 1375-1415 2004 38 J.塞姆。计算。 5 https://doi.org/10.1016/j.jsc.2004.04.002 数据库/期刊/jsc/jsc38.html#BozzanoD04