EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Editor: Mödersheim, S.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 1.

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

This list was generated on Fri Apr 28 02:45:51 CEST 2017.