Secure information flow for concurrent processes

DOI10.1007/3-540-44618-4_29MaRDI QIDQ4536616zbMATH OpenFDO

Authors Jan Jürjens

Publication date 28 November 2002

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

Full work available at URL https://doi.org/10.1007/3-540-44618-4_29

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) Cryptography (94A60)

Recommendations

• Probabilistic information flow in a process algebra
• Probabilistic information flow security in dynamic context
• scientific article; zbMATH DE number 2104621
• scientific article; zbMATH DE number 2064465
• Disjunctive Information Flow for Communicating Processes

Cited in

(21)

• Information flow, distributed systems, and refinement, by example
• Coordinating processes with secure spaces
• Information-flow control on ARM and POWER multicore processors
• Preservation of probabilistic information flow under refinement
• Semantic models for the security of sequential and concurrent programs
• The complexity of synchronous notions of information flow security
• On the prevention of fraud and privacy exposure in process information flow
• Secured information flow for asynchronous sequential processes
• Transforming processes to check and ensure information flow security
• Non-termination and secure information flow
• Probabilistic information flow security in dynamic context
• The complexity of synchronous notions of information flow security
• scientific article; zbMATH DE number 2064465 (Why is no real title available?)
• scientific article; zbMATH DE number 2080841 (Why is no real title available?)
• Secure information flow as typed process behaviour
• Probabilistic information flow in a process algebra
• Addressing covert termination and timing channels in concurrent information flow systems
• Model-based security engineering: managed co-evolution of security knowledge and software models
• Information flow testing
• Information flow security and recursive systems.
• Value-dependent information-flow security on weak memory models

This page was built for publication: Secure information flow for concurrent processes

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