IEEE - Institute of Electrical and Electronics Engineers, Inc. - A Hybrid Approach for Proving Noninterference of Java Programs

2015 IEEE 28th Computer Security Foundations Symposium (CSF)

Author(s): Ralf Kusters ; Tomasz Truderung ; Bernhard Beckert ; Daniel Bruns ; Michael Kirsten ; Martin Mohr
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 July 2015
Conference Location: Verona, Italy
Conference Date: 13 July 2015
Page(s): 305 - 319
ISBN (Electronic): 978-1-4673-7538-2
ISBN (USB): 978-1-4673-7537-5
ISSN (Electronic): 2377-5459
ISSN (Paper): 1063-6900
DOI: 10.1109/CSF.2015.28
Regular:

Several tools and approaches for proving non-interference properties for Java and other languages exist. Some of them have a high degree of automation or are even fully automatic, but over... View More

Advertisement