| [1] |
Marcello M. Bonsangue and Joost N. Kok.
Infinite intersection types.
Inf. Comput., 186(2):285-318, 2003. [ bib ] |
| [2] |
N. van Kampenhout L. Groenewegen and E. de Vink.
Coordination in networked organizations: the paradigm approach.
Technical Report CSR 03/13, Department of Mathematics and Computer
Science, Technische Universiteit Eindhoven, 2003.
17pp. [ bib ] |
| [3] |
A. Sokolova and E.P. de Vink.
On relational properties of lumpability.
In Proc. PROGRESS Workshop 2003, page 6pp. STW, Utrecht, 2003. [ bib ] |
| [4] |
C.J.F. Cremers, S. Mauw, and E.P. de Vink.
Defining authentication in a trace model.
In FAST 2003, Proceedings of the first international Workshop
on Formal Aspects in Security and Trust, pages 131-145, Pisa, 2003. IITT-CNR
technical report. [ bib ] |
| [5] |
F. Bartels, A. Sokolova, and E.P. de Vink.
A hierarchy of probabilistic system types.
In H.P. Gumm, editor, Proc. CMCS 2003, page 18pp. ETAPS 2003
pre-conference workshop, Warsaw, 2003. [ bib ] |
| [6] |
C.J.F. Cremers, S. Mauw, and E.P. de Vink.
Formal methods for security protocols: Three examples of the
black-box approach.
NVTI Newsletter, 7:21-32, 2003.
Newsletter of the Dutch Association for Theoretical Computer Science. [ bib ] |
| [7] |
D. Chkliaev, J. Hooman, and E. de Vink.
Verification and improvement of the sliding window protocol.
In H. Garavel and J. Hatcliff, editors, Proc. TACAS 2003, page
15pp. LNCS, 2003. [ bib ] |
| [8] |
J. den Hartog, J. Verschuren, E. de Vink, J. de Vos, and W. Wiersma.
PINPAS: a tool for power analysis of smartcards.
In D. Gritzalis, P. Samarati, and S. Katsikas, editors, Proc. SEC 2003, page 5pp. Wolters-Kluwer, 2003.
IFIP WG 11.2 Small Systems Security. [ bib ] |