Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
2011
Huisman, M. and Blondeel, H.-C.
(2011)
Model-checking Secure Information Flow for Multi-Threaded Programs.
In: Proceedings of the Joint Workshop on Theory of Security and Applications, TOSCA 2011, 31 March - 1 April 2011, Saarbruecken, Germany.
pp. 148-165.
Lecture Notes in Computer Science 6993.
Springer Verlag.
ISSN 0302-9743
ISBN 978-3-642-27374-2
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||