. . . . . “Marco Bozzano和Giorgio Delzanno：加密协议的线性逻辑规范的保密属性的自动验证。（2004）”。 . . _：ID_dda06b70144b963ab59697186a7ecbf9。_：ID_dda06b70144b963ab59697186a7ecbf9 ._：ID_dda06b70144b963ab59697186a7ecbf9 ._：ID_dda06b70144b963ab59697186a7ecbf9“journals/jsc/BozzanoD04”。 _：ID_de3e73b975bc467d353f3216fe6593bb。_：ID_de3e73b975bc467d353f3216fe6593bb ._：ID_de3e73b975bc467d353f3216fe6593bb ._：识别号_de3e73b975bc467d353f3216fe6593bb“10.1016/J.JSC.2004.04.002”。 “密码协议线性逻辑规范的保密属性的自动验证”。 . . . "2"^^. _：Sig_3b392632be2225f6132f51db14555bb5_1。_：Sig_3b392632be2225f6132f51db14555bb5_1 ._：Sig_3b392632be2225f6132f51db14555bb5_1“马可·波扎诺”。_：Sig_3b392632be2225f6132f51db14555bb5_1 ._：Sig_3b392632be2225f6132f51db14555bb5_1 ._：Sig_3b392632be2225f6132f51db14555bb5_1"1"^^._：Sig_3b392632be2225f6132f51db14555bb5_1 . _：Sig_3b392632be2225f6132f51db14555bb5_2。_：Sig_3b392632be2225f6132f51db14555bb5_2 ._：Sig_3b392632be2225f6132f51db14555bb5_2“乔治·德尔扎诺”。_：Sig_3b392632be2225f6132f51db14555bb5_2 ._：Sig_3b392632be2225f6132f51db14555bb5_2"2"^^._：Sig_3b392632be2225f6132f51db14555bb5_2 . . . . "1375-1415" . 《符号计算杂志》。 《符号计算杂志》。 "38" . "5" . "2004"^^. “dblp记录'journals/jsc/BozzanoD04'的RDF数据的来源信息”。 . . . “2021-10-14T09:07:19+0200”。