Information flow security and recursive systems.

DOI10.1007/B13810MaRDI QIDQ5897373zbMATH OpenOpenAlexFDO

Authors Annalisa Bossi, Damiano Macedonio, Carla Piazza, Sabina Rossi

Publication date 23 February 2010

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

Full work available at URL https://doi.org/10.1007/b13810

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• A proof system for information flow security
• scientific article; zbMATH DE number 2086504
• Transforming processes to check and ensure information flow security
• Probabilistic information flow security in dynamic context
• scientific article; zbMATH DE number 1759625

Cited in

(9)

• Rule formats for compositional non-interference properties
• Verifying persistent security properties
• Transforming processes to check and ensure information flow security
• A proof system for information flow security
• Probabilistic information flow security in dynamic context
• scientific article; zbMATH DE number 2080702 (Why is no real title available?)
• scientific article; zbMATH DE number 1522865 (Why is no real title available?)
• scientific article; zbMATH DE number 2086504 (Why is no real title available?)
• scientific article; zbMATH DE number 1860683 (Why is no real title available?)

This page was built for publication: Information flow security and recursive systems.

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