EEMCS

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

EEMCS EPrints Service


Editor: Barthe, G.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 7.

2011

Barthe, G. and Datta, A. and Etalle, S., ed. (2011) Formal aspects of security and trust : 8th international workshop, FAST 2011 Leuven, Belgium, September 12-14, 2011: revised selected papers. Lecture Notes in Computer Science 7140. Springer Verlag, Berlin. ISSN 0302-9743 ISBN 978-3-642-29419-8
Soleimanifard, S. and Gurov, D. and Huisman, M. (2011) ProMoVer: Modular Verification of Temporal Safety Properties. In: Proceedings of the 9th International Conference on Software Engineering and Formal Methods (SEFM 2011), 14-18 Nov 2011, Montevideo, Uruguay. pp. 366-381. Lecture Notes in Computer Science 7041. Springer Verlag. ISBN 978-3-642-24690-6

2010

Katoen, J.P. (2010) Advances in Probabilistic Model Checking. (Invited) In: 11th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2010, 17-19 Jan 2010, Madrid, Spain. pp. 25-25. Lecture Notes in Computer Science 5944. Springer Verlag. ISBN 978-3-642-11318-5

2009

Jacobs, B.P.F. and Pieters, W. (2009) Electronic Voting in the Netherlands: From Early Adoption to Early Abolishment. In: Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures. Lecture Notes in Computer Science 5705. Springer Verlag, Berlin, pp. 121-144. ISSN 0302-9743 ISBN 978-3-642-03828-0

2007

Corin, R.J. and Denielou, P-M. (2007) A Protocol Compiler for Secure Sessions in ML. In: 3rd Symposium on Trustworthy Global Computing (TGC) Revised Selected Papers, 5-6 Nov 2007, Sophia Antipolis, France. pp. 276-293. Lecture Notes in Computer Science 4912. Springer Verlag. ISBN 978-3-540-78662-7

2004

Hartel, P.H. and van Eck, P.A.T. and Etalle, S. and Wieringa, R.J. (2004) Modelling mobility aspects of security policies. (Invited) In: Construction and Analysis of Safe, Secure and Interoperable Smart cards (CASSIS), March 10-14, 2004, Marseille, France. pp. 172-191. Lecture Notes in Computer Science 3362. Springer-Verlag. ISBN 3-540-24287-2

2003

Gras, F. and Le Dantec, B. and Trébucq, O. and Cucinelli, B. and Leduc, M. and Simplot, D. and Bueker, U. and Barthe, G. and Michaud, B. and Hartel, P.H. and Thevenot, B. and Moedl, A. and Quisquater, J.-J. and Thomasson, J.-P. and Canto, E., ed. (2003) RESET Roadmap for European research on Smartcard rElated Technologies. Report Type UNSPECIFIED Number UNSPECIFIED

This list was generated on Thu Apr 27 21:39:09 CEST 2017.