{"id":"https://openalex.org/W2145777421","doi":"https://doi.org/10.1145/2046660.2046672","title":"Automated verification of virtualized infrastructures","display_name":"Automated verification of virtualized infrastructures","publication_year":2011,"publication_date":"2011-10-21","ids":{"openalex":"https://openalex.org/W2145777421","doi":"https://doi.org/10.1145/2046660.2046672","mag":"2145777421"},"language":"en","primary_location":{"id":"doi:10.1145/2046660.2046672","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2046660.2046672","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 3rd ACM workshop on Cloud computing security workshop","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5047292568","display_name":"S\u00f6ren Bleikertz","orcid":null},"institutions":[{"id":"https://openalex.org/I4210126328","display_name":"IBM Research - Zurich","ror":"https://ror.org/02js37d36","country_code":"CH","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210114115","https://openalex.org/I4210126328"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"S\u00f6ren Bleikertz","raw_affiliation_strings":["IBM Research - Zurich, R\u00fcschlikon, Switzerland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IBM Research - Zurich, R\u00fcschlikon, Switzerland","institution_ids":["https://openalex.org/I4210126328"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5026061564","display_name":"Thomas Gro\u00df","orcid":"https://orcid.org/0000-0002-7766-2454"},"institutions":[{"id":"https://openalex.org/I84884186","display_name":"Newcastle University","ror":"https://ror.org/01kj2bm70","country_code":"GB","type":"education","lineage":["https://openalex.org/I84884186"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Thomas Gro\u00df","raw_affiliation_strings":["University of Newcastle upon Tyne, Newcastle upon Tyne, United Kingdom"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Newcastle upon Tyne, Newcastle upon Tyne, United Kingdom","institution_ids":["https://openalex.org/I84884186"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5041754592","display_name":"Sebastian M\u00f6dersheim","orcid":"https://orcid.org/0000-0002-6901-8319"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Sebastian M\u00f6dersheim","raw_affiliation_strings":["DTU Informatics, Kgs. Lyngby, Denmark"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"DTU Informatics, Kgs. Lyngby, Denmark","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":19,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"47","last_page":"58"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11424","display_name":"Security and Verification in Computing","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11614","display_name":"Cloud Data Security Solutions","score":0.9896000027656555,"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/T10927","display_name":"Access Control and Trust","score":0.9883999824523926,"subfield":{"id":"https://openalex.org/subfields/3312","display_name":"Sociology and Political Science"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.817939281463623},{"id":"https://openalex.org/keywords/exploit","display_name":"Exploit","score":0.6570344567298889},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.5812705755233765},{"id":"https://openalex.org/keywords/scope","display_name":"Scope (computer science)","score":0.5682120323181152},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5461500883102417},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.5388211011886597},{"id":"https://openalex.org/keywords/resilience","display_name":"Resilience (materials science)","score":0.5216558575630188},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.5131295323371887},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.47421956062316895},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.45778217911720276},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.37715283036231995},{"id":"https://openalex.org/keywords/topology","display_name":"Topology (electrical circuits)","score":0.3479262590408325},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3475509583950043},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.11059781908988953},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.09262850880622864}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.817939281463623},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.6570344567298889},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5812705755233765},{"id":"https://openalex.org/C2778012447","wikidata":"https://www.wikidata.org/wiki/Q1034415","display_name":"Scope (computer science)","level":2,"score":0.5682120323181152},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5461500883102417},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.5388211011886597},{"id":"https://openalex.org/C2779585090","wikidata":"https://www.wikidata.org/wiki/Q3457762","display_name":"Resilience (materials science)","level":2,"score":0.5216558575630188},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.5131295323371887},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.47421956062316895},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.45778217911720276},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.37715283036231995},{"id":"https://openalex.org/C184720557","wikidata":"https://www.wikidata.org/wiki/Q7825049","display_name":"Topology (electrical circuits)","level":2,"score":0.3479262590408325},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3475509583950043},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.11059781908988953},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.09262850880622864},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/2046660.2046672","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2046660.2046672","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 3rd ACM workshop on Cloud computing security workshop","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.651.9554","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.651.9554","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www2.imm.dtu.dk/%7Esamo/verif-virt.pdf?origin%3Dpublication_detail","raw_type":"text"},{"id":"pmh:oai:pure.atira.dk:publications/e5f779cb-202e-454d-9f9b-4803e0d90b69","is_oa":false,"landing_page_url":"https://orbit.dtu.dk/en/publications/e5f779cb-202e-454d-9f9b-4803e0d90b69","pdf_url":null,"source":{"id":"https://openalex.org/S4306400705","display_name":"Technical University of Denmark, DTU Orbit (Technical University of Denmark, DTU)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I96673099","host_organization_name":"Technical University of Denmark","host_organization_lineage":["https://openalex.org/I96673099"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Bleikertz , S , Gross , T & M\u00f6dersheim , S A 2011 , Automated Verification of Virtualized Infrastructures . in CCSW '11 Proceedings of the 3rd ACM workshop on Cloud computing security workshop . ACM , pp. 47-58 , 3 rd ACM workshop on Cloud computing security workshop , Chicago , Illinois , United States , 21/10/2011 . https://doi.org/10.1145/2046660.2046672","raw_type":"contributionToPeriodical"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","score":0.6399999856948853,"display_name":"Industry, innovation and infrastructure"}],"awards":[{"id":"https://openalex.org/G1698220320","display_name":"Trustworthy Clouds \u2013 Privacy and Resilience for Internet-scale Critical Infrastructure","funder_award_id":"257243","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G3829048491","display_name":null,"funder_award_id":"FP7/2007-2013","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G5593277320","display_name":null,"funder_award_id":"2007-2013","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G5702163051","display_name":null,"funder_award_id":"FP7/2007","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W127845963","https://openalex.org/W1519551513","https://openalex.org/W1558464214","https://openalex.org/W1582996281","https://openalex.org/W1679534293","https://openalex.org/W1985800317","https://openalex.org/W1995761541","https://openalex.org/W2098830096","https://openalex.org/W2104588447","https://openalex.org/W2114189125","https://openalex.org/W2132544882","https://openalex.org/W2134502203","https://openalex.org/W2140069682","https://openalex.org/W2154464007","https://openalex.org/W2162325770","https://openalex.org/W2166327763","https://openalex.org/W6674727178","https://openalex.org/W6680990766"],"related_works":["https://openalex.org/W17155033","https://openalex.org/W3207760230","https://openalex.org/W2037121848","https://openalex.org/W4312733571","https://openalex.org/W2006962382","https://openalex.org/W2149716943","https://openalex.org/W4315606162","https://openalex.org/W2340807904","https://openalex.org/W1547517160","https://openalex.org/W1483297389"],"abstract_inverted_index":{"Virtualized":[0],"infrastructures":[1],"and":[2,10,22,33,44,66,90,119,188,207],"clouds":[3],"present":[4,38],"new":[5],"challenges":[6],"for":[7,125],"security":[8,28],"analysis":[9,99,205],"formal":[11],"verification:":[12],"they":[13],"are":[14,139],"complex":[15,186],"environments":[16],"that":[17,23,41,121,138,158,198],"continuously":[18],"change":[19,176],"their":[20,61,63],"shape,":[21],"give":[24,212],"rise":[25],"to":[26,77,83,92,95,141,190,208],"non-trivial":[27],"goals":[29],"such":[30],"as":[31],"isolation":[32],"failure":[34],"resilience":[35],"requirements.":[36],"We":[37,104,164],"a":[39,130,154,185,196],"platform":[40,123],"connects":[42],"declarative":[43,127],"expressive":[45],"description":[46],"languages":[47,54],"with":[48,153],"state-of-the":[49],"art":[50],"verification":[51,71,215],"methods.":[52],"The":[53,69,182],"integrate":[55],"homogeneously":[56],"descriptions":[57],"of":[58,88,113,129,133,184,203],"virtualized":[59],"infrastructures,":[60],"transformations,":[62],"desired":[64],"goals,":[65],"evaluation":[67],"strategies.":[68],"different":[70,102],"tools":[72,137,206],"range":[73],"from":[74],"model":[75],"checking":[76,142],"theorem":[78],"proving;":[79],"this":[80],"allows":[81,124],"us":[82],"exploit":[84],"the":[85,98,107,111,114,126,168,172,177,201],"complementary":[86],"strengths":[87],"methods,":[89],"also":[91,167],"understand":[93],"how":[94],"best":[96],"represent":[97],"problems":[100],"in":[101],"contexts.":[103],"consider":[105,166],"first":[106,213],"static":[108],"case":[109,156,170],"where":[110,171],"topology":[112,178,187],"virtual":[115],"infrastructure":[116],"is":[117,161,195],"fixed":[118],"demonstrate":[120],"our":[122,148,159],"specification":[128],"large":[131],"class":[132],"properties.":[134],"Even":[135],"though":[136],"specialized":[140],"particular":[143],"properties":[144],"perform":[145],"better":[146],"than":[147],"generic":[149],"approach,":[150],"we":[151,210],"show":[152],"real-world":[155],"study":[157],"approach":[160],"practically":[162],"feasible.":[163],"finally":[165],"dynamic":[169],"intruder":[173,194],"can":[174,211],"actively":[175],"(by":[179],"migrating":[180],"machines).":[181],"combination":[183],"changes":[189],"it":[191],"by":[192],"an":[193],"problem":[197],"lies":[199],"beyond":[200],"scope":[202],"previous":[204],"which":[209],"positive":[214],"results.":[216]},"counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":4},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":3},{"year":2013,"cited_by_count":4},{"year":2012,"cited_by_count":5}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}