{"id":"https://openalex.org/W1986361607","doi":"https://doi.org/10.1587/transinf.2013edp7339","title":"Investigating System Survivability from a Probabilistic Perspective","display_name":"Investigating System Survivability from a Probabilistic Perspective","publication_year":2014,"publication_date":"2014-01-01","ids":{"openalex":"https://openalex.org/W1986361607","doi":"https://doi.org/10.1587/transinf.2013edp7339","mag":"1986361607"},"language":"en","primary_location":{"id":"doi:10.1587/transinf.2013edp7339","is_oa":true,"landing_page_url":"https://doi.org/10.1587/transinf.2013edp7339","pdf_url":"https://www.jstage.jst.go.jp/article/transinf/E97.D/9/E97.D_2013EDP7339/_pdf","source":{"id":"https://openalex.org/S2486202937","display_name":"IEICE Transactions on Information and Systems","issn_l":"0916-8532","issn":["0916-8532","1745-1361"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4320800604","host_organization_name":"Institute of Electronics, Information and Communication Engineers","host_organization_lineage":["https://openalex.org/P4320800604"],"host_organization_lineage_names":["Institute of Electronics, Information and Communication Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEICE Transactions on Information and Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://www.jstage.jst.go.jp/article/transinf/E97.D/9/E97.D_2013EDP7339/_pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5013464242","display_name":"Yongxin Zhao","orcid":"https://orcid.org/0000-0001-5712-079X"},"institutions":[{"id":"https://openalex.org/I4210139618","display_name":"Shanghai Key Laboratory of Trustworthy Computing","ror":"https://ror.org/030qbr085","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210139618"]},{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yongxin ZHAO","raw_affiliation_strings":["Shanghai Key Laboratory of Trustworthy Computing, Software Engineering Institute, East China Normal University","Shanghai Key Laboratory of Trustworthy Computing, Software Engineering Institute, East China Normal University,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Shanghai Key Laboratory of Trustworthy Computing, Software Engineering Institute, East China Normal University","institution_ids":["https://openalex.org/I4210139618","https://openalex.org/I66867065"]},{"raw_affiliation_string":"Shanghai Key Laboratory of Trustworthy Computing, Software Engineering Institute, East China Normal University,","institution_ids":["https://openalex.org/I4210139618","https://openalex.org/I66867065"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101882055","display_name":"Yanhong Huang","orcid":"https://orcid.org/0000-0003-2102-4303"},"institutions":[{"id":"https://openalex.org/I4210139618","display_name":"Shanghai Key Laboratory of Trustworthy Computing","ror":"https://ror.org/030qbr085","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210139618"]},{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yanhong HUANG","raw_affiliation_strings":["Shanghai Key Laboratory of Trustworthy Computing, Software Engineering Institute, East China Normal University","Shanghai Key Laboratory of Trustworthy Computing, Software Engineering Institute, East China Normal University,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Shanghai Key Laboratory of Trustworthy Computing, Software Engineering Institute, East China Normal University","institution_ids":["https://openalex.org/I4210139618","https://openalex.org/I66867065"]},{"raw_affiliation_string":"Shanghai Key Laboratory of Trustworthy Computing, Software Engineering Institute, East China Normal University,","institution_ids":["https://openalex.org/I4210139618","https://openalex.org/I66867065"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5056850002","display_name":"Qin Li","orcid":"https://orcid.org/0000-0001-7476-4079"},"institutions":[{"id":"https://openalex.org/I4210139618","display_name":"Shanghai Key Laboratory of Trustworthy Computing","ror":"https://ror.org/030qbr085","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210139618"]},{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Qin LI","raw_affiliation_strings":["Shanghai Key Laboratory of Trustworthy Computing, Software Engineering Institute, East China Normal University","Shanghai Key Laboratory of Trustworthy Computing, Software Engineering Institute, East China Normal University,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Shanghai Key Laboratory of Trustworthy Computing, Software Engineering Institute, East China Normal University","institution_ids":["https://openalex.org/I4210139618","https://openalex.org/I66867065"]},{"raw_affiliation_string":"Shanghai Key Laboratory of Trustworthy Computing, Software Engineering Institute, East China Normal University,","institution_ids":["https://openalex.org/I4210139618","https://openalex.org/I66867065"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102937444","display_name":"Huibiao Zhu","orcid":"https://orcid.org/0000-0002-0214-8565"},"institutions":[{"id":"https://openalex.org/I4210139618","display_name":"Shanghai Key Laboratory of Trustworthy Computing","ror":"https://ror.org/030qbr085","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210139618"]},{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Huibiao ZHU","raw_affiliation_strings":["Shanghai Key Laboratory of Trustworthy Computing, Software Engineering Institute, East China Normal University","Shanghai Key Laboratory of Trustworthy Computing, Software Engineering Institute, East China Normal University,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Shanghai Key Laboratory of Trustworthy Computing, Software Engineering Institute, East China Normal University","institution_ids":["https://openalex.org/I4210139618","https://openalex.org/I66867065"]},{"raw_affiliation_string":"Shanghai Key Laboratory of Trustworthy Computing, Software Engineering Institute, East China Normal University,","institution_ids":["https://openalex.org/I4210139618","https://openalex.org/I66867065"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5114251624","display_name":"Jifeng He","orcid":null},"institutions":[{"id":"https://openalex.org/I4210139618","display_name":"Shanghai Key Laboratory of Trustworthy Computing","ror":"https://ror.org/030qbr085","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210139618"]},{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jifeng HE","raw_affiliation_strings":["Shanghai Key Laboratory of Trustworthy Computing, Software Engineering Institute, East China Normal University","Shanghai Key Laboratory of Trustworthy Computing, Software Engineering Institute, East China Normal University,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Shanghai Key Laboratory of Trustworthy Computing, Software Engineering Institute, East China Normal University","institution_ids":["https://openalex.org/I4210139618","https://openalex.org/I66867065"]},{"raw_affiliation_string":"Shanghai Key Laboratory of Trustworthy Computing, Software Engineering Institute, East China Normal University,","institution_ids":["https://openalex.org/I4210139618","https://openalex.org/I66867065"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100621773","display_name":"Jianwen Li","orcid":"https://orcid.org/0000-0001-9286-8285"},"institutions":[{"id":"https://openalex.org/I4210139618","display_name":"Shanghai Key Laboratory of Trustworthy Computing","ror":"https://ror.org/030qbr085","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210139618"]},{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jianwen LI","raw_affiliation_strings":["Shanghai Key Laboratory of Trustworthy Computing, Software Engineering Institute, East China Normal University","Shanghai Key Laboratory of Trustworthy Computing, Software Engineering Institute, East China Normal University,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Shanghai Key Laboratory of Trustworthy Computing, Software Engineering Institute, East China Normal University","institution_ids":["https://openalex.org/I4210139618","https://openalex.org/I66867065"]},{"raw_affiliation_string":"Shanghai Key Laboratory of Trustworthy Computing, Software Engineering Institute, East China Normal University,","institution_ids":["https://openalex.org/I4210139618","https://openalex.org/I66867065"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5037309489","display_name":"Xi Wu","orcid":"https://orcid.org/0000-0001-5795-9798"},"institutions":[{"id":"https://openalex.org/I4210139618","display_name":"Shanghai Key Laboratory of Trustworthy Computing","ror":"https://ror.org/030qbr085","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210139618"]},{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xi WU","raw_affiliation_strings":["Shanghai Key Laboratory of Trustworthy Computing, Software Engineering Institute, East China Normal University","Shanghai Key Laboratory of Trustworthy Computing, Software Engineering Institute, East China Normal University,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Shanghai Key Laboratory of Trustworthy Computing, Software Engineering Institute, East China Normal University","institution_ids":["https://openalex.org/I4210139618","https://openalex.org/I66867065"]},{"raw_affiliation_string":"Shanghai Key Laboratory of Trustworthy Computing, Software Engineering Institute, East China Normal University,","institution_ids":["https://openalex.org/I4210139618","https://openalex.org/I66867065"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.8086,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.81279367,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"E97.D","issue":"9","first_page":"2356","last_page":"2370"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10734","display_name":"Information and Cyber Security","score":0.9987999796867371,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10734","display_name":"Information and Cyber Security","score":0.9987999796867371,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12000","display_name":"Systems Engineering Methodologies and Applications","score":0.9937999844551086,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11195","display_name":"Simulation Techniques and Applications","score":0.9864000082015991,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/survivability","display_name":"Survivability","score":0.9641333818435669},{"id":"https://openalex.org/keywords/dependability","display_name":"Dependability","score":0.8247553110122681},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7970139384269714},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.6662904620170593},{"id":"https://openalex.org/keywords/relation","display_name":"Relation (database)","score":0.4789638817310333},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.45709505677223206},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.44016116857528687},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.4148206114768982},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.22856587171554565},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.16732895374298096},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.12315845489501953},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.10724002122879028},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.09453937411308289}],"concepts":[{"id":"https://openalex.org/C2781133158","wikidata":"https://www.wikidata.org/wiki/Q1088669","display_name":"Survivability","level":2,"score":0.9641333818435669},{"id":"https://openalex.org/C77019957","wikidata":"https://www.wikidata.org/wiki/Q2689057","display_name":"Dependability","level":2,"score":0.8247553110122681},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7970139384269714},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.6662904620170593},{"id":"https://openalex.org/C25343380","wikidata":"https://www.wikidata.org/wiki/Q277521","display_name":"Relation (database)","level":2,"score":0.4789638817310333},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.45709505677223206},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.44016116857528687},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.4148206114768982},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.22856587171554565},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.16732895374298096},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.12315845489501953},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.10724002122879028},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.09453937411308289}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1587/transinf.2013edp7339","is_oa":true,"landing_page_url":"https://doi.org/10.1587/transinf.2013edp7339","pdf_url":"https://www.jstage.jst.go.jp/article/transinf/E97.D/9/E97.D_2013EDP7339/_pdf","source":{"id":"https://openalex.org/S2486202937","display_name":"IEICE Transactions on Information and Systems","issn_l":"0916-8532","issn":["0916-8532","1745-1361"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4320800604","host_organization_name":"Institute of Electronics, Information and Communication Engineers","host_organization_lineage":["https://openalex.org/P4320800604"],"host_organization_lineage_names":["Institute of Electronics, Information and Communication Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEICE Transactions on Information and Systems","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1587/transinf.2013edp7339","is_oa":true,"landing_page_url":"https://doi.org/10.1587/transinf.2013edp7339","pdf_url":"https://www.jstage.jst.go.jp/article/transinf/E97.D/9/E97.D_2013EDP7339/_pdf","source":{"id":"https://openalex.org/S2486202937","display_name":"IEICE Transactions on Information and Systems","issn_l":"0916-8532","issn":["0916-8532","1745-1361"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4320800604","host_organization_name":"Institute of Electronics, Information and Communication Engineers","host_organization_lineage":["https://openalex.org/P4320800604"],"host_organization_lineage_names":["Institute of Electronics, Information and Communication Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEICE Transactions on Information and Systems","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1361453996","display_name":null,"funder_award_id":"91118008","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G3976798118","display_name":null,"funder_award_id":"61361136002","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G4196750654","display_name":null,"funder_award_id":"2011AA010101","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G4467239943","display_name":null,"funder_award_id":"12511504205","funder_id":"https://openalex.org/F4320321885","funder_display_name":"Science and Technology Commission of Shanghai Municipality"},{"id":"https://openalex.org/G5661849975","display_name":null,"funder_award_id":"ZF1213","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G6139175423","display_name":null,"funder_award_id":"61321064","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G6883627342","display_name":null,"funder_award_id":"Grant No. 61361136002","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G8795910655","display_name":null,"funder_award_id":"2012AA011205","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320320671","display_name":"National Research Foundation","ror":"https://ror.org/05s0g1g46"},{"id":"https://openalex.org/F4320320943","display_name":"Danmarks Grundforskningsfond","ror":"https://ror.org/00znyv691"},{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320321885","display_name":"Science and Technology Commission of Shanghai Municipality","ror":"https://ror.org/03kt66j61"},{"id":"https://openalex.org/F4320335777","display_name":"National Key Research and Development Program of China","ror":null}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W1986361607.pdf","grobid_xml":"https://content.openalex.org/works/W1986361607.grobid-xml"},"referenced_works_count":35,"referenced_works":["https://openalex.org/W1486296353","https://openalex.org/W1493948443","https://openalex.org/W1553797634","https://openalex.org/W1555245319","https://openalex.org/W1556237564","https://openalex.org/W1721587744","https://openalex.org/W1976268573","https://openalex.org/W1991828562","https://openalex.org/W1992169345","https://openalex.org/W1999163514","https://openalex.org/W2004126529","https://openalex.org/W2004306968","https://openalex.org/W2010064667","https://openalex.org/W2035721896","https://openalex.org/W2049604087","https://openalex.org/W2066210260","https://openalex.org/W2072033902","https://openalex.org/W2087713039","https://openalex.org/W2095767682","https://openalex.org/W2117546271","https://openalex.org/W2121794002","https://openalex.org/W2123818497","https://openalex.org/W2129585540","https://openalex.org/W2131493074","https://openalex.org/W2135795876","https://openalex.org/W2141670510","https://openalex.org/W2155748644","https://openalex.org/W2169250070","https://openalex.org/W2170793790","https://openalex.org/W2911821966","https://openalex.org/W3145997230","https://openalex.org/W4245125524","https://openalex.org/W4253637600","https://openalex.org/W4255598321","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2169628522","https://openalex.org/W4252527915","https://openalex.org/W2409287660","https://openalex.org/W2233357156","https://openalex.org/W1976489385","https://openalex.org/W4256317220","https://openalex.org/W1506225852","https://openalex.org/W2387494004","https://openalex.org/W2141414364","https://openalex.org/W2131200604"],"abstract_inverted_index":{"Survivability":[0],"is":[1,87,104,117,128],"an":[2],"essential":[3],"requirement":[4,109],"of":[5,16,41,54,74,80,95,110,123],"the":[6,12,29,32,42,52,72,78,91,108,111,121,124,135,139,147],"networked":[7,97],"information":[8,98],"systems":[9],"analogous":[10],"to":[11,27,89,106,119],"dependability.":[13],"The":[14,126],"definition":[15],"survivability":[17,53,76,102,122],"proposed":[18,88,105],"by":[19],"Knight":[20],"in":[21],"[16]":[22],"provides":[23],"a":[24,38,47,55,58,64,96],"rigorous":[25],"way":[26],"define":[28],"concept.":[30],"However,":[31],"Knight's":[33,81],"specification":[34,103],"does":[35],"not":[36],"provide":[37],"behavior":[39],"model":[40,86],"system":[43,56,75,137,144],"as":[44,46],"well":[45],"verification":[48],"framework":[49,67,127],"for":[50,68],"determining":[51],"satisfying":[57],"given":[59],"specification.":[60],"This":[61],"paper":[62],"proposes":[63],"complete":[65],"formal":[66],"specifying":[69],"and":[70,93,142,146],"verifying":[71],"concept":[73],"on":[77],"basis":[79],"research.":[82],"A":[83,100,113],"computable":[84],"probabilistic":[85,114],"specify":[90],"functions":[92],"services":[94],"system.":[99,125,150],"quantified":[101],"indicate":[107],"survivability.":[112],"refinement":[115],"relation":[116],"defined":[118],"determine":[120],"then":[129],"demonstrated":[130],"with":[131],"three":[132],"case":[133],"studies:":[134],"restaurant":[136],"(RES),":[138],"Warship":[140],"Command":[141],"Control":[143],"(LWC)":[145],"Command-and-Control":[148],"(C2)":[149]},"counts_by_year":[{"year":2015,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}