Matches in SemOpenAlex for { <https://semopenalex.org/work/W2307174906> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2307174906 endingPage "116" @default.
- W2307174906 startingPage "103" @default.
- W2307174906 abstract "Federated cloud systems increase the reliability and reduce the cost of computational support to an organisation. However, the resulting combination of secure private clouds and less secure public clouds impacts on the overall security of the system as applications need to be located within different clouds. In this paper, the entities of a federated cloud system as well as the clouds are assigned security levels of a given security lattice. Then a dynamic flow sensitive security model for a federated cloud system is introduced within which the Bell–LaPadula rules and cloud security rule can be captured. The rest of the paper demonstrates how Petri nets and the associated verification techniques could be used to analyse the security of information flow in federated cloud systems." @default.
- W2307174906 created "2016-06-24" @default.
- W2307174906 creator A5015221878 @default.
- W2307174906 creator A5036316894 @default.
- W2307174906 creator A5042490356 @default.
- W2307174906 creator A5048919001 @default.
- W2307174906 date "2016-04-01" @default.
- W2307174906 modified "2023-10-16" @default.
- W2307174906 title "Formal verification of secure information flow in cloud computing" @default.
- W2307174906 cites W1985787415 @default.
- W2307174906 cites W2003542531 @default.
- W2307174906 cites W2079825186 @default.
- W2307174906 cites W2094873755 @default.
- W2307174906 cites W2121810837 @default.
- W2307174906 cites W2129466958 @default.
- W2307174906 cites W2208727523 @default.
- W2307174906 doi "https://doi.org/10.1016/j.jisa.2016.03.002" @default.
- W2307174906 hasPublicationYear "2016" @default.
- W2307174906 type Work @default.
- W2307174906 sameAs 2307174906 @default.
- W2307174906 citedByCount "10" @default.
- W2307174906 countsByYear W23071749062016 @default.
- W2307174906 countsByYear W23071749062017 @default.
- W2307174906 countsByYear W23071749062018 @default.
- W2307174906 countsByYear W23071749062019 @default.
- W2307174906 countsByYear W23071749062021 @default.
- W2307174906 countsByYear W23071749062022 @default.
- W2307174906 crossrefType "journal-article" @default.
- W2307174906 hasAuthorship W2307174906A5015221878 @default.
- W2307174906 hasAuthorship W2307174906A5036316894 @default.
- W2307174906 hasAuthorship W2307174906A5042490356 @default.
- W2307174906 hasAuthorship W2307174906A5048919001 @default.
- W2307174906 hasBestOaLocation W23071749062 @default.
- W2307174906 hasConcept C111919701 @default.
- W2307174906 hasConcept C120314980 @default.
- W2307174906 hasConcept C121332964 @default.
- W2307174906 hasConcept C121822524 @default.
- W2307174906 hasConcept C138885662 @default.
- W2307174906 hasConcept C163258240 @default.
- W2307174906 hasConcept C184842701 @default.
- W2307174906 hasConcept C2779136372 @default.
- W2307174906 hasConcept C38652104 @default.
- W2307174906 hasConcept C38677869 @default.
- W2307174906 hasConcept C41008148 @default.
- W2307174906 hasConcept C41895202 @default.
- W2307174906 hasConcept C43214815 @default.
- W2307174906 hasConcept C62520636 @default.
- W2307174906 hasConcept C79974875 @default.
- W2307174906 hasConceptScore W2307174906C111919701 @default.
- W2307174906 hasConceptScore W2307174906C120314980 @default.
- W2307174906 hasConceptScore W2307174906C121332964 @default.
- W2307174906 hasConceptScore W2307174906C121822524 @default.
- W2307174906 hasConceptScore W2307174906C138885662 @default.
- W2307174906 hasConceptScore W2307174906C163258240 @default.
- W2307174906 hasConceptScore W2307174906C184842701 @default.
- W2307174906 hasConceptScore W2307174906C2779136372 @default.
- W2307174906 hasConceptScore W2307174906C38652104 @default.
- W2307174906 hasConceptScore W2307174906C38677869 @default.
- W2307174906 hasConceptScore W2307174906C41008148 @default.
- W2307174906 hasConceptScore W2307174906C41895202 @default.
- W2307174906 hasConceptScore W2307174906C43214815 @default.
- W2307174906 hasConceptScore W2307174906C62520636 @default.
- W2307174906 hasConceptScore W2307174906C79974875 @default.
- W2307174906 hasFunder F4320321001 @default.
- W2307174906 hasFunder F4320335777 @default.
- W2307174906 hasLocation W23071749061 @default.
- W2307174906 hasLocation W23071749062 @default.
- W2307174906 hasLocation W23071749063 @default.
- W2307174906 hasLocation W23071749064 @default.
- W2307174906 hasOpenAccess W2307174906 @default.
- W2307174906 hasPrimaryLocation W23071749061 @default.
- W2307174906 hasRelatedWork W1576192870 @default.
- W2307174906 hasRelatedWork W2034748431 @default.
- W2307174906 hasRelatedWork W2347718240 @default.
- W2307174906 hasRelatedWork W2348457772 @default.
- W2307174906 hasRelatedWork W2382347476 @default.
- W2307174906 hasRelatedWork W2798752697 @default.
- W2307174906 hasRelatedWork W3017590897 @default.
- W2307174906 hasRelatedWork W4312994702 @default.
- W2307174906 hasRelatedWork W2137013755 @default.
- W2307174906 hasRelatedWork W2554599470 @default.
- W2307174906 hasVolume "27-28" @default.
- W2307174906 isParatext "false" @default.
- W2307174906 isRetracted "false" @default.
- W2307174906 magId "2307174906" @default.
- W2307174906 workType "article" @default.