Zeitschriftenartikel: Understanding Probabilistic Software Leaks

[snelting13scp]

Gregor Snelting, Understanding Probabilistic Software Leaks, Science of Computer Programming, Vol. 97, Part 1, pp. 122-126, January 2015. Special Issue on New Ideas and Emerging Results in Understanding Software

Zusammenfassung

Probabilistic security leaks in multi-threaded programs exploit nondeterminism and interleaving. Probabilistic leaks does not leak secret values directly, but secret values influence the probability of public events. The article explains probabilistic leaks, and discusses various methods for checking probabilistic noninterference.

Download

[DOI]

BibTeX

@article{snelting13scp,
  title = {Understanding Probabilistic Software Leaks},
  year = {2015},
  month = jan,
  volume = {97, Part 1},
  number = {0},
  pages = {122-126},
  journal = {Science of Computer Programming},
  author = {Gregor Snelting},
  note = {Special Issue on New Ideas and Emerging Results in Understanding Software},
  url = {http://www.sciencedirect.com/science/article/pii/S016764231300292X},
  doi = {10.1016/j.scico.2013.11.008},
}

Institutsinterne Autoren

Lehrstuhlinhaber
Prof. Gregor Snelting

Projekte

Projekt

IFC for Mobile Components

VALSOFT/Joana