{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:05:00Z","timestamp":1725483900260},"reference-count":0,"publisher":"SCITEPRESS - Science and Technology Publications","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.5220\/0009380608250834","type":"proceedings-article","created":{"date-parts":[[2020,3,26]],"date-time":"2020-03-26T11:12:12Z","timestamp":1585221132000},"page":"825-834","source":"Crossref","is-referenced-by-count":0,"title":["Accidental Sensitive Data Leaks Prevention via Formal Verification"],"prefix":"10.5220","author":[{"given":"Madalina","family":"Ciobanu","sequence":"first","affiliation":[{"name":"Department of Biosciences and Territory, University of Molise, Pesche (IS), Italy, --- Select a Country ---"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fausto","family":"Fasano","sequence":"first","affiliation":[{"name":"Department of Biosciences and Territory, University of Molise, Pesche (IS), Italy, --- Select a Country ---"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabio","family":"Martinelli","sequence":"first","affiliation":[{"name":"Istituto di Informatica e Telematica, Consiglio Nazionale delle Ricerche, Pisa, Italy, --- Select a Country ---"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesco","family":"Mercaldo","sequence":"first","affiliation":[{"name":"Department of Biosciences and Territory, University of Molise, Pesche (IS), Italy, Istituto di Informatica e Telematica, Consiglio Nazionale delle Ricerche, Pisa, Italy, --- Select a Country ---"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonella","family":"Santone","sequence":"first","affiliation":[{"name":"Department of Biosciences and Territory, University of Molise, Pesche (IS), Italy, --- Select a Country ---"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"3171","event":{"name":"4th International Workshop on FORmal methods for Security Engineering","start":{"date-parts":[[2020,2,25]]},"location":"Valletta, Malta","end":{"date-parts":[[2020,2,27]]}},"container-title":["Proceedings of the 6th International Conference on Information Systems Security and Privacy"],"original-title":["Accidental Sensitive Data Leaks Prevention via Formal Verification"],"deposited":{"date-parts":[[2020,3,26]],"date-time":"2020-03-26T13:30:40Z","timestamp":1585229440000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.scitepress.org\/DigitalLibrary\/Link.aspx?doi=10.5220\/0009380608250834"}},"subtitle":[""],"short-title":[],"issued":{"date-parts":[[2020]]},"references-count":0,"URL":"https:\/\/doi.org\/10.5220\/0009380608250834","relation":{},"subject":[],"published":{"date-parts":[[2020]]}}}