提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-JOUR公司ID-DBLP:journals/jsc/BozzanoD04澳大利亚-波扎诺，马尔科澳大利亚-乔治·德尔扎诺TI-密码协议线性逻辑规范的保密属性的自动验证。JO-J.符号。计算。VL-38IS-5标准SP-1375EP-14152004年上半年//DO-2016年10月10日/J.JSC.2004.04.002UR-（欧元）https://doi.org/10.1016/j.jsc.2004.04.002急诊室-