SAT-based Analysis and Quantification of Information Flow in Programs

Begutachtete Veröffentlichung in Tagungsband

Autor(en):Vladimir Klebanov, Norbert Manthey und Christian Muise
In:10th International Conference on Quantitative Evaluation of Systems (QEST 2013)
Verleger:Springer
Reihe:LNCS
Band:8054
Jahr:2013
Seiten:156-171
DOI:10.1007/978-3-642-40196-1_16

BibTeX

@inproceedings{KlebanovMM13,
 author    = {Vladimir Klebanov and Norbert Manthey and Christian Muise},
 title     = {{SAT}-based Analysis and Quantification of Information Flow in Programs},
 booktitle = {10th International Conference on Quantitative Evaluation of Systems
              ({QEST} 2013)},
 year      = {2013},
 month     = aug,
 publisher = {Springer},
 series    = {LNCS},
 volume    = {8054}, 
 pages     = {156--171},
 doi       = {10.1007/978-3-642-40196-1_16},
 venue     = {Buenos Aires, Argentina},
 eventdate = {2013-08-27/2013-08-30}
}