{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,2]],"date-time":"2026-07-02T20:23:12Z","timestamp":1783023792264,"version":"3.54.6"},"reference-count":62,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,10]]},"DOI":"10.1109\/drcn.2009.5340029","type":"proceedings-article","created":{"date-parts":[[2009,11,30]],"date-time":"2009-11-30T19:36:59Z","timestamp":1259609819000},"page":"11-20","source":"Crossref","is-referenced-by-count":78,"title":["Dependability and security models"],"prefix":"10.1109","author":[{"given":"Kishor S.","family":"Trivedi","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dong Seong","family":"Kim","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Arpan","family":"Roy","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Deep","family":"Medhi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"35","author":"liu","year":"2008","journal-title":"Survivability of Networked Systems"},{"key":"36","doi-asserted-by":"crossref","DOI":"10.3233\/HSN-2004-250","article-title":"security modeling and quantification of intrusion tolerant systems using attack-response graph","volume":"13","author":"madan","year":"2004","journal-title":"J High Speed Networks"},{"key":"33","doi-asserted-by":"crossref","DOI":"10.1145\/335169.335187","article-title":"survivability - a new technical and business perspective on security","author":"lipson","year":"1999","journal-title":"Proc NSPW"},{"key":"34","article-title":"survivability quantification: the analytical modeling approach","volume":"2","author":"liu","year":"2006","journal-title":"Int J Performability Engineering"},{"key":"39","doi-asserted-by":"publisher","DOI":"10.1109\/GLOCOM.2000.891940"},{"key":"37","article-title":"reliability modeling of disk array systems","author":"malhotra","year":"1992","journal-title":"Proc of TOOLS"},{"key":"38","doi-asserted-by":"publisher","DOI":"10.1109\/PNPM.1993.393445"},{"key":"43","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2004.11"},{"key":"42","doi-asserted-by":"crossref","DOI":"10.21236\/ADA387544","author":"moore","year":"2001","journal-title":"Attack Modeling for Information Security and Survivability CMU TR"},{"key":"41","doi-asserted-by":"publisher","DOI":"10.1109\/CSDA.1998.798363"},{"key":"40","doi-asserted-by":"publisher","DOI":"10.1109\/NSPW.1995.492346"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2007.55"},{"key":"23","article-title":"loss formulae and their application to optimization for cellular networks","volume":"50","author":"haring","year":"2001","journal-title":"IEEE Trans Veh Technology"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1002\/bltj.20250"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2009.02.014"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1109\/24.24588"},{"key":"27","doi-asserted-by":"crossref","DOI":"10.1145\/335169.335204","article-title":"on the functional relation between security and dependability impairments","author":"jonsson","year":"1999","journal-title":"Proc NSPW"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1109\/ARES.2006.138"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1109\/PRDC.2009.64"},{"key":"3","author":"avizienis","year":"2001","journal-title":"Fundamental concepts of dependability TR"},{"key":"2","year":"0"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/CCGRID.2007.95"},{"key":"7","article-title":"reliability and availability analysis for the jpl remote exploration and experimentation system","author":"chen","year":"2002","journal-title":"Proc of DSN"},{"key":"30","article-title":"attack tree of smart cards","author":"kincses","year":"2007"},{"key":"6","article-title":"analysis of periodic preventive maintenance with general system failure distribution","author":"chen","year":"2001","journal-title":"Proc PRDC"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2005.853442"},{"key":"32","article-title":"common techniques in fault-tolerance and security","author":"levitt","year":"1994","journal-title":"Proc DCC"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2004.2"},{"key":"31","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2002.805781"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2004.11.001"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1016\/S0951-8320(01)00141-7"},{"key":"59","article-title":"simulation versus analytic-numeric methods: a petri net example","author":"tuffin","year":"2007","journal-title":"Proc of the 2nd VALUETOOLS Conference"},{"key":"58","article-title":"availability modeling of sip protocol on ibm(c) websphere(c)","author":"trivedi","year":"2008","journal-title":"Proc PRDC"},{"key":"57","article-title":"modeling high availability systems","author":"trivedi","year":"2006","journal-title":"Proc PRDC"},{"key":"56","article-title":"probability and statistics with reliability, queuing, and computer science applications","author":"trivedi","year":"2001","journal-title":"John Wiley & Sons"},{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/2.56852"},{"key":"55","article-title":"availability analysis of cisco gsr 12000 and juniper m20\/m40","author":"trivedi","year":"0"},{"key":"17","year":"0"},{"key":"18","article-title":"dependability metrics","volume":"4909","year":"2008","journal-title":"LNCS"},{"key":"15","year":"0","journal-title":"Dependability"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/12.24286"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2005.1574276"},{"key":"14","author":"convey","year":"2003","journal-title":"An attack tree for the border gateway protocol"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1016\/0166-5316(93)90026-Q"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1016\/S0026-2714(97)00043-7"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/DISCEX.2001.932173"},{"key":"20","article-title":"stochastic modeling formalisms for dependability, performance and performability","volume":"1769","author":"goseva-popstojanov","year":"2000","journal-title":"LNCS"},{"key":"62","article-title":"modeling and evaluating the survivability of an intrusion tolerant database system","author":"wang","year":"2006","journal-title":"Proc of ESORICS"},{"key":"60","doi-asserted-by":"publisher","DOI":"10.1109\/RELDIS.2002.1180199"},{"key":"61","doi-asserted-by":"crossref","DOI":"10.1201\/9780849379253-20","article-title":"wireless sensor network security: a survey","author":"walters","year":"2007","journal-title":"Journal of Security in Distributed Grid Mobile and Pervasive Computing"},{"key":"49","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36187-1_16"},{"key":"48","doi-asserted-by":"publisher","DOI":"10.1109\/ARES.2006.137"},{"key":"45","year":"0"},{"key":"44","doi-asserted-by":"publisher","DOI":"10.1145\/54331.54345"},{"key":"47","year":"0","journal-title":"ResiliNets Wiki"},{"key":"46","article-title":"architecting dependable systems using virtualization","author":"ramasamy","year":"0","journal-title":"Workshop on DSN-2007"},{"key":"10","year":"0"},{"key":"51","doi-asserted-by":"publisher","DOI":"10.1109\/12.2184"},{"key":"52","doi-asserted-by":"publisher","DOI":"10.1147\/SJ.2008.5386524"},{"key":"53","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-76930-6_19"},{"key":"54","article-title":"reliability analysis techniques explored through a communication network example","author":"trivedi","year":"1996","journal-title":"Proc of CADTED"},{"key":"50","author":"sheyner","year":"2002","journal-title":"Automated Generation and Analysis of Attack Graphs Proc of IEEE SP"}],"event":{"name":"2009 7th International Workshop on Design of Reliable Communication Networks (DRCN)","location":"Washington, DC, USA","start":{"date-parts":[[2009,10,25]]},"end":{"date-parts":[[2009,10,28]]}},"container-title":["2009 7th International Workshop on Design of Reliable Communication Networks"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5335584\/5339979\/05340029.pdf?arnumber=5340029","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,13]],"date-time":"2025-02-13T14:33:31Z","timestamp":1739457211000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5340029\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,10]]},"references-count":62,"URL":"https:\/\/doi.org\/10.1109\/drcn.2009.5340029","relation":{},"subject":[],"published":{"date-parts":[[2009,10]]}}}