{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,17]],"date-time":"2026-07-17T15:27:35Z","timestamp":1784302055684,"version":"3.55.0"},"reference-count":35,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"1","license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0\/"}],"funder":[{"name":"MUR National Recovery and Resilience Plan","award":["PE00000014"],"award-info":[{"award-number":["PE00000014"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Dependable and Secure Comput."],"published-print":{"date-parts":[[2025,1]]},"DOI":"10.1109\/tdsc.2024.3409073","type":"journal-article","created":{"date-parts":[[2024,6,4]],"date-time":"2024-06-04T21:32:11Z","timestamp":1717536731000},"page":"561-578","source":"Crossref","is-referenced-by-count":9,"title":["Automating VPN Configuration in Computer Networks"],"prefix":"10.1109","volume":"22","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3086-7364","authenticated-orcid":false,"given":"Daniele","family":"Bringhenti","sequence":"first","affiliation":[{"name":"Politecnico di Torino, Dip. Automatica e Informatica, Torino, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3142-2383","authenticated-orcid":false,"given":"Riccardo","family":"Sisto","sequence":"additional","affiliation":[{"name":"Politecnico di Torino, Dip. Automatica e Informatica, Torino, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8471-3029","authenticated-orcid":false,"given":"Fulvio","family":"Valenza","sequence":"additional","affiliation":[{"name":"Politecnico di Torino, Dip. Automatica e Informatica, Torino, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ICNP.2005.25"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2017.2708096"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/COMST.2015.2477041"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2014.2371999"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/3616401"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/s10922-007-9083-8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/1035582.1035583"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/SAINT.2005.28"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.5220\/0005946201970206"},{"key":"ref10","first-page":"579","article-title":"NetComplete: Practical network-wide configuration synthesis with autocompletion","volume-title":"Proc. 15th USENIX Symp. Netw. Syst. Des. Implementation","author":"El-Hassany"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/NOMS47738.2020.9110402"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2022.3160293"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/s10462-009-9147-0"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TNSM.2010.1012.0365"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ISED.2012.72"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/11955757_18"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/INM.2009.5188808"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.3990\/2.24"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/NOMS.2004.1317665"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/INM.2003.1194183"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/11562436_18"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03354-4_49"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/s10922-010-9168-7"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2021.12.298"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/s10207-004-0052-x"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2016.2585108"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2019.2895278"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-17127-2_10"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/49.257932"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2012.20"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2017.16"},{"key":"ref33","article-title":"On the computational complexity of maxsat","author":"Halaby","year":"2016","journal-title":"Electron. Colloq. Comput. Complex"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-96142-2_18"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1016\/j.comcom.2020.07.013"}],"container-title":["IEEE Transactions on Dependable and Secure Computing"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/8858\/10843954\/10547475.pdf?arnumber=10547475","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T03:58:16Z","timestamp":1737431896000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10547475\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,1]]},"references-count":35,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.1109\/tdsc.2024.3409073","relation":{},"ISSN":["1545-5971","1941-0018","2160-9209"],"issn-type":[{"value":"1545-5971","type":"print"},{"value":"1941-0018","type":"electronic"},{"value":"2160-9209","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,1]]}}}