Matches in SemOpenAlex for { <https://semopenalex.org/work/W166153009> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W166153009 endingPage "178" @default.
- W166153009 startingPage "167" @default.
- W166153009 abstract "Defining security objectives for industrial control scenarios is a challenging task due to the subtle interactions between system components and because security goals are often far from obvious. Moreover, there is a persistent gap between formal models for channels and adversaries (usually, transition systems) and models for control systems (differential or recurrent equations). To bind these two realms, we translate control systems into transition systems by means of an abstraction with variable time granularity and compose them with a channel model that is controlled by Dolev-Yao adversaries. This opens the road for automatic reasoning about the formal model of a control system using model checkers in a context where the communication channel is tampered with. We address a security objective that has so far largely eluded in models, namely freshness, which is highly relevant for control systems. Beyond the traditional resilience to replay attacks, we point out several flavours of freshness which are often overlooked, e.g., ordering and bounded lifespan. We formalize these notions and show that their absence can lead to attacks that subvert the control system. Finally, we build a proof-of-concept implementation that we use to determine attacks on a simple model which clearly shows that real-world scenarios are within reach." @default.
- W166153009 created "2016-06-24" @default.
- W166153009 creator A5014069349 @default.
- W166153009 creator A5048951454 @default.
- W166153009 date "2013-01-01" @default.
- W166153009 modified "2023-09-25" @default.
- W166153009 title "Bridging Dolev-Yao Adversaries and Control Systems with Time-Sensitive Channels" @default.
- W166153009 cites W1494883589 @default.
- W166153009 cites W1498421030 @default.
- W166153009 cites W1596447773 @default.
- W166153009 cites W1997070622 @default.
- W166153009 cites W2011979623 @default.
- W166153009 cites W2090771707 @default.
- W166153009 cites W2136071609 @default.
- W166153009 cites W2138769968 @default.
- W166153009 cites W2157961892 @default.
- W166153009 cites W2158469273 @default.
- W166153009 cites W2162325770 @default.
- W166153009 cites W2175661655 @default.
- W166153009 doi "https://doi.org/10.1007/978-3-319-03964-0_15" @default.
- W166153009 hasPublicationYear "2013" @default.
- W166153009 type Work @default.
- W166153009 sameAs 166153009 @default.
- W166153009 citedByCount "0" @default.
- W166153009 crossrefType "book-chapter" @default.
- W166153009 hasAuthorship W166153009A5014069349 @default.
- W166153009 hasAuthorship W166153009A5048951454 @default.
- W166153009 hasBestOaLocation W1661530092 @default.
- W166153009 hasConcept C110251889 @default.
- W166153009 hasConcept C111472728 @default.
- W166153009 hasConcept C120314980 @default.
- W166153009 hasConcept C124304363 @default.
- W166153009 hasConcept C127162648 @default.
- W166153009 hasConcept C138885662 @default.
- W166153009 hasConcept C151730666 @default.
- W166153009 hasConcept C174348530 @default.
- W166153009 hasConcept C2779343474 @default.
- W166153009 hasConcept C31258907 @default.
- W166153009 hasConcept C38652104 @default.
- W166153009 hasConcept C41008148 @default.
- W166153009 hasConcept C80444323 @default.
- W166153009 hasConcept C86803240 @default.
- W166153009 hasConcept C95713431 @default.
- W166153009 hasConceptScore W166153009C110251889 @default.
- W166153009 hasConceptScore W166153009C111472728 @default.
- W166153009 hasConceptScore W166153009C120314980 @default.
- W166153009 hasConceptScore W166153009C124304363 @default.
- W166153009 hasConceptScore W166153009C127162648 @default.
- W166153009 hasConceptScore W166153009C138885662 @default.
- W166153009 hasConceptScore W166153009C151730666 @default.
- W166153009 hasConceptScore W166153009C174348530 @default.
- W166153009 hasConceptScore W166153009C2779343474 @default.
- W166153009 hasConceptScore W166153009C31258907 @default.
- W166153009 hasConceptScore W166153009C38652104 @default.
- W166153009 hasConceptScore W166153009C41008148 @default.
- W166153009 hasConceptScore W166153009C80444323 @default.
- W166153009 hasConceptScore W166153009C86803240 @default.
- W166153009 hasConceptScore W166153009C95713431 @default.
- W166153009 hasLocation W1661530091 @default.
- W166153009 hasLocation W1661530092 @default.
- W166153009 hasOpenAccess W166153009 @default.
- W166153009 hasPrimaryLocation W1661530091 @default.
- W166153009 hasRelatedWork W142178511 @default.
- W166153009 hasRelatedWork W2003959877 @default.
- W166153009 hasRelatedWork W2073429557 @default.
- W166153009 hasRelatedWork W2098672555 @default.
- W166153009 hasRelatedWork W2105941113 @default.
- W166153009 hasRelatedWork W2131630752 @default.
- W166153009 hasRelatedWork W2154822190 @default.
- W166153009 hasRelatedWork W2177212599 @default.
- W166153009 hasRelatedWork W278680301 @default.
- W166153009 hasRelatedWork W2522597310 @default.
- W166153009 isParatext "false" @default.
- W166153009 isRetracted "false" @default.
- W166153009 magId "166153009" @default.
- W166153009 workType "book-chapter" @default.