Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 6. 2011
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 May 24 05:29:34 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||