Matches in SemOpenAlex for { <https://semopenalex.org/work/W2214330154> ?p ?o ?g. }
- W2214330154 abstract "Security design patterns are usually described using a variety of UML diagrams beside textual statements. Because, UML class diagrams are used to describe the structural aspects and UML sequence and/or activity diagrams are used to describe the behavioral aspects. So, when implementing, verifying, and/or detecting instances of those patterns, the issue of formality is raised. Many researchers have tried to formalize UML diagrams, however, loss of information and other problems were found. It is important that a security pattern is implemented correctly as incorrect implementation might result into a security flaw. This paper is the second of a series of papers for representing security patterns in Codecharts. We introduce using Codecharts to formally model the structural aspects of security patterns. In this paper, we show formal modelling of Single Access point pattern (SAP) in Codecharts. Furthermore, we show how TTP Toolkit is employed to verify design conformance of SAP in Java Authentication and Authorization Service (JAAS)." @default.
- W2214330154 created "2016-06-24" @default.
- W2214330154 creator A5002783919 @default.
- W2214330154 creator A5035871903 @default.
- W2214330154 creator A5076400140 @default.
- W2214330154 date "2015-06-01" @default.
- W2214330154 modified "2023-09-23" @default.
- W2214330154 title "Conformance checking of single access point pattern in JAAS using codecharts" @default.
- W2214330154 cites W1555563750 @default.
- W2214330154 cites W1564637213 @default.
- W2214330154 cites W1670748022 @default.
- W2214330154 cites W1806068651 @default.
- W2214330154 cites W1817859439 @default.
- W2214330154 cites W1830858119 @default.
- W2214330154 cites W1982030536 @default.
- W2214330154 cites W1983357064 @default.
- W2214330154 cites W1994499229 @default.
- W2214330154 cites W1997528192 @default.
- W2214330154 cites W2015151048 @default.
- W2214330154 cites W2060422862 @default.
- W2214330154 cites W2098608032 @default.
- W2214330154 cites W2114836483 @default.
- W2214330154 cites W2133420245 @default.
- W2214330154 cites W2148449668 @default.
- W2214330154 cites W2160060953 @default.
- W2214330154 cites W2164045439 @default.
- W2214330154 cites W2164510965 @default.
- W2214330154 cites W2170560770 @default.
- W2214330154 cites W2259667061 @default.
- W2214330154 cites W2294407885 @default.
- W2214330154 cites W2533350908 @default.
- W2214330154 cites W8871596 @default.
- W2214330154 doi "https://doi.org/10.1109/wcitca.2015.7367023" @default.
- W2214330154 hasPublicationYear "2015" @default.
- W2214330154 type Work @default.
- W2214330154 sameAs 2214330154 @default.
- W2214330154 citedByCount "0" @default.
- W2214330154 crossrefType "proceedings-article" @default.
- W2214330154 hasAuthorship W2214330154A5002783919 @default.
- W2214330154 hasAuthorship W2214330154A5035871903 @default.
- W2214330154 hasAuthorship W2214330154A5076400140 @default.
- W2214330154 hasConcept C115903868 @default.
- W2214330154 hasConcept C138885662 @default.
- W2214330154 hasConcept C145644426 @default.
- W2214330154 hasConcept C146939238 @default.
- W2214330154 hasConcept C148417208 @default.
- W2214330154 hasConcept C153185123 @default.
- W2214330154 hasConcept C154945302 @default.
- W2214330154 hasConcept C161756209 @default.
- W2214330154 hasConcept C199360897 @default.
- W2214330154 hasConcept C202446494 @default.
- W2214330154 hasConcept C2777159308 @default.
- W2214330154 hasConcept C2777212361 @default.
- W2214330154 hasConcept C2777904410 @default.
- W2214330154 hasConcept C38652104 @default.
- W2214330154 hasConcept C41008148 @default.
- W2214330154 hasConcept C41298492 @default.
- W2214330154 hasConcept C41895202 @default.
- W2214330154 hasConcept C64219723 @default.
- W2214330154 hasConceptScore W2214330154C115903868 @default.
- W2214330154 hasConceptScore W2214330154C138885662 @default.
- W2214330154 hasConceptScore W2214330154C145644426 @default.
- W2214330154 hasConceptScore W2214330154C146939238 @default.
- W2214330154 hasConceptScore W2214330154C148417208 @default.
- W2214330154 hasConceptScore W2214330154C153185123 @default.
- W2214330154 hasConceptScore W2214330154C154945302 @default.
- W2214330154 hasConceptScore W2214330154C161756209 @default.
- W2214330154 hasConceptScore W2214330154C199360897 @default.
- W2214330154 hasConceptScore W2214330154C202446494 @default.
- W2214330154 hasConceptScore W2214330154C2777159308 @default.
- W2214330154 hasConceptScore W2214330154C2777212361 @default.
- W2214330154 hasConceptScore W2214330154C2777904410 @default.
- W2214330154 hasConceptScore W2214330154C38652104 @default.
- W2214330154 hasConceptScore W2214330154C41008148 @default.
- W2214330154 hasConceptScore W2214330154C41298492 @default.
- W2214330154 hasConceptScore W2214330154C41895202 @default.
- W2214330154 hasConceptScore W2214330154C64219723 @default.
- W2214330154 hasLocation W22143301541 @default.
- W2214330154 hasOpenAccess W2214330154 @default.
- W2214330154 hasPrimaryLocation W22143301541 @default.
- W2214330154 hasRelatedWork W1555207150 @default.
- W2214330154 hasRelatedWork W1557655636 @default.
- W2214330154 hasRelatedWork W1573154295 @default.
- W2214330154 hasRelatedWork W1965856276 @default.
- W2214330154 hasRelatedWork W2062181800 @default.
- W2214330154 hasRelatedWork W2065519647 @default.
- W2214330154 hasRelatedWork W2065916174 @default.
- W2214330154 hasRelatedWork W2081088487 @default.
- W2214330154 hasRelatedWork W2099746723 @default.
- W2214330154 hasRelatedWork W2107978050 @default.
- W2214330154 hasRelatedWork W2119995472 @default.
- W2214330154 hasRelatedWork W2123986639 @default.
- W2214330154 hasRelatedWork W2127970060 @default.
- W2214330154 hasRelatedWork W2129809495 @default.
- W2214330154 hasRelatedWork W2131538533 @default.
- W2214330154 hasRelatedWork W2158162168 @default.
- W2214330154 hasRelatedWork W2159723285 @default.
- W2214330154 hasRelatedWork W2187609456 @default.
- W2214330154 hasRelatedWork W2567780019 @default.
- W2214330154 hasRelatedWork W916309525 @default.