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
Huisman, M. and Ngo, M.T.
(2011)
Scheduler-specific Confidentiality for Multi-Threaded Programs and Its Logic-Based Verification.
Technical Report TR-CTIT-11-22,
Centre for Telematics and Information Technology University of Twente, Enschede.
ISSN 1381-3625
Huisman, M. and Ngo, M.T.
(2011)
Scheduler-Specific Confidentiality for Multi-Threaded Programs and Its Logic-Based Verification.
In: 2nd International Conference on Formal Verification of Object-Oriented Software (FoVeOOS 2011), October 5-7, 2011, Turin, Italy.
pp. 260-277.
Lecture Notes in Computer Science.
Springer Verlag.
2010
Ngo, M.T.
(2010)
Verification of Confidentiality of Multi-threaded Programs.
In: IPA PhD Workshop 2010, 01-03 Nov 2010, Veldhoven, The Netherlands.
IPA.
ISBN not assigned
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||