Matches in SemOpenAlex for { <https://semopenalex.org/work/W83752226> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W83752226 abstract "Safety and security are both needed for ensuring that cyber-physical systems live up to expectations, but often an intelligent trade-off is called for, because sometimes it is impossible to obtain optimal safety at the same time as optimal security. In the context of the Quality Calculus we develop a type system for checking the extent to which safety and security goals have been met.Safety goals include showing that certain error configurations are in fact not reachable and hence do not require intelligent error handling.Security goals include showing that highly trusted communications can only be performed in highly trusted contexts. This is potentially too demanding and the Quality Calculus is therefore extended with a primitive for endorsing data to a higher trust level (accepting violations of the explicit flow) and for temporarily asserting a higher trust in the context (accepting violations of the implicit flow).This is illustrated on a worked example taken from the automotive sector and we conclude with a discussion of the theoretical properties of the type system." @default.
- W83752226 created "2016-06-24" @default.
- W83752226 creator A5012948241 @default.
- W83752226 creator A5089639449 @default.
- W83752226 date "2013-01-01" @default.
- W83752226 modified "2023-09-27" @default.
- W83752226 title "Safety versus Security in the Quality Calculus" @default.
- W83752226 cites W1451511196 @default.
- W83752226 cites W1561550178 @default.
- W83752226 cites W1819958245 @default.
- W83752226 cites W1976772592 @default.
- W83752226 cites W1999396796 @default.
- W83752226 cites W2088599499 @default.
- W83752226 cites W2103201802 @default.
- W83752226 cites W2108887121 @default.
- W83752226 cites W2132562915 @default.
- W83752226 cites W2132699727 @default.
- W83752226 cites W2137351629 @default.
- W83752226 cites W2150174204 @default.
- W83752226 cites W2169239645 @default.
- W83752226 doi "https://doi.org/10.1007/978-3-642-39698-4_18" @default.
- W83752226 hasPublicationYear "2013" @default.
- W83752226 type Work @default.
- W83752226 sameAs 83752226 @default.
- W83752226 citedByCount "5" @default.
- W83752226 countsByYear W837522262015 @default.
- W83752226 countsByYear W837522262016 @default.
- W83752226 crossrefType "book-chapter" @default.
- W83752226 hasAuthorship W83752226A5012948241 @default.
- W83752226 hasAuthorship W83752226A5089639449 @default.
- W83752226 hasConcept C111472728 @default.
- W83752226 hasConcept C127413603 @default.
- W83752226 hasConcept C138885662 @default.
- W83752226 hasConcept C146978453 @default.
- W83752226 hasConcept C151730666 @default.
- W83752226 hasConcept C2779136372 @default.
- W83752226 hasConcept C2779343474 @default.
- W83752226 hasConcept C2779530757 @default.
- W83752226 hasConcept C38652104 @default.
- W83752226 hasConcept C41008148 @default.
- W83752226 hasConcept C41895202 @default.
- W83752226 hasConcept C526921623 @default.
- W83752226 hasConcept C86803240 @default.
- W83752226 hasConceptScore W83752226C111472728 @default.
- W83752226 hasConceptScore W83752226C127413603 @default.
- W83752226 hasConceptScore W83752226C138885662 @default.
- W83752226 hasConceptScore W83752226C146978453 @default.
- W83752226 hasConceptScore W83752226C151730666 @default.
- W83752226 hasConceptScore W83752226C2779136372 @default.
- W83752226 hasConceptScore W83752226C2779343474 @default.
- W83752226 hasConceptScore W83752226C2779530757 @default.
- W83752226 hasConceptScore W83752226C38652104 @default.
- W83752226 hasConceptScore W83752226C41008148 @default.
- W83752226 hasConceptScore W83752226C41895202 @default.
- W83752226 hasConceptScore W83752226C526921623 @default.
- W83752226 hasConceptScore W83752226C86803240 @default.
- W83752226 hasLocation W837522261 @default.
- W83752226 hasOpenAccess W83752226 @default.
- W83752226 hasPrimaryLocation W837522261 @default.
- W83752226 hasRelatedWork W1481572045 @default.
- W83752226 hasRelatedWork W1849536740 @default.
- W83752226 hasRelatedWork W1966094183 @default.
- W83752226 hasRelatedWork W1992711809 @default.
- W83752226 hasRelatedWork W2037231459 @default.
- W83752226 hasRelatedWork W2090721045 @default.
- W83752226 hasRelatedWork W2104507782 @default.
- W83752226 hasRelatedWork W2121034979 @default.
- W83752226 hasRelatedWork W2131757841 @default.
- W83752226 hasRelatedWork W2136195300 @default.
- W83752226 hasRelatedWork W2137413712 @default.
- W83752226 hasRelatedWork W2285949207 @default.
- W83752226 hasRelatedWork W2549313370 @default.
- W83752226 hasRelatedWork W2770702223 @default.
- W83752226 hasRelatedWork W2806597173 @default.
- W83752226 hasRelatedWork W2883325014 @default.
- W83752226 hasRelatedWork W2907727271 @default.
- W83752226 hasRelatedWork W3196501894 @default.
- W83752226 hasRelatedWork W89120041 @default.
- W83752226 hasRelatedWork W3036025728 @default.
- W83752226 isParatext "false" @default.
- W83752226 isRetracted "false" @default.
- W83752226 magId "83752226" @default.
- W83752226 workType "book-chapter" @default.