Abstract Certification of Global Non-interference in Rewriting Logic

DOI10.1007/978-3-642-17071-3_6zbMath1312.68049arXiv1006.4304OpenAlexW1862673629WikidataQ57978163 ScholiaQ57978163MaRDI QIDQ3066121

Santiago Escobar, Mauricio Alba-Castro, María Alpuente

Publication date: 8 January 2011

Published in: Formal Methods for Components and Objects (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1006.4304

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

The rewriting logic semantics project: a progress report, Twenty years of rewriting logic, Debugging Maude programs via runtime assertion checking and trace slicing, The Rewriting Logic Semantics Project: A Progress Report

Uses Software

• JML
• Maude

Cites Work

• The rewriting logic semantics project
• All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
• Abstract interpretation of operational semantics for secure information flow.
• Justification Logic and History Based Computation
• Certification of programs for secure information flow
• Systematic design of program transformation frameworks by abstract interpretation
• On flow-sensitive security types
• A logic for information flow in object-oriented programs
• Unnamed Item