scientific article; zbMATH DE number 1948408

MaRDI QIDQ4411973zbMATH OpenFDO

Authors Andrei Sabelfeld, Heiko Mantel

Publication date 13 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2477/24770376.htm

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Data encryption (aspects in computer science) (68P25)

Recommendations

• scientific article; zbMATH DE number 1832235
• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
• A secrecy-preserving language for distributed and object-oriented systems
• scientific article; zbMATH DE number 2090700
• Transforming out timing leaks

Cited in

(11)

• A secrecy-preserving language for distributed and object-oriented systems
• Specification and static enforcement of scheduler-independent noninterference in a middleweight Java
• Type-based information flow analysis for the \(\pi\)-calculus
• Controlling information release in the \(\pi\)-calculus
• Securing the future -- an information flow analysis of a distributed OO language
• Thread algebra for noninterference
• scientific article; zbMATH DE number 1832235 (Why is no real title available?)
• scientific article; zbMATH DE number 2090700 (Why is no real title available?)
• Taming Message-Passing Communication in Compositional Reasoning About Confidentiality
• Perspectives of System Informatics
• Securing interaction between threads and the scheduler in the presence of synchronization

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4411973)