Matches in SemOpenAlex for { <https://semopenalex.org/work/W2182943897> ?p ?o ?g. }
- W2182943897 abstract "We present a method for software development in which information flow security is taken into consideration from start to finish. Initially, the user of the method (i.e., a software developer) specifies the system architecture and selects a set of security requirements (in the form of secure information flow properties) that the system must adhere to. The user then specifies each component of the system architecture using UML inspired state machines, and refines/transforms these (abstract) state machines into concrete state machines. It is shown that if the abstract specification adheres to the security requirements, then so does the concrete one provided that certain conditions are satisfied." @default.
- W2182943897 created "2016-06-24" @default.
- W2182943897 creator A5008407215 @default.
- W2182943897 creator A5023742318 @default.
- W2182943897 date "2014-01-01" @default.
- W2182943897 modified "2023-09-27" @default.
- W2182943897 title "A Method for Model-Driven Information Flow Security" @default.
- W2182943897 cites W1486178352 @default.
- W2182943897 cites W1503029938 @default.
- W2182943897 cites W1570445666 @default.
- W2182943897 cites W1596613893 @default.
- W2182943897 cites W1800631871 @default.
- W2182943897 cites W1804076355 @default.
- W2182943897 cites W1870815138 @default.
- W2182943897 cites W1977764760 @default.
- W2182943897 cites W1984801861 @default.
- W2182943897 cites W1986117326 @default.
- W2182943897 cites W1991967220 @default.
- W2182943897 cites W2010173096 @default.
- W2182943897 cites W2027060223 @default.
- W2182943897 cites W2048943476 @default.
- W2182943897 cites W2092186882 @default.
- W2182943897 cites W2096588632 @default.
- W2182943897 cites W2098783996 @default.
- W2182943897 cites W2098820900 @default.
- W2182943897 cites W2109197858 @default.
- W2182943897 cites W2116081797 @default.
- W2182943897 cites W2117320004 @default.
- W2182943897 cites W2133996557 @default.
- W2182943897 cites W2151863927 @default.
- W2182943897 cites W2156429182 @default.
- W2182943897 cites W2157014526 @default.
- W2182943897 cites W2164886052 @default.
- W2182943897 cites W2170018380 @default.
- W2182943897 doi "https://doi.org/10.4018/978-1-4666-4301-7.ch022" @default.
- W2182943897 hasPublicationYear "2014" @default.
- W2182943897 type Work @default.
- W2182943897 sameAs 2182943897 @default.
- W2182943897 citedByCount "0" @default.
- W2182943897 crossrefType "book-chapter" @default.
- W2182943897 hasAuthorship W2182943897A5008407215 @default.
- W2182943897 hasAuthorship W2182943897A5023742318 @default.
- W2182943897 hasBestOaLocation W21829438972 @default.
- W2182943897 hasConcept C115903868 @default.
- W2182943897 hasConcept C120314980 @default.
- W2182943897 hasConcept C121332964 @default.
- W2182943897 hasConcept C121822524 @default.
- W2182943897 hasConcept C138885662 @default.
- W2182943897 hasConcept C145644426 @default.
- W2182943897 hasConcept C168167062 @default.
- W2182943897 hasConcept C177264268 @default.
- W2182943897 hasConcept C199360897 @default.
- W2182943897 hasConcept C2777904410 @default.
- W2182943897 hasConcept C2779136372 @default.
- W2182943897 hasConcept C38652104 @default.
- W2182943897 hasConcept C41008148 @default.
- W2182943897 hasConcept C41895202 @default.
- W2182943897 hasConcept C48103436 @default.
- W2182943897 hasConcept C97355855 @default.
- W2182943897 hasConceptScore W2182943897C115903868 @default.
- W2182943897 hasConceptScore W2182943897C120314980 @default.
- W2182943897 hasConceptScore W2182943897C121332964 @default.
- W2182943897 hasConceptScore W2182943897C121822524 @default.
- W2182943897 hasConceptScore W2182943897C138885662 @default.
- W2182943897 hasConceptScore W2182943897C145644426 @default.
- W2182943897 hasConceptScore W2182943897C168167062 @default.
- W2182943897 hasConceptScore W2182943897C177264268 @default.
- W2182943897 hasConceptScore W2182943897C199360897 @default.
- W2182943897 hasConceptScore W2182943897C2777904410 @default.
- W2182943897 hasConceptScore W2182943897C2779136372 @default.
- W2182943897 hasConceptScore W2182943897C38652104 @default.
- W2182943897 hasConceptScore W2182943897C41008148 @default.
- W2182943897 hasConceptScore W2182943897C41895202 @default.
- W2182943897 hasConceptScore W2182943897C48103436 @default.
- W2182943897 hasConceptScore W2182943897C97355855 @default.
- W2182943897 hasLocation W21829438971 @default.
- W2182943897 hasLocation W21829438972 @default.
- W2182943897 hasLocation W21829438973 @default.
- W2182943897 hasOpenAccess W2182943897 @default.
- W2182943897 hasPrimaryLocation W21829438971 @default.
- W2182943897 hasRelatedWork W1436964480 @default.
- W2182943897 hasRelatedWork W2121319037 @default.
- W2182943897 hasRelatedWork W2171297478 @default.
- W2182943897 hasRelatedWork W2175314305 @default.
- W2182943897 hasRelatedWork W2321372852 @default.
- W2182943897 hasRelatedWork W2344412705 @default.
- W2182943897 hasRelatedWork W2556178610 @default.
- W2182943897 hasRelatedWork W2898402425 @default.
- W2182943897 hasRelatedWork W2910322686 @default.
- W2182943897 hasRelatedWork W2918561308 @default.
- W2182943897 hasRelatedWork W2949658479 @default.
- W2182943897 hasRelatedWork W3178887020 @default.
- W2182943897 hasRelatedWork W75850366 @default.
- W2182943897 hasRelatedWork W2188838959 @default.
- W2182943897 hasRelatedWork W2396640381 @default.
- W2182943897 hasRelatedWork W2752734298 @default.
- W2182943897 hasRelatedWork W2849804634 @default.
- W2182943897 hasRelatedWork W2877340041 @default.
- W2182943897 hasRelatedWork W2965865729 @default.
- W2182943897 hasRelatedWork W2965952025 @default.