„Information-flow Security“

Suchergebnisse

1.000+ Treffer

• Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIX
  Hameurlain, Abdelkader ; Küng, Josef ; Wagner, Roland 2016 Springer Berlin Heidelberg
• Security validation of VP-based SoCs using dynamic information flow tracking
  Goli, Mehran ; Hassan, Muhammad ; Große, Daniel ; Drechsler, Rolf
• Providing security on demand using invasive computing
  Drescher, Gabor ; Erhardt, Christoph ; Freiling, Felix C. ; Götzfried, Johannes ; Lohmann, Daniel ; Maene, Pieter ; Müller, Tilo ; Verbauwhede, Ingrid ; Weichslgartner, Andreas ; Wildermann, Stefan
• Transactions on Large-Scale Data- and Knowledge-Centered Systems LII
  Hameurlain, Abdelkader ; Tjoa, A Min 2022 Springer Berlin
• Systematic Approaches to Advanced Information Flow Analysis – and Applications to Software Security
  Mohr, Martin ; Snelting, Gregor ; Hammer, Christian 2023 KIT Scientific Publishing
• Architectural Data Flow Analysis for Detecting Violations of Confidentiality Requirements
  Seifermann, Stephan ; Reussner, Ralf H. ; Mirandola, Raffaela 2022 KIT Scientific Publishing
• Architectural Data Flow Analysis for Detecting Violations of Confidentiality Requirements
  Seifermann, Stephan ; Reussner, Ralf H. ; Mirandola, Raffaela 2022 KIT-Bibliothek
• Systematic Approaches to Advanced Information Flow Analysis – and Applications to Software Security
  Mohr, Martin ; Snelting, Gregor 2022 KIT-Bibliothek
• Security through safety – an approach to information flow control based on derivation of safety properties from a characterisation of insecure behaviour
  Nordhoff, Benedikt ; Müller-Olm, Markus 2022 Universitäts- und Landesbibliothek Münster
• Information flows to support software developers in using security APIs
  Gorski, Peter Leo ; Möller, Sebastian ; Lo Iacono, Luigi ; Fischer-Hübner, Simone 2021 Technische Universität Berlin
• Timing Sensitive Dependency Analysis and its Application to Software Security
  Hecker, Martin ; Snelting, G. 2020 KIT-Bibliothek
• Combining Static and Dynamic Program Analysis Techniques for Checking Relational Properties
  Herda, Mihai ; Beckert, B. 2020 KIT-Bibliothek
• Information flow control for java – a comprehensive approach based on path conditions in dependence Graphs
  Hammer, Christian ; Snelting, G. 2009 KIT Scientific Publishing
• Gradual security typing
  Fennell, Luminous ; Thiemann, Peter 2018 Universität
• Security and Trust Architectures for Protecting Sensitive Data on Commodity Computing Platforms
  Winandy, Marcel 2012 Shaker
• Security via Noninterference - Analyzing Information Flows
  Eggert, Sebastian 2014 Universitätsbibliothek Kiel
• Information Flow Security in Tree-Manipulating Processes
  Kovács, Máté Amade ; Seidl, Helmut ; Müller-Olm, Markus 2014 Universitätsbibliothek der TU München
• Information flow analysis for mobile code in dynamic security environments
  Grabowski, Robert ; Hofmann, Martin 2012 Universitätsbibliothek der Ludwig-Maximilians-Universität
• Provable Protection of Confidential Data in Microkernel-Based Systems
  Völp, Marcus ; Härtig, Hermann ; Poll, Erik 2011 Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden
• A uniform framework for the formal specification and verification of information flow security
  Mantel, Heiko