FAST2003.bib

@ARTICLE{BK03a,
  AUTHOR = {Marcello M. Bonsangue and Joost N. Kok},
  TITLE = {Infinite intersection types},
  JOURNAL = {Inf. Comput.},
  VOLUME = {186},
  NUMBER = {2},
  YEAR = {2003},
  ISSN = {0890-5401},
  PAGES = {285--318},
  DOI = {http://dx.doi.org/10.1016/S0890-5401(03)00143-3},
  PUBLISHER = {Academic Press, Inc.}
}


@TECHREPORT{csr0313,
  AUTHOR = {L. Groenewegen, N. van Kampenhout and Vink, E. de},
  TITLE = {Coordination in Networked Organizations: the Paradigm Approach},
  INSTITUTION = {Department of Mathematics and Computer Science, Technische Universiteit Eindhoven},
  YEAR = 2003,
  NUMBER = {CSR 03/13},
  NOTE = {17pp}
}


@INPROCEEDINGS{progress03,
  AUTHOR = {A. Sokolova and Vink, E.P. de},
  TITLE = {On Relational Properties of Lumpability},
  BOOKTITLE = {Proc. PROGRESS Workshop 2003},
  PAGES = {6pp},
  YEAR = 2003,
  PUBLISHER = {STW, Utrecht}
}


@INPROCEEDINGS{FAST2003,
  AUTHOR = {C.J.F. Cremers and S. Mauw and E.P. de Vink},
  TITLE = {Defining authentication in a trace model},
  EDITORS = {T. Dimitrakos and F. Martinelli},
  BOOKTITLE = {FAST 2003},
  SERIES = {Proceedings of the first international Workshop on Formal Aspects in Security and Trust},
  ADDRESS = {Pisa},
  PUBLISHER = {IITT-CNR technical report},
  YEAR = 2003,
  PAGES = {131--145}
}


@INPROCEEDINGS{cmcs03,
  AUTHOR = {Bartels, F. and Sokolova, A. and Vink, E.P. de},
  TITLE = {A hierarchy of probabilistic system types},
  BOOKTITLE = {Proc.\ CMCS 2003},
  PAGES = {18pp},
  YEAR = 2003,
  EDITOR = {H.P. Gumm},
  PUBLISHER = {ETAPS 2003 pre-conference workshop, Warsaw}
}


@ARTICLE{nvti2003,
  AUTHOR = {C.J.F. Cremers and S. Mauw and E.P. de Vink},
  TITLE = {Formal Methods for Security Protocols: Three Examples of the Black-Box Approach},
  JOURNAL = {NVTI Newsletter},
  VOLUME = 7,
  YEAR = 2003,
  PAGES = {21--32},
  NOTE = {Newsletter of the Dutch Association for Theoretical Computer Science}
}


@INPROCEEDINGS{tacas2003,
  AUTHOR = {Chkliaev, D. and Hooman, J. and Vink, E. de},
  TITLE = {Verification and improvement of the sliding window protocol},
  BOOKTITLE = {Proc.\ TACAS 2003},
  PAGES = {15pp},
  YEAR = 2003,
  EDITOR = {H. Garavel and J. Hatcliff},
  PUBLISHER = {LNCS}
}


@INPROCEEDINGS{sec2003,
  AUTHOR = {Hartog, J. den and J. Verschuren and Vink, E. de and Vos, J. de and W. Wiersma},
  TITLE = {{PINPAS}: a tool for power analysis of smartcards},
  BOOKTITLE = {Proc.\ SEC 2003},
  PAGES = {5pp},
  YEAR = 2003,
  EDITOR = {D. Gritzalis and P. Samarati and S. Katsikas},
  PUBLISHER = {Wolters-Kluwer},
  NOTE = {IFIP WG 11.2 Small Systems Security}
}