. . . . . . “Marco Bozzano等人：基于模型的安全分析的高效随时技术”（2015）。 . . . _：ID_265ab12390dfe0993815e6027bafc5d8。_：ID_265ab12390dfe0993815e6027bafc5d8 ._：ID_265ab12390dfe0993815e6027bafc5d8 ._：ID_265ab12390dfe0993815e6027bafc5d8“conf/cav/BozzanoCGM15”。 _：ID_3df5c968a3eb425c33bc2e95f33813fa。_：ID_3df5c968a3eb425c33bc2e95f33813fa ._：ID_3df5c968a3eb425c33bc2e95f33813fa ._：ID_3df5c968a3eb425c33bc2e95f33813fa"10.1007/978-3-319-21690-4_41" . _：ID_64f343ae880530a012601254af4415a6。_：ID_64f343ae880530a012601254af4415a6 ._：ID_64f343ae880530a012601254af4415a6 ._：ID_64f343ae880530a012601254af4415a6“Q6204114”。 “基于模型的安全分析的高效随时技术”。 . . . . . "4"^^. _：Sig_0ce8ac6ac2298e551ea3e149acf97394_1。_：Sig_0ce8ac6ac2298e551ea3e149acf97394_1 ._：Sig_0ce8ac6ac2298e551ea3e149acf97394_1“马尔科·博扎诺”。_：Sig_0ce8ac6ac2298e551ea3e149acf97394_1 ._：Sig_0ce8ac6ac2298e551ea3e149acf97394_1"1"^^._：Sig_0ce8ac6ac2298e551ea3e149acf97394_1 . _：Sig_0ce8ac6ac2298e551ea3e149acf97394_2。_：Sig_0ce8ac6ac2298e551ea3e149acf97394_2 ._：Sig_0ce8ac6ac2298e551ea3e149acf97394_2“亚历山德罗·西马蒂”。_：Sig_0ce8ac6ac2298e551ea3e149acf97394_2 ._：Sig_0ce8ac6ac2298e551ea3e149acf97394_2 ._：Sig_0ce8ac6ac2298e551ea3e149acf97394_2“2”^^._：Sig_0ce8ac6ac2298e551ea3e149acf97394_2 . _：Sig_0ce8ac6ac2298e551ea3e149acf97394_3。_：Sig_0ce8ac6ac2298e551ea3e149acf97394_3 ._：Sig_0ce8ac6ac2298e551ea3e149acf97394_3“阿尔贝托·格里乔”。_：Sig_0ce8ac6ac2298e551ea3e149acf97394_3 ._：Sig_0ce8ac6ac2298e551ea3e149acf97394_3 ._：信号_0ce8ac6ac2298e551ea3e149acf97394_3"3"^^._：信号_0ce8ac6ac2298e551ea3e149acf97394_3 . _：Sig_0ce8ac6ac2298e551ea3e149acf97394_4。_：Sig_0ce8ac6ac2298e551ea3e149acf97394_4 ._：Sig_0ce8ac6ac2298e551ea3e149acf97394_4“克里斯蒂安·马塔雷”。_：Sig_0ce8ac6ac2298e551ea3e149acf97394_4 ._：Sig_0ce8ac6ac2298e551ea3e149acf97394_4 ._：Sig_0ce8ac6ac2298e551ea3e149acf97394_4"4"^^._：Sig_0ce8ac6ac2298e551ea3e149acf97394_4 . . . . "603-621" . “CAV（1）”。 “CAV（1）”。 "2015"^^. "2015"^^. . “dblp记录'conf/cav/BozzanoCGM15'的RDF数据的来源信息”。 . . . “2021-04-09T18:35:27+0200”。