{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,26]],"date-time":"2025-09-26T00:15:38Z","timestamp":1758845738285,"version":"3.28.0"},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1109\/reldis.2004.1353019","type":"proceedings-article","created":{"date-parts":[[2004,12,23]],"date-time":"2004-12-23T04:34:02Z","timestamp":1103776442000},"page":"184-194","source":"Crossref","is-referenced-by-count":45,"title":["Model-based validation of an intrusion-tolerant information system"],"prefix":"10.1109","author":[{"given":"F.","family":"Stevens","sequence":"first","affiliation":[]},{"given":"T.","family":"Courtney","sequence":"additional","affiliation":[]},{"family":"Sankalp Singh","sequence":"additional","affiliation":[]},{"given":"A.","family":"Agbaria","sequence":"additional","affiliation":[]},{"given":"J.R.","family":"Meyer","sequence":"additional","affiliation":[]},{"given":"W.H.","family":"Sanders","sequence":"additional","affiliation":[]},{"given":"P.","family":"Pal","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"year":"2004","author":"stevens","journal-title":"Validation of an Intrusion-tolerant Information System Using Probabilistic Modeling","key":"17"},{"doi-asserted-by":"publisher","key":"15","DOI":"10.1109\/SECPRI.2002.1004377"},{"doi-asserted-by":"publisher","key":"16","DOI":"10.1109\/DSN.2003.1209971"},{"doi-asserted-by":"publisher","key":"13","DOI":"10.1109\/32.815323"},{"key":"14","article-title":"CDR validation report","volume":"cdrl a007 r2","author":"sanders","year":"2003","journal-title":"Technical Report"},{"doi-asserted-by":"publisher","key":"11","DOI":"10.1109\/DISCEX.2001.932201"},{"doi-asserted-by":"publisher","key":"12","DOI":"10.1109\/DSN.2002.1028941"},{"key":"3","doi-asserted-by":"crossref","first-page":"956","DOI":"10.1109\/TSE.2002.1041052","article-title":"The mo?bius framework and its implementation","volume":"28","author":"deavours","year":"2002","journal-title":"IEEE Transactions on Software Engineering"},{"key":"2","article-title":"Intrusion tolerance approaches in ITUA","author":"cukier","year":"2001","journal-title":"Supplement of the 2001 International Conference on Dependable Systems and Networks"},{"key":"1","article-title":"Report on building the joint battlespace infosphere","volume":"sab tr 99 2","year":"1999","journal-title":"Tech Report"},{"doi-asserted-by":"publisher","key":"10","DOI":"10.1007\/978-3-642-79789-7_30"},{"key":"7","first-page":"81","article-title":"Dependability and performance evaluation of intrusion-tolerant server architectures","volume":"2847","author":"gupta","year":"2003","journal-title":"Proceedings of LADC 2003 The 1st Latin American Symposium on Dependable Computing Lecture Notes in Computer Science"},{"key":"6","article-title":"Survivable network systems: An emerging discipline","author":"ellison","year":"1997","journal-title":"Technical Report"},{"doi-asserted-by":"publisher","key":"5","DOI":"10.1109\/SECPRI.2002.1004373"},{"doi-asserted-by":"publisher","key":"4","DOI":"10.1109\/RISP.1991.130780"},{"doi-asserted-by":"publisher","key":"9","DOI":"10.1145\/356850.356852"},{"doi-asserted-by":"publisher","key":"8","DOI":"10.1109\/32.588541"}],"event":{"name":"Proceedings of the 23rd IEEE International Symposium on Reliable Distributed Systems, 2004.","start":{"date-parts":[[2004,10,18]]},"location":"Florianpolis, Brazil","end":{"date-parts":[[2004,10,20]]}},"container-title":["Proceedings of the 23rd IEEE International Symposium on Reliable Distributed Systems, 2004."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9361\/29724\/01353019.pdf?arnumber=1353019","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T09:42:30Z","timestamp":1497606150000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1353019\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/reldis.2004.1353019","relation":{},"subject":[],"published":{"date-parts":[[2004]]}}}