2014 CheckingProbabilisticNoninterfe

• (Snelting et al., 2014) ⇒ Gregor Snelting, Dennis Giffhorn, Jurgen Graf, Christian Hammer, Martin Hecker, Martin Mohr, and Daniel Wasserrab. (2014). “Checking Probabilistic Noninterference Using JOANA.” In: it-Information Technology Journal, 57. DOI: 10.1515/itit-2014-1051

Subject Headings: Probabilistic Soundness, JOANA System, Software Security Analysis Task.

Cited By

• https://scholar.google.com/scholar?oi=gsb90&q=%09%0AChecking%20probabilistic%20noninterference%20using%20JOANA&lookup=0
• https://scholar.google.com/scholar?cluster=3989243652960449980&as_sdt=0,5
• https://www.degruyter.com/view/j/itit.2014.56.issue-6/itit-2014-1051/itit-2014-1051.xml

Quotes

Author Keywords

• Software security; program analysis; noninterference

Abstract

JOANA is a tool for software security analysis, checking up to 100kLOC of full multi-threaded Java. JOANA is based on sophisticated program analysis techniques and thus very precise. It includes a new algorithm guaranteeing probabilistic noninterference, named RLSOD. JOANA needs few annotations and has a nice GUI. The tool is open source and was applied in several case studies. The article presents an overview of JOANA and its underlying technology.

References

;

	Author	volume	Date Value	title	type	journal	titleUrl	doi	note	year
2014 CheckingProbabilisticNoninterfe	Gregor Snelting Dennis Giffhorn Jurgen Graf Christian Hammer Martin Hecker Martin Mohr Daniel Wasserrab			Checking Probabilistic Noninterference Using JOANA