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

Begutachtete Veröffentlichung in Tagungsband

Autor(en):Daniel Bruns
In:Workshop on Foundations of Computer Security (FCS 2015)
Jahr: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
}