Matches in SemOpenAlex for { <https://semopenalex.org/work/W37211907> ?p ?o ?g. }
Showing items 1 to 45 of
45
with 100 items per page.
- W37211907 abstract "This paper describes an ongoing project on the specification and automatic implementation of functional secu- rity policies. We advocate a clear separation between functional behavior and functional security requirements. We propose a formal language to specify functional security policies. We are developing techniques by which a formal functional security policy can be automatically implemented. Hence, our approach is highly inspired from model-driven engineering. Furthermore, our formal language will enabled us to use model checking techniques to verify that a security policy satisfies desire d properties." @default.
- W37211907 created "2016-06-24" @default.
- W37211907 date "2010-01-01" @default.
- W37211907 modified "2023-10-04" @default.
- W37211907 title "MODEL-DRIVEN ENGINEERING OF FUNCTIONAL SECURITY POLICIES" @default.
- W37211907 cites W1556088095 @default.
- W37211907 cites W1973853680 @default.
- W37211907 cites W2038078821 @default.
- W37211907 cites W2055877289 @default.
- W37211907 cites W2103317919 @default.
- W37211907 cites W2105782034 @default.
- W37211907 cites W2136395652 @default.
- W37211907 cites W2141696417 @default.
- W37211907 cites W2160207938 @default.
- W37211907 cites W2733433006 @default.
- W37211907 doi "https://doi.org/10.5220/0003019403740379" @default.
- W37211907 hasPublicationYear "2010" @default.
- W37211907 type Work @default.
- W37211907 sameAs 37211907 @default.
- W37211907 citedByCount "0" @default.
- W37211907 crossrefType "proceedings-article" @default.
- W37211907 hasBestOaLocation W372119071 @default.
- W37211907 hasConcept C38652104 @default.
- W37211907 hasConcept C41008148 @default.
- W37211907 hasConceptScore W37211907C38652104 @default.
- W37211907 hasConceptScore W37211907C41008148 @default.
- W37211907 hasLocation W372119071 @default.
- W37211907 hasLocation W372119072 @default.
- W37211907 hasLocation W372119073 @default.
- W37211907 hasOpenAccess W37211907 @default.
- W37211907 hasPrimaryLocation W372119071 @default.
- W37211907 hasRelatedWork W1596801655 @default.
- W37211907 hasRelatedWork W2130043461 @default.
- W37211907 hasRelatedWork W2350741829 @default.
- W37211907 hasRelatedWork W2358668433 @default.
- W37211907 hasRelatedWork W2376932109 @default.
- W37211907 hasRelatedWork W2382290278 @default.
- W37211907 hasRelatedWork W2390279801 @default.
- W37211907 hasRelatedWork W2748952813 @default.
- W37211907 hasRelatedWork W2899084033 @default.
- W37211907 hasRelatedWork W2530322880 @default.
- W37211907 isParatext "false" @default.
- W37211907 isRetracted "false" @default.
- W37211907 magId "37211907" @default.
- W37211907 workType "article" @default.