Home  |  deutsch  |  Legals  |  Data Protection  |  Sitemap  |  KIT

A Theorem Proving Approach to Secure Information Flow in Concurrent Programs (extended abstract)

Reviewed Paper In Proceedings

Author(s):Daniel Bruns
In:Workshop on Foundations of Computer Security (FCS 2015)
Year:2015

BibTeX

@InProceedings{Bruns15a,
  author	= {Daniel Bruns},
  title		= {A Theorem Proving Approach to Secure Information Flow in
		   Concurrent Programs (extended abstract)},
  booktitle	= {Workshop on Foundations of Computer Security (FCS 2015)},
  editor	= {Deepak Garg and Boris K{\"o}pf},
  language	= {english},
  year		= 2015,
  month		= jul
}