Centrum Wiskunde & Informatica

Onderzoekscentrum West, Aflevering 45 Article

I/O ICT Onderzoek, 2(1)

P. Klint (Paul)

January 2005
An intruder model for verifying termination in security protocols Tech Report

J.G. Cederquist

January 2005
On the quest for impartiality: Design and analysis of a fair non-repudiation protocol Tech Report

J.G. Cederquist

January 2005
Towards model-based test generation and validation for TTCN3 Tech Report

W.J. Fokkink (Wan), P.H. Deussen, N. Ioustinova (Natalia), J. Seubers and J.C. van de Pol (Jaco)

January 2005
A distributed tool for breadth-first state space generation Software

B. Lisser (Bert)

January 2005
several tools for TT-MEDAL, Tipsy, etc, and maintained the distributed software for FACS Software

B. Lisser (Bert)

January 2005
(a) object-oriented layer library for the µ CRL library, (b) object-oriented AST library for Aldébaran LTSs, (c) µ CRL specification abstractor (reengineering based on (a)), (d) abstract test trace selector (based on (b)), (e) test data constraint generat Software

J.R. Calamé (Jens)

January 2005
several beam search algorithms in the µ CRL toolset Software

A.J. Wijs (Anton)

January 2005

Previous

Next