{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T15:44:40Z","timestamp":1750347880712,"version":"3.28.0"},"reference-count":27,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,7]]},"DOI":"10.1109\/hpcsim.2016.7568373","type":"proceedings-article","created":{"date-parts":[[2016,9,15]],"date-time":"2016-09-15T20:53:29Z","timestamp":1473972809000},"page":"476-483","source":"Crossref","is-referenced-by-count":6,"title":["Parametric and probabilistic model checking of confidentiality in data dispersal algorithms"],"prefix":"10.1109","author":[{"given":"Marco","family":"Baldi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandro","family":"Cucchiarelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Linda","family":"Senigagliesi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luca","family":"Spalazzi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesco","family":"Spegni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","article-title":"Model checking security protocols","author":"basin","year":"2011","journal-title":"Handbook of Model Checking"},{"key":"ref11","article-title":"Formal methods for cryptographic protocol analysis: Emerging issues and trends","volume":"21","author":"meadows","year":"2006","journal-title":"Journal on Selected Areas in Communications"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1016\/j.future.2011.11.010"},{"key":"ref13","article-title":"Automatic verification of security in payment protocols for electronic commerce","author":"panti","year":"2002","journal-title":"ICEIS"},{"doi-asserted-by":"publisher","key":"ref14","DOI":"10.1109\/TIT.1983.1056650"},{"key":"ref15","article-title":"The Dolev-Yao intruder is the most powerful attacker","volume":"1","author":"cervesato","year":"2001","journal-title":"16th Annual Symp on Logic in Computer Science(LICS)"},{"doi-asserted-by":"publisher","key":"ref16","DOI":"10.3233\/JCS-2004-123-403"},{"doi-asserted-by":"publisher","key":"ref17","DOI":"10.1016\/j.compeleceng.2015.02.019"},{"doi-asserted-by":"publisher","key":"ref18","DOI":"10.1007\/s00607-015-0445-x"},{"doi-asserted-by":"publisher","key":"ref19","DOI":"10.1007\/s10773-016-2969-z"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1109\/SFCS.2002.1181950"},{"doi-asserted-by":"publisher","key":"ref27","DOI":"10.1007\/s00165-014-0315-x"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1145\/358746.358762"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1109\/HPCSim.2014.6903736"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1007\/BFb0052348"},{"key":"ref8","article-title":"Parametric and probabilistic model checking of confidentiality in data dispersal algorithms (extended version)","volume":"abs 1605 5930","author":"baldi","year":"2016","journal-title":"CoRR"},{"key":"ref7","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-22110-1_47","article-title":"PRISM 4.0: Verification of Probabilistic Real-Time Systems","author":"kwiatkowska","year":"2011"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.1145\/62044.62050"},{"year":"2008","author":"baier","journal-title":"Principles of Model Checking","key":"ref9"},{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.1145\/359168.359176"},{"doi-asserted-by":"publisher","key":"ref20","DOI":"10.1145\/186025.186051"},{"doi-asserted-by":"publisher","key":"ref22","DOI":"10.1007\/978-3-319-12154-3_15"},{"doi-asserted-by":"publisher","key":"ref21","DOI":"10.1007\/978-3-662-44584-6_9"},{"doi-asserted-by":"publisher","key":"ref24","DOI":"10.1007\/978-3-319-11164-3_28"},{"doi-asserted-by":"publisher","key":"ref23","DOI":"10.1007\/978-3-642-16612-9_11"},{"doi-asserted-by":"publisher","key":"ref26","DOI":"10.1007\/978-3-319-06880-0_2"},{"doi-asserted-by":"publisher","key":"ref25","DOI":"10.1007\/978-3-319-26184-3_7"}],"event":{"name":"2016 International Conference on High Performance Computing & Simulation (HPCS)","start":{"date-parts":[[2016,7,18]]},"location":"Innsbruck, Austria","end":{"date-parts":[[2016,7,22]]}},"container-title":["2016 International Conference on High Performance Computing & Simulation (HPCS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7562293\/7568299\/07568373.pdf?arnumber=7568373","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T22:53:38Z","timestamp":1498344818000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7568373\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,7]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/hpcsim.2016.7568373","relation":{},"subject":[],"published":{"date-parts":[[2016,7]]}}}