Matches in SemOpenAlex for { <https://semopenalex.org/work/W2979579614> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2979579614 abstract "Information flow analysis is an effective way to check useful security properties, such as whether secret information can leak to adversaries. Despite being widely investigated in the realm of programming languages, information-flow-based security analysis has not been widely studied in the domain of cyber-physical systems (CPS). CPS provide interesting challenges to traditional type-based techniques, as they model mixed discrete-continuous behaviors and are usually expressed as a composition of state machines. In this paper, we propose a lightweight static analysis methodology that enables information security properties for CPS models. We introduce a set of security rules for hybrid automata that characterizes the property of non-interference. Based on those rules, we propose an algorithm that generates security constraints between each sub-component of hybrid automata, and then transforms these constraints into a directed dependency graph to search for non-interference violations. The proposed algorithm can be applied directly to parallel compositions of automata without resorting to model-flattening techniques. Our static checker works on hybrid systems modeled in Simulink/Stateflow format and decides whether or not the model satisfies non-interference given a user-provided security annotation for each variable. Moreover, our approach can also infer the security labels of variables, allowing a designer to verify the correctness of partial security annotations. We demonstrate the potential benefits of the proposed methodology on two case studies." @default.
- W2979579614 created "2019-10-18" @default.
- W2979579614 creator A5030456600 @default.
- W2979579614 creator A5051151589 @default.
- W2979579614 creator A5054356243 @default.
- W2979579614 creator A5065059795 @default.
- W2979579614 creator A5082105260 @default.
- W2979579614 creator A5083167006 @default.
- W2979579614 date "2019-10-09" @default.
- W2979579614 modified "2023-09-23" @default.
- W2979579614 title "Detecting security leaks in hybrid systems with information flow analysis" @default.
- W2979579614 cites W1566796882 @default.
- W2979579614 cites W1908984193 @default.
- W2979579614 cites W1971954812 @default.
- W2979579614 cites W1972809722 @default.
- W2979579614 cites W1977764760 @default.
- W2979579614 cites W2004463571 @default.
- W2979579614 cites W2032594101 @default.
- W2979579614 cites W2042529046 @default.
- W2979579614 cites W2122049982 @default.
- W2979579614 cites W2149209089 @default.
- W2979579614 cites W2165194321 @default.
- W2979579614 cites W2171020812 @default.
- W2979579614 cites W2320844599 @default.
- W2979579614 cites W2798427558 @default.
- W2979579614 doi "https://doi.org/10.1145/3359986.3361212" @default.
- W2979579614 hasPublicationYear "2019" @default.
- W2979579614 type Work @default.
- W2979579614 sameAs 2979579614 @default.
- W2979579614 citedByCount "4" @default.
- W2979579614 countsByYear W29795796142021 @default.
- W2979579614 countsByYear W29795796142023 @default.
- W2979579614 crossrefType "proceedings-article" @default.
- W2979579614 hasAuthorship W2979579614A5030456600 @default.
- W2979579614 hasAuthorship W2979579614A5051151589 @default.
- W2979579614 hasAuthorship W2979579614A5054356243 @default.
- W2979579614 hasAuthorship W2979579614A5065059795 @default.
- W2979579614 hasAuthorship W2979579614A5082105260 @default.
- W2979579614 hasAuthorship W2979579614A5083167006 @default.
- W2979579614 hasBestOaLocation W29795796142 @default.
- W2979579614 hasConcept C112505250 @default.
- W2979579614 hasConcept C121822524 @default.
- W2979579614 hasConcept C138885662 @default.
- W2979579614 hasConcept C167822520 @default.
- W2979579614 hasConcept C199360897 @default.
- W2979579614 hasConcept C2779136372 @default.
- W2979579614 hasConcept C38369872 @default.
- W2979579614 hasConcept C38652104 @default.
- W2979579614 hasConcept C41008148 @default.
- W2979579614 hasConcept C41895202 @default.
- W2979579614 hasConcept C55439883 @default.
- W2979579614 hasConcept C80444323 @default.
- W2979579614 hasConceptScore W2979579614C112505250 @default.
- W2979579614 hasConceptScore W2979579614C121822524 @default.
- W2979579614 hasConceptScore W2979579614C138885662 @default.
- W2979579614 hasConceptScore W2979579614C167822520 @default.
- W2979579614 hasConceptScore W2979579614C199360897 @default.
- W2979579614 hasConceptScore W2979579614C2779136372 @default.
- W2979579614 hasConceptScore W2979579614C38369872 @default.
- W2979579614 hasConceptScore W2979579614C38652104 @default.
- W2979579614 hasConceptScore W2979579614C41008148 @default.
- W2979579614 hasConceptScore W2979579614C41895202 @default.
- W2979579614 hasConceptScore W2979579614C55439883 @default.
- W2979579614 hasConceptScore W2979579614C80444323 @default.
- W2979579614 hasLocation W29795796141 @default.
- W2979579614 hasLocation W29795796142 @default.
- W2979579614 hasOpenAccess W2979579614 @default.
- W2979579614 hasPrimaryLocation W29795796141 @default.
- W2979579614 hasRelatedWork W1480528870 @default.
- W2979579614 hasRelatedWork W1703419515 @default.
- W2979579614 hasRelatedWork W1964792881 @default.
- W2979579614 hasRelatedWork W2050696740 @default.
- W2979579614 hasRelatedWork W2160007801 @default.
- W2979579614 hasRelatedWork W2169507373 @default.
- W2979579614 hasRelatedWork W2366895548 @default.
- W2979579614 hasRelatedWork W3100211090 @default.
- W2979579614 hasRelatedWork W587052852 @default.
- W2979579614 hasRelatedWork W1944285292 @default.
- W2979579614 isParatext "false" @default.
- W2979579614 isRetracted "false" @default.
- W2979579614 magId "2979579614" @default.
- W2979579614 workType "article" @default.