Classification of security properties. I: Information flow

DOI10.1007/3-540-45608-2_6MaRDI QIDQ4798029zbMATH OpenFDO

Authors Riccardo Focardi, Roberto Gorrieri

Publication date 18 March 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2171/21710331.htm

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Classification of security properties in a Linda-like process algebra
• Foundations of Security Analysis and Design II
• A per model of secure information flow in sequential programs
• A semantic approach to secure information flow
• A uniform approach for the definition of security properties

Cited in

(44)

• Multilevel transitive and intransitive non-interference, causally
• Coalgebraic minimization of HD-automata for the -calculus using polymorphic types
• Semantic models for information flow
• A comparison of three authentication properties.
• Rule formats for compositional non-interference properties
• Verifying persistent security properties
• CoCon: a conference management system with formally verified document confidentiality
• Classification of security properties in a Linda-like process algebra
• Information flow security in boundary ambients
• A static analysis of cryptographic processes: the denotational approach
• Controlling information release in the \(\pi\)-calculus
• On CSP refinement tests that run multiple copies of a process
• Secured information flow for asynchronous sequential processes
• Non-interference control synthesis for security timed automata
• On intransitive non-interference in some models of concurrency
• Persistent stochastic non-interference
• Ugo Montanari and Software Verification
• Synthesis of Non-Interferent Timed Systems
• Information flow in systems with schedulers. II: Refinement
• A uniform approach for the definition of security properties
• Synthesis of opaque systems with static and dynamic masks
• Typing access control and secure information flow in sessions
• A calculus of trustworthy ad hoc networks
• Informational analysis of security and integrity
• Taming Message-Passing Communication in Compositional Reasoning About Confidentiality
• Interleaving vs True Concurrency: Some Instructive Security Examples
• Persistent stochastic non-interference
• Non-interference by unfolding
• Model-driven information flow security for component-based systems
• Towards SOS meta-theory for language-based security
• Non-interference notions based on reveals and excludes relations for Petri nets
• Tools and Algorithms for the Construction and Analysis of Systems
• Action Refinement in Process Algebra and Security Issues
• Mechanizing Mathematical Reasoning
• Formal verification of differential privacy for interactive systems (extended abstract)
• Foundations of Security Analysis and Design II
• A comparison of semantic models for noninterference
• On the security and safety of AbU systems
• Only connect, securely
• Branching bisimulation semantics enables noninterference analysis of reversible systems
• Semiring-based specification approaches for quantitative security
• Noninterference analysis of reversible systems: an approach based on branching bisimilarity
• Securing interaction between threads and the scheduler in the presence of synchronization
• Tempus fugit: How to plug it

This page was built for publication: Classification of security properties. I: Information flow

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4798029)