Matches in SemOpenAlex for { <https://semopenalex.org/work/W3112496244> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W3112496244 endingPage "155" @default.
- W3112496244 startingPage "135" @default.
- W3112496244 abstract "The proliferation of Cyber-Physical Systems (CPSs) is raising serious security challenges. These are complex systems, integrating physical elements into automated networked systems, often containing a variety of devices, such as sensors and actuators, and requiring complex management and data storage. This makes the construction of secure CPSs a challenge, requiring not only an adequate specification of security requirements and needs related to the business domain but also an adaptation and concretion of these requirements to define a security configuration of the CPS where all its components are related. Derived from the complexity of the CPS, their configurations can be incorrect according to the requirements, and must be verified. In this paper, we propose a grammar for specifying business domain security requirements based on the CPS components. This will allow the definition of security requirements that, through a defined security feature model, will result in a configuration of services and security properties of the CPS, whose correctness can be verified. For this last stage, we have created a catalogue of feature models supported by a tool that allows the automatic verification of security configurations. To illustrate the results, the proposal has been applied to automated verification of requirements in a hydroponic system scenario." @default.
- W3112496244 created "2020-12-21" @default.
- W3112496244 creator A5009713122 @default.
- W3112496244 creator A5032305592 @default.
- W3112496244 creator A5032961418 @default.
- W3112496244 creator A5053366224 @default.
- W3112496244 creator A5074878843 @default.
- W3112496244 creator A5085482400 @default.
- W3112496244 date "2020-01-01" @default.
- W3112496244 modified "2023-10-03" @default.
- W3112496244 title "Definition and Verification of Security Configurations of Cyber-Physical Systems" @default.
- W3112496244 cites W1559762801 @default.
- W3112496244 cites W2000037545 @default.
- W3112496244 cites W2075827835 @default.
- W3112496244 cites W2089575183 @default.
- W3112496244 cites W2096765395 @default.
- W3112496244 cites W2113201637 @default.
- W3112496244 cites W2128967738 @default.
- W3112496244 cites W2144634407 @default.
- W3112496244 cites W2197762488 @default.
- W3112496244 cites W232385048 @default.
- W3112496244 cites W2329156098 @default.
- W3112496244 cites W2516619066 @default.
- W3112496244 cites W2525293855 @default.
- W3112496244 cites W2526722182 @default.
- W3112496244 cites W2552079288 @default.
- W3112496244 cites W2579357702 @default.
- W3112496244 cites W2579603034 @default.
- W3112496244 cites W2726116480 @default.
- W3112496244 cites W2870603403 @default.
- W3112496244 cites W2886368483 @default.
- W3112496244 cites W2887050683 @default.
- W3112496244 cites W2890856788 @default.
- W3112496244 cites W2891355474 @default.
- W3112496244 cites W2897344898 @default.
- W3112496244 cites W2905063408 @default.
- W3112496244 cites W2908851163 @default.
- W3112496244 cites W2926587972 @default.
- W3112496244 cites W2968076484 @default.
- W3112496244 cites W2968120690 @default.
- W3112496244 cites W2982835870 @default.
- W3112496244 cites W2994840757 @default.
- W3112496244 cites W3004779955 @default.
- W3112496244 cites W3022320788 @default.
- W3112496244 cites W37416347 @default.
- W3112496244 cites W4232820073 @default.
- W3112496244 cites W4249599063 @default.
- W3112496244 doi "https://doi.org/10.1007/978-3-030-64330-0_9" @default.
- W3112496244 hasPublicationYear "2020" @default.
- W3112496244 type Work @default.
- W3112496244 sameAs 3112496244 @default.
- W3112496244 citedByCount "2" @default.
- W3112496244 countsByYear W31124962442021 @default.
- W3112496244 countsByYear W31124962442022 @default.
- W3112496244 crossrefType "book-chapter" @default.
- W3112496244 hasAuthorship W3112496244A5009713122 @default.
- W3112496244 hasAuthorship W3112496244A5032305592 @default.
- W3112496244 hasAuthorship W3112496244A5032961418 @default.
- W3112496244 hasAuthorship W3112496244A5053366224 @default.
- W3112496244 hasAuthorship W3112496244A5074878843 @default.
- W3112496244 hasAuthorship W3112496244A5085482400 @default.
- W3112496244 hasConcept C111919701 @default.
- W3112496244 hasConcept C179768478 @default.
- W3112496244 hasConcept C38652104 @default.
- W3112496244 hasConcept C41008148 @default.
- W3112496244 hasConceptScore W3112496244C111919701 @default.
- W3112496244 hasConceptScore W3112496244C179768478 @default.
- W3112496244 hasConceptScore W3112496244C38652104 @default.
- W3112496244 hasConceptScore W3112496244C41008148 @default.
- W3112496244 hasLocation W31124962441 @default.
- W3112496244 hasOpenAccess W3112496244 @default.
- W3112496244 hasPrimaryLocation W31124962441 @default.
- W3112496244 hasRelatedWork W2467569328 @default.
- W3112496244 hasRelatedWork W2785394676 @default.
- W3112496244 hasRelatedWork W2898623289 @default.
- W3112496244 hasRelatedWork W2908278544 @default.
- W3112496244 hasRelatedWork W2914617178 @default.
- W3112496244 hasRelatedWork W3025006986 @default.
- W3112496244 hasRelatedWork W3033204818 @default.
- W3112496244 hasRelatedWork W4253619374 @default.
- W3112496244 hasRelatedWork W4292554283 @default.
- W3112496244 hasRelatedWork W4296879362 @default.
- W3112496244 isParatext "false" @default.
- W3112496244 isRetracted "false" @default.
- W3112496244 magId "3112496244" @default.
- W3112496244 workType "book-chapter" @default.