Informational analysis of security and integrity

DOI10.3233/FI-2012-763MaRDI QIDQ4902321zbMATH OpenOpenAlexFDO

Authors Damas Gruska

Publication date 14 January 2013

Published in Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3233/fi-2012-763

zbMATH Keywords

information flowinformation theorynested attackersopacity

Mathematics Subject Classification ID

Coding and information theory (compaction, compression, models of communication, encoding schemes, etc.) (aspects in computer science) (68P30) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1863164
• scientific article; zbMATH DE number 1884409
• An algebraic approach for reasoning about information flow
• Network information flow
• Process algebra contexts and security properties

Cited in

(10)

• Theoretical aspects of information security
• Factorization of behavioral integrity
• Process algebra contexts and security properties
• IT Security Analysis Best Practices and Formal Approaches
• A Formal Approach to Security Architectures
• scientific article; zbMATH DE number 1497866 (Why is no real title available?)
• Formal analysis of information flow in HOL
• Network information flow
• A systematic approach to the analysis of phenomena of the information and cyberspaces
• On integrating confidentiality and functionality in a formal method

This page was built for publication: Informational analysis of security and integrity

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