{"id":"https://openalex.org/W4233871302","doi":"https://doi.org/10.1504/ijhpcn.2016.10001331","title":"Security risk analysis of IaaS based on the abstract state machine model","display_name":"Security risk analysis of IaaS based on the abstract state machine model","publication_year":2016,"publication_date":"2016-01-01","ids":{"openalex":"https://openalex.org/W4233871302","doi":"https://doi.org/10.1504/ijhpcn.2016.10001331"},"language":"en","primary_location":{"id":"doi:10.1504/ijhpcn.2016.10001331","is_oa":false,"landing_page_url":"https://doi.org/10.1504/ijhpcn.2016.10001331","pdf_url":null,"source":{"id":"https://openalex.org/S159903936","display_name":"International Journal of High Performance Computing and Networking","issn_l":"1740-0562","issn":["1740-0562","1740-0570"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310317825","host_organization_name":"Inderscience Publishers","host_organization_lineage":["https://openalex.org/P4310317825"],"host_organization_lineage_names":["Inderscience Publishers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of High Performance Computing and Networking","raw_type":"journal-article"},"type":"article","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/A5048643800","display_name":"Yu Xiao","orcid":"https://orcid.org/0000-0001-6338-4855"},"institutions":[{"id":"https://openalex.org/I37461747","display_name":"Wuhan University","ror":"https://ror.org/033vjfk17","country_code":"CN","type":"education","lineage":["https://openalex.org/I37461747"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiao Yu","raw_affiliation_strings":["School of Computer Science, Wuhan University, Wuhan, 430072, China; Key Laboratory of Aerospace Information Security and Trusted Computing, Ministry of Education, Wuhan University, Wuhan, 430072, China","Key Laboratory of Aerospace Information Security and Trusted Computing, Ministry of Education, Wuhan University, Wuhan, 430072, China","School of Computer Science, Wuhan University, Wuhan, 430072, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Science, Wuhan University, Wuhan, 430072, China; Key Laboratory of Aerospace Information Security and Trusted Computing, Ministry of Education, Wuhan University, Wuhan, 430072, China","institution_ids":["https://openalex.org/I37461747"]},{"raw_affiliation_string":"Key Laboratory of Aerospace Information Security and Trusted Computing, Ministry of Education, Wuhan University, Wuhan, 430072, China","institution_ids":["https://openalex.org/I37461747"]},{"raw_affiliation_string":"School of Computer Science, Wuhan University, Wuhan, 430072, China","institution_ids":["https://openalex.org/I37461747"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100459629","display_name":"Yang An","orcid":"https://orcid.org/0000-0002-9593-8573"},"institutions":[{"id":"https://openalex.org/I37461747","display_name":"Wuhan University","ror":"https://ror.org/033vjfk17","country_code":"CN","type":"education","lineage":["https://openalex.org/I37461747"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"An Yang","raw_affiliation_strings":["School of Computer Science, Wuhan University, Wuhan, 430072, China; Key Laboratory of Aerospace Information Security and Trusted Computing, Ministry of Education, Wuhan University, Wuhan, 430072, China","Key Laboratory of Aerospace Information Security and Trusted Computing, Ministry of Education, Wuhan University, Wuhan, 430072, China","School of Computer Science, Wuhan University, Wuhan, 430072, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Science, Wuhan University, Wuhan, 430072, China; Key Laboratory of Aerospace Information Security and Trusted Computing, Ministry of Education, Wuhan University, Wuhan, 430072, China","institution_ids":["https://openalex.org/I37461747"]},{"raw_affiliation_string":"Key Laboratory of Aerospace Information Security and Trusted Computing, Ministry of Education, Wuhan University, Wuhan, 430072, China","institution_ids":["https://openalex.org/I37461747"]},{"raw_affiliation_string":"School of Computer Science, Wuhan University, Wuhan, 430072, China","institution_ids":["https://openalex.org/I37461747"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5037640550","display_name":"Bo Zhao","orcid":"https://orcid.org/0009-0004-0436-7528"},"institutions":[{"id":"https://openalex.org/I37461747","display_name":"Wuhan University","ror":"https://ror.org/033vjfk17","country_code":"CN","type":"education","lineage":["https://openalex.org/I37461747"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhao Bo","raw_affiliation_strings":["School of Computer Science, Wuhan University, Wuhan, 430072, China; Key Laboratory of Aerospace Information Security and Trusted Computing, Ministry of Education, Wuhan University, Wuhan, 430072, China","Key Laboratory of Aerospace Information Security and Trusted Computing, Ministry of Education, Wuhan University, Wuhan, 430072, China","School of Computer Science, Wuhan University, Wuhan, 430072, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Science, Wuhan University, Wuhan, 430072, China; Key Laboratory of Aerospace Information Security and Trusted Computing, Ministry of Education, Wuhan University, Wuhan, 430072, China","institution_ids":["https://openalex.org/I37461747"]},{"raw_affiliation_string":"Key Laboratory of Aerospace Information Security and Trusted Computing, Ministry of Education, Wuhan University, Wuhan, 430072, China","institution_ids":["https://openalex.org/I37461747"]},{"raw_affiliation_string":"School of Computer Science, Wuhan University, Wuhan, 430072, China","institution_ids":["https://openalex.org/I37461747"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5052485613","display_name":"Xiang Shuang","orcid":null},"institutions":[{"id":"https://openalex.org/I37461747","display_name":"Wuhan University","ror":"https://ror.org/033vjfk17","country_code":"CN","type":"education","lineage":["https://openalex.org/I37461747"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiang Shuang","raw_affiliation_strings":["School of Computer Science, Wuhan University, Wuhan, 430072, China; Key Laboratory of Aerospace Information Security and Trusted Computing, Ministry of Education, Wuhan University, Wuhan, 430072, China","Key Laboratory of Aerospace Information Security and Trusted Computing, Ministry of Education, Wuhan University, Wuhan, 430072, China","School of Computer Science, Wuhan University, Wuhan, 430072, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Science, Wuhan University, Wuhan, 430072, China; Key Laboratory of Aerospace Information Security and Trusted Computing, Ministry of Education, Wuhan University, Wuhan, 430072, China","institution_ids":["https://openalex.org/I37461747"]},{"raw_affiliation_string":"Key Laboratory of Aerospace Information Security and Trusted Computing, Ministry of Education, Wuhan University, Wuhan, 430072, China","institution_ids":["https://openalex.org/I37461747"]},{"raw_affiliation_string":"School of Computer Science, Wuhan University, Wuhan, 430072, China","institution_ids":["https://openalex.org/I37461747"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I37461747"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.58742138,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"9","issue":"5/6","first_page":"431","last_page":"431"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10101","display_name":"Cloud Computing and Resource Management","score":0.9797999858856201,"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/T10101","display_name":"Cloud Computing and Resource Management","score":0.9797999858856201,"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/T13832","display_name":"Advanced Decision-Making Techniques","score":0.9469000101089478,"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/T12127","display_name":"Software System Performance and Reliability","score":0.9437999725341797,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8574695587158203},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.8320165872573853},{"id":"https://openalex.org/keywords/cloud-computing","display_name":"Cloud computing","score":0.8281086683273315},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.6750963926315308},{"id":"https://openalex.org/keywords/abstract-state-machines","display_name":"Abstract state machines","score":0.6355618238449097},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.5645542740821838},{"id":"https://openalex.org/keywords/enforcement","display_name":"Enforcement","score":0.5136670470237732},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.48815327882766724},{"id":"https://openalex.org/keywords/service","display_name":"Service (business)","score":0.4840051829814911},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.45040494203567505},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.40328913927078247},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.39047902822494507},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.18967950344085693},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.16029617190361023}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8574695587158203},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.8320165872573853},{"id":"https://openalex.org/C79974875","wikidata":"https://www.wikidata.org/wiki/Q483639","display_name":"Cloud computing","level":2,"score":0.8281086683273315},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.6750963926315308},{"id":"https://openalex.org/C145243422","wikidata":"https://www.wikidata.org/wiki/Q333385","display_name":"Abstract state machines","level":3,"score":0.6355618238449097},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.5645542740821838},{"id":"https://openalex.org/C2779777834","wikidata":"https://www.wikidata.org/wiki/Q4202277","display_name":"Enforcement","level":2,"score":0.5136670470237732},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.48815327882766724},{"id":"https://openalex.org/C2780378061","wikidata":"https://www.wikidata.org/wiki/Q25351891","display_name":"Service (business)","level":2,"score":0.4840051829814911},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.45040494203567505},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.40328913927078247},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.39047902822494507},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.18967950344085693},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.16029617190361023},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C136264566","wikidata":"https://www.wikidata.org/wiki/Q159810","display_name":"Economy","level":1,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1504/ijhpcn.2016.10001331","is_oa":false,"landing_page_url":"https://doi.org/10.1504/ijhpcn.2016.10001331","pdf_url":null,"source":{"id":"https://openalex.org/S159903936","display_name":"International Journal of High Performance Computing and Networking","issn_l":"1740-0562","issn":["1740-0562","1740-0570"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310317825","host_organization_name":"Inderscience Publishers","host_organization_lineage":["https://openalex.org/P4310317825"],"host_organization_lineage_names":["Inderscience Publishers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of High Performance Computing and Networking","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2098353690","https://openalex.org/W4251237796","https://openalex.org/W1504525241","https://openalex.org/W2371707945","https://openalex.org/W2348641362","https://openalex.org/W19238773","https://openalex.org/W1557832504","https://openalex.org/W1753021227","https://openalex.org/W2154046960","https://openalex.org/W2103326719"],"abstract_inverted_index":{"In":[0],"order":[1],"to":[2,113,122,146],"handle":[3],"the":[4,13,22,32,36,39,42,50,57,77,83,89,93,102,124,138,147],"problem":[5],"of":[6,9,79,105,126,141,149],"a":[7,134],"lack":[8],"formal":[10],"modelling":[11,31],"for":[12,65,137],"IaaS":[14,33,71,128,142],"and":[15,41,108,144],"its":[16],"validation,":[17],"this":[18],"paper":[19,131],"focuses":[20],"on":[21],"interactions":[23,37],"between":[24,38],"internal":[25],"components":[26],"triggered":[27],"by":[28,116],"user":[29],"behaviour,":[30],"service":[34,94,114,143],"as":[35,47,49,62],"users":[40],"entities":[43,51],"within":[44,52],"inter-cloud":[45],"platform,":[46],"well":[48],"cloud":[53,106,150],"platform.":[54,129],"We":[55],"take":[56],"abstract":[58],"state":[59],"machine":[60],"(ASM)":[61],"operation":[63],"semantics":[64],"formalising":[66],"communication":[67],"model":[68,90,118],"when":[69],"using":[70,117],"platform":[72,84],"services,":[73],"which":[74],"can":[75],"show":[76],"changes":[78],"dynamic":[80],"performance":[81,125],"about":[82],"status.":[85],"Meanwhile,":[86],"we":[87,100],"simplify":[88],"without":[91],"sacrificing":[92],"correctness":[95],"from":[96],"user's":[97],"perspective.":[98],"Finally,":[99],"give":[101],"security":[103,139],"attributes":[104],"services":[107],"find":[109],"some":[110],"threats":[111],"prone":[112],"failure":[115],"checking":[119],"tools":[120],"UPPAAL":[121],"analyse":[123],"current":[127],"This":[130],"also":[132],"provides":[133],"theory":[135],"fundamental":[136],"enforcement":[140],"contributes":[145],"prevailing":[148],"computing.":[151]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2025-10-10T00:00:00"}