„noninterference“

Suchergebnisse

1.000+ Treffer

• Proving Noninterference in Multi-Agent Systems
  Müller, Alexander Christian ; Seidl, Helmut ; Esparza Estaun, Francisco Javier 2020 Universitätsbibliothek der TU München
• 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
• Security via Noninterference - Analyzing Information Flows
  Eggert, Sebastian 2014 Universitätsbibliothek Kiel
• Slicing of Concurrent Programs and its Application to Information Flow Control
  Giffhorn, Dennis ; Snelting, G. 2012 KIT-Bibliothek
• Security via Noninterference – Analyzing Information Flows
  Eggert, Sebastian 2014 Universitätsbibliothek Kiel
• Information Flow Control with System Dependence Graphs - Improving Modularity, Scalability and Precision for Object Oriented Languages
  Graf, Jürgen ; Snelting, G. 2016 KIT-Bibliothek
• Checking probabilistic noninterference using JOANA
  Snelting, Gregor ; Giffhorn, Dennis ; Graf, Jürgen ; Hammer, Christian ; Hecker, Martin ; Mohr, Martin ; Wasserrab, Daniel
• Information Flow Control in Cyclic Process Networks
  van den Heuvel, Bas ; Derakhshan, Farzaneh ; Balzer, Stephanie 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency
  Derakhshan, Farzaneh ; Balzer, Stephanie ; Yao, Yue 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Sound Type System for Secure Currency Flow
  Aceto, Luca ; Gorla, Daniele ; Lybech, Stian 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency (Artifact)
  Derakhshan, Farzaneh ; Balzer, Stephanie ; Yao, Yue
• Semantics for Noninterference with Interaction Trees (Artifact)
  Silver, Lucas ; He, Paul ; Cecchetti, Ethan ; Hirsch, Andrew K. ; Zdancewic, Steve
• Type Abstraction for Relaxed Noninterference (Artifact)
  Cruz, Raimil ; Rezk, Tamara ; Serpette, Bernard ; Tanter, Éric
• The Metatheory of Gradual Typing: State of the Art and Challenges (Invited Talk)
  Siek, Jeremy 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Semantics for Noninterference with Interaction Trees
  Silver, Lucas ; He, Paul ; Cecchetti, Ethan ; Hirsch, Andrew K. ; Zdancewic, Steve 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Sheaf Semantics of Termination-Insensitive Noninterference
  Sterling, Jonathan ; Harper, Robert 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Type Abstraction for Relaxed Noninterference
  Cruz, Raimil ; Rezk, Tamara ; Serpette, Bernard ; Tanter, Éric 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Noninterference tool orientations and maximum taper angles of conical cutters in 4-axis milling of complex channel parts
  Zhang, Wenbo ; Ren, Junxue ; Zhou, Jinhua
• Dynamic intransitive noninterference revisited
  Eggert, Sebastian ; Meyden, Ron van der