Mechanizing Mathematical Reasoning

DOI10.1007/B106663MaRDI QIDQ5717455zbMATH OpenOpenAlexFDO

Authors Heiko Mantel, Axel Schairer

Publication date 10 January 2006

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

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

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1693432
• Model-driven information flow security for component-based systems
• scientific article; zbMATH DE number 1884409
• A per model of secure information flow in sequential programs
• A semantic approach to secure information flow

Cited in

(6)

• scientific article; zbMATH DE number 1693432 (Why is no real title available?)
• scientific article; zbMATH DE number 1945869 (Why is no real title available?)
• Security of multi-agent systems: a case study on comparison shopping
• Model-driven information flow security for component-based systems
• A Practical Alternative to Domain and Type Enforcement Integrity Formal Models
• scientific article; zbMATH DE number 1583798 (Why is no real title available?)

Describes a project that uses

Uses Software

• MAYA

This page was built for publication: Mechanizing Mathematical Reasoning

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