Probabilistic noninterference for multi-threaded programs

@article{Sabelfeld2000ProbabilisticNF,
  title={Probabilistic noninterference for multi-threaded programs},
  author={A. Sabelfeld and David Sands},
  journal={Proceedings 13th IEEE Computer Security Foundations Workshop. CSFW-13},
  year={2000},
  pages={200-214}
}
  • A. Sabelfeld, David Sands
  • Published 2000
  • Computer Science
  • Proceedings 13th IEEE Computer Security Foundations Workshop. CSFW-13
We present a probability-sensitive confidentiality specification-a form of probabilistic noninterference-for a small multi-threaded programming language with dynamic thread creation. Probabilistic covert channels arise from a scheduler which is probabilistic. Since scheduling policy is typically outside the language specification for multi-threaded languages, we describe how to generalise the security condition in order to define how to generalise the security condition in order to define… Expand
343 Citations
Probabilistic noninterference through weak probabilistic bisimulation
  • G. Smith
  • Computer Science
  • 16th IEEE Computer Security Foundations Workshop, 2003. Proceedings.
  • 2003
  • 74
  • Highly Influenced
  • PDF
Improved typings for probabilistic noninterference in a multi-threaded language
  • G. Smith
  • Computer Science
  • J. Comput. Secur.
  • 2006
  • 34
  • Highly Influenced
  • PDF
Effective verification of confidentiality for multi-threaded programs
  • 14
  • Highly Influenced
  • PDF
Information flow security of multi-threaded distributed programs
  • 18
  • Highly Influenced
  • PDF
Scheduler-related Confidentiality for Multi-threaded Programs
  • 2
  • Highly Influenced
  • PDF
Assumptions and Guarantees for Compositional Noninterference
  • 67
  • PDF
Typing noninterference for reactive programs
  • 30
  • Highly Influenced
  • PDF
Observational determinism for concurrent program security
  • S. Zdancewic, A. Myers
  • Computer Science
  • 16th IEEE Computer Security Foundations Workshop, 2003. Proceedings.
  • 2003
  • 241
  • Highly Influenced
  • PDF
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 40 REFERENCES
Secure information flow in a multi-threaded imperative language
  • 495
  • Highly Influential
  • PDF
Probabilistic noninterference in a concurrent language
  • 38
  • Highly Influential
  • PDF
Probabilistic noninterference in a concurrent language
  • D. Volpano, G. Smith
  • Computer Science
  • Proceedings. 11th IEEE Computer Security Foundations Workshop (Cat. No.98TB100238)
  • 1998
  • 188
  • PDF
A Per Model of Secure Information Flow in Sequential Programs
  • 167
  • PDF
A Sound Type System for Secure Flow Analysis
  • 1,112
  • Highly Influential
  • PDF
Bisimulation through Probabilistic Testing
  • 1,262
  • Highly Influential
The epistemic representation of information flow security in probabilistic systems
  • P. Syverson, J. Gray
  • Computer Science
  • Proceedings The Eighth IEEE Computer Security Foundations Workshop
  • 1995
  • 23
  • Highly Influential
  • PDF
A Taxonomy of Security Properties for Process Algebras
  • 173
Transforming out timing leaks
  • 343
Certification of programs for secure information flow
  • 1,126
  • PDF
...
1
2
3
4
...