Automated Certification of Non-Interference in Rewriting Logic

13 years 6 months ago

Download www.imamu.edu.sa

Abstract. In this paper we propose a certification technique for noninterference of Java programs based on rewriting logic, a very general logical and semantic framework efficiently implemented in the high-level programming language Maude. Non

Mauricio Alba-Castro, María Alpuente, Santi

Real-time Traffic

FMICS 2008 | Formal Methods | Java Programs | Rewriting Logic | Semantics |

claim paper

» An Empirical Evaluation of Automated Theorem Provers in Software Certification

» Using Automated Theorem Provers to Certify Autogenerated Aerospace Software

Post Info
More Details (n/a)

Added	26 Oct 2010
Updated	26 Oct 2010
Type	Conference
Year	2008
Where	FMICS
Authors	Mauricio Alba-Castro, María Alpuente, Santiago Escobar

Comments (0)

Sciweavers

Automated Certification of Non-Interference in Rewriting Logic

FMICS 2008 | Formal Methods | Java Programs | Rewriting Logic | Semantics |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers