Matches in SemOpenAlex for { <https://semopenalex.org/work/W2088216027> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2088216027 endingPage "784" @default.
- W2088216027 startingPage "770" @default.
- W2088216027 abstract "Modeling of access control policies, along with their implementation in code, must be an integral part of the software development process, to ensure that the proper level of security in an application is attained. Previous work of the authors in this area yielded a framework that incorporates access control at the design and code levels, through a set of new extensions to UML and a set of approaches to enfoce access control in an application (Pavlich-Mariscal et al., 2010). An essential property of the code that has not been addressed by that framework is security assurance, which, in the context of this research, is to insure that the application code behaves consistently with the access control policy. This paper proposes a security assurance mechanism that formalizes the application behavior using labeled transition systems and structural operational semantics (Plotkin, 1981). Simulation relations (Milner, 1971) are used to demonstrate the correctness of the access control code with respect to the design. To validate the approach, this paper proves correctness of two access control enforcement mechanisms that are part of our case study: a basic approach to implement access control in code and an aspect-oriented approach." @default.
- W2088216027 created "2016-06-24" @default.
- W2088216027 creator A5024141319 @default.
- W2088216027 creator A5063737128 @default.
- W2088216027 creator A5084227795 @default.
- W2088216027 date "2010-10-01" @default.
- W2088216027 modified "2023-09-27" @default.
- W2088216027 title "A framework for security assurance of access control enforcement code" @default.
- W2088216027 cites W1538208574 @default.
- W2088216027 cites W1605502983 @default.
- W2088216027 cites W1979903077 @default.
- W2088216027 cites W2017484176 @default.
- W2088216027 cites W2018658040 @default.
- W2088216027 cites W2077821847 @default.
- W2088216027 cites W2154765153 @default.
- W2088216027 cites W2171837288 @default.
- W2088216027 cites W2313814601 @default.
- W2088216027 doi "https://doi.org/10.1016/j.cose.2010.03.004" @default.
- W2088216027 hasPublicationYear "2010" @default.
- W2088216027 type Work @default.
- W2088216027 sameAs 2088216027 @default.
- W2088216027 citedByCount "15" @default.
- W2088216027 countsByYear W20882160272012 @default.
- W2088216027 countsByYear W20882160272013 @default.
- W2088216027 countsByYear W20882160272014 @default.
- W2088216027 countsByYear W20882160272016 @default.
- W2088216027 countsByYear W20882160272017 @default.
- W2088216027 countsByYear W20882160272019 @default.
- W2088216027 countsByYear W20882160272021 @default.
- W2088216027 countsByYear W20882160272022 @default.
- W2088216027 countsByYear W20882160272023 @default.
- W2088216027 crossrefType "journal-article" @default.
- W2088216027 hasAuthorship W2088216027A5024141319 @default.
- W2088216027 hasAuthorship W2088216027A5063737128 @default.
- W2088216027 hasAuthorship W2088216027A5084227795 @default.
- W2088216027 hasConcept C144133560 @default.
- W2088216027 hasConcept C177264268 @default.
- W2088216027 hasConcept C17744445 @default.
- W2088216027 hasConcept C199360897 @default.
- W2088216027 hasConcept C199539241 @default.
- W2088216027 hasConcept C2776760102 @default.
- W2088216027 hasConcept C2779777834 @default.
- W2088216027 hasConcept C29983905 @default.
- W2088216027 hasConcept C38652104 @default.
- W2088216027 hasConcept C41008148 @default.
- W2088216027 hasConcept C527648132 @default.
- W2088216027 hasConcept C527821871 @default.
- W2088216027 hasConcept C62913178 @default.
- W2088216027 hasConceptScore W2088216027C144133560 @default.
- W2088216027 hasConceptScore W2088216027C177264268 @default.
- W2088216027 hasConceptScore W2088216027C17744445 @default.
- W2088216027 hasConceptScore W2088216027C199360897 @default.
- W2088216027 hasConceptScore W2088216027C199539241 @default.
- W2088216027 hasConceptScore W2088216027C2776760102 @default.
- W2088216027 hasConceptScore W2088216027C2779777834 @default.
- W2088216027 hasConceptScore W2088216027C29983905 @default.
- W2088216027 hasConceptScore W2088216027C38652104 @default.
- W2088216027 hasConceptScore W2088216027C41008148 @default.
- W2088216027 hasConceptScore W2088216027C527648132 @default.
- W2088216027 hasConceptScore W2088216027C527821871 @default.
- W2088216027 hasConceptScore W2088216027C62913178 @default.
- W2088216027 hasIssue "7" @default.
- W2088216027 hasLocation W20882160271 @default.
- W2088216027 hasOpenAccess W2088216027 @default.
- W2088216027 hasPrimaryLocation W20882160271 @default.
- W2088216027 hasRelatedWork W2113778324 @default.
- W2088216027 hasRelatedWork W2115125546 @default.
- W2088216027 hasRelatedWork W2267467826 @default.
- W2088216027 hasRelatedWork W2371763762 @default.
- W2088216027 hasRelatedWork W3023956647 @default.
- W2088216027 hasRelatedWork W3110645317 @default.
- W2088216027 hasRelatedWork W3189065608 @default.
- W2088216027 hasRelatedWork W55497187 @default.
- W2088216027 hasRelatedWork W62219437 @default.
- W2088216027 hasRelatedWork W896362041 @default.
- W2088216027 hasVolume "29" @default.
- W2088216027 isParatext "false" @default.
- W2088216027 isRetracted "false" @default.
- W2088216027 magId "2088216027" @default.
- W2088216027 workType "article" @default.