A static analysis of cryptographic processes: the denotational approach

DOI10.1016/J.JLAP.2004.09.006MaRDI QIDQ2484412zbMATH OpenOpenAlexFDO

Authors Yanyan Li

Publication date 1 August 2005

Published in The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jlap.2004.09.006

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25)

Recommendations

• A denotational approach to the static analysis of cryptographic processes
• A calculus for cryptographic protocols: The spi calculus
• Static analysis for secrecy and non-interference in networks of processes
• Reasoning about cryptographic protocols in the spi calculus
• Simulation and analysis of cryptographic protocols

Cites work

• A calculus of mobile processes. II
• A denotational approach to the static analysis of cryptographic processes
• A domain equation for bisimulation
• A fully abstract denotational semantics for the \(\pi\)-calculus
• A fully abstract model for the \(\pi\)-calculus.
• A logic of authentication
• A logical encoding of the -calculus: Model checking mobile processes using tabled resolution
• A Powerdomain Construction
• Abstracting cryptographic protocols with tree automata
• Analyzing security protocols with secrecy types and logic programs
• Classification of security properties. I: Information flow
• Confidentiality analysis of mobile systems
• From secrecy to authenticity in security protocols
• scientific article; zbMATH DE number 3725683 (Why is no real title available?)
• scientific article; zbMATH DE number 1231615 (Why is no real title available?)
• scientific article; zbMATH DE number 1231689 (Why is no real title available?)
• scientific article; zbMATH DE number 2087554 (Why is no real title available?)
• Information flow vs. resource access in the asynchronous pi-calculus. (Extended abstract)
• Occurrence counting analysis for the pi-calculus
• On the reachability problem in cryptographic protocols
• On the security of recent protocols
• On the security of SPLICE/AS -- The authentication system in WIDE Internet
• On the symbolic reduction of processes with cryptographic functions.
• Presheaf models for the -calculus
• Secrecy and group creation
• Secure information flow as typed process behaviour
• Static analysis for secrecy and non-interference in networks of processes
• Static analysis for the \(\pi\)-calculus with applications to security
• Symbolic trace analysis of cryptographic protocols
• The -calculus: A theory of mobile processes
• The security pi-calculus and non-interference
• Towards automatic bisimilarity checking in the spi calculus

Cited in

(7)

• Static analysis for proactive security
• A denotational approach to the static analysis of cryptographic processes
• MODELLING AND ANALYSIS OF PKI-BASED SYSTEMS USING PROCESS CALCULI
• Static evidences for attack reconstruction
• Static analysis for secrecy and non-interference in networks of processes
• Theoretical Computer Science
• Verification, Model Checking, and Abstract Interpretation

Describes a project that uses

Uses Software

• MMC
• MWB

This page was built for publication: A static analysis of cryptographic processes: the denotational approach

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