Static analysis for secrecy and non-interference in networks of processes

DOI10.1007/3-540-44743-1_3MaRDI QIDQ4779098zbMATH OpenFDO

Authors Chiara Bodei, Flemming Nielson, Pierpaolo Degano, Hanne Riis Nielson

Publication date 24 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-44743-1_3

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Cryptography (94A60)

Recommendations

• Flow logic for Dolev–Yao secrecy in cryptographic processes
• A denotational approach to the static analysis of cryptographic processes
• Noninterference through flow analysis
• A static analysis of cryptographic processes: the denotational approach
• Static analysis for the \(\pi\)-calculus with applications to security

Cited in

(10)

• Abstract interpretation of mobile systems
• Static analysis for the \(\pi\)-calculus with applications to security
• Unwinding biological systems
• A static analysis of cryptographic processes: the denotational approach
• Bisimulation-based non-deterministic admissible interference and its application to the analysis of cryptographic protocols
• Cryptographic analysis in cubic time
• Techniques for security checking: non-interference vs control flow analysis
• Information leakage analysis by abstract interpretation
• An algebraic framework for silent preprocessing with trustless setup and active security
• Magic-sets for localised analysis of Java bytecode

This page was built for publication: Static analysis for secrecy and non-interference in networks of processes

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