Mechanizing Mathematical Reasoning

DOI10.1007/B106663zbMATH Open1098.68588OpenAlexW2484955858MaRDI QIDQ5717455FDOQ5717455

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

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

Mathematics Subject Classification ID

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

Cited In (5)

• Title not available (Why is that?)
• Security of multi-agent systems: a case study on comparison shopping
• A Practical Alternative to Domain and Type Enforcement Integrity Formal Models
• Title not available (Why is that?)
• Title not available (Why is that?)

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)