FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1971743186> ?p ?o ?g. }

• W1971743186 abstract "Information systems must be controlled by security policies to protect them from undue accesses. Security policies are often designed by rules expressed using informal text, which implies ambiguities and inconsistencies in security rules. Our objective in this paper is to develop a formal approach to design and analyze security policies. We propose a procedure that synthesizes an automaton which implements a given security policy. Our automata-based approach can be a common basis to analyze several aspects of security policies. We use our automata-based approach to develop three analysis procedures to: verify completeness of a security policy, detect anomalies in a security policy, and detect functional discrepancies between several implementations of a security policy. We illustrate our approach using examples of security policies for a firewall." @default.
• W1971743186 created "2016-06-24" @default.
• W1971743186 creator A5009290886 @default.
• W1971743186 creator A5037301007 @default.
• W1971743186 creator A5054846379 @default.
• W1971743186 date "2014-07-01" @default.
• W1971743186 modified "2023-10-06" @default.
• W1971743186 title "Automata-based approach to design and analyze security policies" @default.
• W1971743186 cites W1546063219 @default.
• W1971743186 cites W1998822780 @default.
• W1971743186 cites W2004929506 @default.
• W1971743186 cites W2045999085 @default.
• W1971743186 cites W2080267935 @default.
• W1971743186 cites W2120255160 @default.
• W1971743186 cites W2131999424 @default.
• W1971743186 cites W2133317647 @default.
• W1971743186 cites W2140073547 @default.
• W1971743186 cites W2141335864 @default.
• W1971743186 cites W2148408186 @default.
• W1971743186 cites W2160207938 @default.
• W1971743186 cites W1571749062 @default.
• W1971743186 cites W1706456461 @default.
• W1971743186 doi "https://doi.org/10.1109/pst.2014.6890953" @default.
• W1971743186 hasPublicationYear "2014" @default.
• W1971743186 type Work @default.
• W1971743186 sameAs 1971743186 @default.
• W1971743186 citedByCount "8" @default.
• W1971743186 countsByYear W19717431862014 @default.
• W1971743186 countsByYear W19717431862015 @default.
• W1971743186 countsByYear W19717431862016 @default.
• W1971743186 countsByYear W19717431862017 @default.
• W1971743186 countsByYear W19717431862018 @default.
• W1971743186 countsByYear W19717431862019 @default.
• W1971743186 countsByYear W19717431862020 @default.
• W1971743186 crossrefType "proceedings-article" @default.
• W1971743186 hasAuthorship W1971743186A5009290886 @default.
• W1971743186 hasAuthorship W1971743186A5037301007 @default.
• W1971743186 hasAuthorship W1971743186A5054846379 @default.
• W1971743186 hasConcept C103377522 @default.
• W1971743186 hasConcept C104062141 @default.
• W1971743186 hasConcept C106301342 @default.
• W1971743186 hasConcept C111919701 @default.
• W1971743186 hasConcept C112505250 @default.
• W1971743186 hasConcept C114869243 @default.
• W1971743186 hasConcept C115903868 @default.
• W1971743186 hasConcept C117110713 @default.
• W1971743186 hasConcept C121332964 @default.
• W1971743186 hasConcept C121822524 @default.
• W1971743186 hasConcept C13159133 @default.
• W1971743186 hasConcept C139547956 @default.
• W1971743186 hasConcept C147343967 @default.
• W1971743186 hasConcept C154908896 @default.
• W1971743186 hasConcept C183915046 @default.
• W1971743186 hasConcept C184842701 @default.
• W1971743186 hasConcept C195518309 @default.
• W1971743186 hasConcept C26713055 @default.
• W1971743186 hasConcept C29983905 @default.
• W1971743186 hasConcept C38369872 @default.
• W1971743186 hasConcept C38652104 @default.
• W1971743186 hasConcept C41008148 @default.
• W1971743186 hasConcept C527648132 @default.
• W1971743186 hasConcept C62520636 @default.
• W1971743186 hasConcept C77714075 @default.
• W1971743186 hasConcept C79974875 @default.
• W1971743186 hasConcept C80444323 @default.
• W1971743186 hasConceptScore W1971743186C103377522 @default.
• W1971743186 hasConceptScore W1971743186C104062141 @default.
• W1971743186 hasConceptScore W1971743186C106301342 @default.
• W1971743186 hasConceptScore W1971743186C111919701 @default.
• W1971743186 hasConceptScore W1971743186C112505250 @default.
• W1971743186 hasConceptScore W1971743186C114869243 @default.
• W1971743186 hasConceptScore W1971743186C115903868 @default.
• W1971743186 hasConceptScore W1971743186C117110713 @default.
• W1971743186 hasConceptScore W1971743186C121332964 @default.
• W1971743186 hasConceptScore W1971743186C121822524 @default.
• W1971743186 hasConceptScore W1971743186C13159133 @default.
• W1971743186 hasConceptScore W1971743186C139547956 @default.
• W1971743186 hasConceptScore W1971743186C147343967 @default.
• W1971743186 hasConceptScore W1971743186C154908896 @default.
• W1971743186 hasConceptScore W1971743186C183915046 @default.
• W1971743186 hasConceptScore W1971743186C184842701 @default.
• W1971743186 hasConceptScore W1971743186C195518309 @default.
• W1971743186 hasConceptScore W1971743186C26713055 @default.
• W1971743186 hasConceptScore W1971743186C29983905 @default.
• W1971743186 hasConceptScore W1971743186C38369872 @default.
• W1971743186 hasConceptScore W1971743186C38652104 @default.
• W1971743186 hasConceptScore W1971743186C41008148 @default.
• W1971743186 hasConceptScore W1971743186C527648132 @default.
• W1971743186 hasConceptScore W1971743186C62520636 @default.
• W1971743186 hasConceptScore W1971743186C77714075 @default.
• W1971743186 hasConceptScore W1971743186C79974875 @default.
• W1971743186 hasConceptScore W1971743186C80444323 @default.
• W1971743186 hasLocation W19717431861 @default.
• W1971743186 hasOpenAccess W1971743186 @default.
• W1971743186 hasPrimaryLocation W19717431861 @default.
• W1971743186 hasRelatedWork W1603101253 @default.
• W1971743186 hasRelatedWork W1946116378 @default.
• W1971743186 hasRelatedWork W1975701403 @default.
• W1971743186 hasRelatedWork W1976635413 @default.
• W1971743186 hasRelatedWork W1984273237 @default.

• next