Matches in SemOpenAlex for { <https://semopenalex.org/work/W4298568405> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W4298568405 abstract "In this report, we aim at establishing proper ways for model checking the global security of distributed systems, which are designed consisting of set of localised security policies that enforce specific issues about the security expected. The systems are formally specified following a syntax, defined in detail in this report, and their behaviour is clearly established by the Semantics, also defined in detail in this report. The systems include the formal attachment of security policies into their locations, whose intended interactions are trapped by the policies, aiming at taking access control decisions of the system, and the Semantics also takes care of this. Using the Semantics, a Labelled Transition System (LTS) can be induced for every particular system, and over this LTS some model checking tasks could be done. We identify how this LTS is indeed obtained, and propose an alternative way of model checking the not-yet-induced LTS, by using the system design directly. This may lead to over-approximation thereby producing imprecise, though safe, results. We restrict ourselves to finite systems, in the sake of being certain about the decidability of the proposed method. To illustrate the usefulness and validity of our proposal, we present 2 small case-study-like examples, where we show how the system can be specified, which policies could be added to it, and how to decide if the desired global security property is met. Finally, an Appendix is given for digging deeply into how a tool for automatically performing this task is being built, including some implementation issues. The tool takes advantage of the proposed method, and given some system and some desired global security property, it safely (i.e. without false positives) ensures satisfaction of it." @default.
- W4298568405 created "2022-10-02" @default.
- W4298568405 creator A5057361991 @default.
- W4298568405 date "2012-05-29" @default.
- W4298568405 modified "2023-09-27" @default.
- W4298568405 title "Globally reasoning about localised security policies in distributed systems" @default.
- W4298568405 doi "https://doi.org/10.48550/arxiv.1205.6465" @default.
- W4298568405 hasPublicationYear "2012" @default.
- W4298568405 type Work @default.
- W4298568405 citedByCount "0" @default.
- W4298568405 crossrefType "posted-content" @default.
- W4298568405 hasAuthorship W4298568405A5057361991 @default.
- W4298568405 hasBestOaLocation W42985684051 @default.
- W4298568405 hasConcept C110251889 @default.
- W4298568405 hasConcept C111472728 @default.
- W4298568405 hasConcept C121822524 @default.
- W4298568405 hasConcept C127413603 @default.
- W4298568405 hasConcept C138885662 @default.
- W4298568405 hasConcept C153269930 @default.
- W4298568405 hasConcept C154908896 @default.
- W4298568405 hasConcept C154945302 @default.
- W4298568405 hasConcept C177264268 @default.
- W4298568405 hasConcept C184337299 @default.
- W4298568405 hasConcept C189950617 @default.
- W4298568405 hasConcept C199360897 @default.
- W4298568405 hasConcept C201995342 @default.
- W4298568405 hasConcept C2780451532 @default.
- W4298568405 hasConcept C38652104 @default.
- W4298568405 hasConcept C41008148 @default.
- W4298568405 hasConcept C60048249 @default.
- W4298568405 hasConcept C80444323 @default.
- W4298568405 hasConceptScore W4298568405C110251889 @default.
- W4298568405 hasConceptScore W4298568405C111472728 @default.
- W4298568405 hasConceptScore W4298568405C121822524 @default.
- W4298568405 hasConceptScore W4298568405C127413603 @default.
- W4298568405 hasConceptScore W4298568405C138885662 @default.
- W4298568405 hasConceptScore W4298568405C153269930 @default.
- W4298568405 hasConceptScore W4298568405C154908896 @default.
- W4298568405 hasConceptScore W4298568405C154945302 @default.
- W4298568405 hasConceptScore W4298568405C177264268 @default.
- W4298568405 hasConceptScore W4298568405C184337299 @default.
- W4298568405 hasConceptScore W4298568405C189950617 @default.
- W4298568405 hasConceptScore W4298568405C199360897 @default.
- W4298568405 hasConceptScore W4298568405C201995342 @default.
- W4298568405 hasConceptScore W4298568405C2780451532 @default.
- W4298568405 hasConceptScore W4298568405C38652104 @default.
- W4298568405 hasConceptScore W4298568405C41008148 @default.
- W4298568405 hasConceptScore W4298568405C60048249 @default.
- W4298568405 hasConceptScore W4298568405C80444323 @default.
- W4298568405 hasLocation W42985684051 @default.
- W4298568405 hasLocation W42985684052 @default.
- W4298568405 hasLocation W42985684053 @default.
- W4298568405 hasOpenAccess W4298568405 @default.
- W4298568405 hasPrimaryLocation W42985684051 @default.
- W4298568405 hasRelatedWork W1545861088 @default.
- W4298568405 hasRelatedWork W17910728 @default.
- W4298568405 hasRelatedWork W2066575439 @default.
- W4298568405 hasRelatedWork W2107012191 @default.
- W4298568405 hasRelatedWork W2567712253 @default.
- W4298568405 hasRelatedWork W3159133453 @default.
- W4298568405 hasRelatedWork W4221153677 @default.
- W4298568405 hasRelatedWork W4286894913 @default.
- W4298568405 hasRelatedWork W4287197746 @default.
- W4298568405 hasRelatedWork W2483693574 @default.
- W4298568405 isParatext "false" @default.
- W4298568405 isRetracted "false" @default.
- W4298568405 workType "article" @default.