EEMCS

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

EEMCS EPrints Service


Editor: Basin, D.A.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 2.

2004

Corin, R.J. and Etalle, S. and Hartel, P.H. and Mader, A.H. (2004) Timed Model Checking of Security Protocols. In: 2nd ACM Workshop on Formal Methods in Security Engineering: From Specifications to Code (FMSE), Fairfax, Virginia. pp. 23-32. ACM Press. ISBN 1-58113-971-3
Barthe, G. and Cederquist, J.G. and Tarento, S. (2004) A Machine-Checked Formalization of the Generic Model and the Random Oracle Model. In: 2nd International Joint Conference on Automated Reasoning, IJCAR , 4-8 Jul 2004, Cork, Ireland. pp. 385-399. Lecture Notes in Computer Science 3097. Springer-Verlag. ISBN 3-540-22345-2

This list was generated on Sun Mar 19 22:40:05 CET 2017.