Automated Certification of Non-Interference in Rewriting Logic

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

• Type: Conference
• Year: 2008
• Where: FMICS
• Authors: Mauricio Alba-Castro, María Alpuente, Santiago Escobar
• Keywords: FMICS 2008, Formal Methods, Java Programs, Rewriting Logic, Semantics