A semantic approach to secure information flow
From MaRDI portal
Recommendations
- scientific article; zbMATH DE number 1692935
- A per model of secure information flow in sequential programs
- Security through safety. An approach to information flow control based on derivation of safety properties from a characterisation of insecure behaviour
- Compile-time detection of information flow in sequential programs
- scientific article; zbMATH DE number 2104621
Cited in
(52)- Inferring secrets by guided experiments
- Semantic models for information flow
- Abstractions of non-interference security: probabilistic versus possibilistic
- Spot the difference: secure multi-execution and multiple facets
- Product programs and relational program logics
- Instruction-level security analysis for information flow in stack-based assembly languages
- Formal verification of side-channel countermeasures using self-composition
- Semantic models for the security of sequential and concurrent programs
- scientific article; zbMATH DE number 1692935 (Why is no real title available?)
- scientific article; zbMATH DE number 1693432 (Why is no real title available?)
- Modular verification of procedure equivalence in the presence of memory allocation
- Implicit flows in malicious and nonmalicious code
- Information leakage analysis by abstract interpretation
- Non-termination and secure information flow
- Secure information flow by self-composition
- Modelling declassification policies using abstract domain completeness
- A semiring-based trace semantics for processes with applications to information leakage analysis
- A Policy Model for Secure Information Flow
- Assessing security threats of looping constructs
- A Principled Approach to Tracking Information Flow in the Presence of Libraries
- Secure Multi-party Computation: Information Flow of Outputs and Game Theory
- A sound analysis for secure information flow using abstract memory graphs
- Information flow in object-oriented software
- Combining Different Proof Techniques for Verifying Information Flow Security
- All Secrets Great and Small
- Secure Information Flow as a Safety Property
- Abstract Interpretation of Symbolic Execution with Explicit State Updates
- Compositional refinement in agent-based security protocols
- scientific article; zbMATH DE number 2064465 (Why is no real title available?)
- scientific article; zbMATH DE number 1538026 (Why is no real title available?)
- scientific article; zbMATH DE number 1884409 (Why is no real title available?)
- Analyzing Information Flow Properties in Assembly Code by Abstract Interpretation
- Automatic generation of history-based access control from information flow specification
- Security through safety. An approach to information flow control based on derivation of safety properties from a characterisation of insecure behaviour
- Information-flow and data-flow analysis of while-programs
- What you lose is what you leak: information leakage in declassification policies
- A verified information-flow architecture
- Information Security and Privacy
- A logic for secure memory access of abstract state machines
- Mechanizing Mathematical Reasoning
- Quantification of integrity
- A semiring-based trace semantics for processes with applications to information leakage analysis
- Static Analysis
- A per model of secure information flow in sequential programs
- Lazy self-composition for security verification
- A comparison of semantic models for noninterference
- Lightweight information flow
- Relational bytecode correlations
- Compile-time detection of information flow in sequential programs
- The shadow knows: refinement and security in sequential programs
- Formalizing non-interference for a simple bytecode language in Coq
- Integration of a security type system into a program logic
This page was built for publication: A semantic approach to secure information flow
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1566911)
