Techniques for security checking: non-interference vs control flow analysis

DOI10.1016/S1571-0661(04)00328-7MaRDI QIDQ2841279zbMATH OpenWikidataFDO

Authors Chiara Bodei, Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli, Pierpaolo Degano

Publication date 24 July 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S1571-0661(04)00328-7

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Noninterference through flow analysis
• Theorem Proving in Higher Order Logics
• scientific article; zbMATH DE number 1696438

Cites work

• A calculus for cryptographic protocols: The spi calculus
• Cryptographic analysis in cubic time
• scientific article; zbMATH DE number 1670837 (Why is no real title available?)
• scientific article; zbMATH DE number 1696438 (Why is no real title available?)
• scientific article; zbMATH DE number 1487487 (Why is no real title available?)
• scientific article; zbMATH DE number 1834562 (Why is no real title available?)
• On the security of public key protocols
• Secrecy by typing in security protocols
• Shape analysis for mobile ambients
• Static analysis for the \(\pi\)-calculus with applications to security

Cited in

(1)

• scientific article; zbMATH DE number 1864587 (Why is no real title available?)

This page was built for publication: Techniques for security checking: non-interference vs control flow analysis

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