Centrum Wiskunde & Informatica

A syntactic criterion for injectivity of authentication protocols In Proceedings

S. Mauw (Sjouke), C.J.F. Cremers (Cas) and E.P. de Vink (Erik)

January 2005
Checking secrecy by means of partial order reduction In Proceedings

S. Mauw (Sjouke) and C.J.F. Cremers (Cas)

January 2005
Online bin packing with resource augmentation In Proceedings

L. Epstein (Lea) and R. van Stee (Rob)

January 2005
Online square and cube packing Article

Acta Informatica, 41(9), 595-606.

L. Epstein (Lea) and R. van Stee (Rob)

January 2005
Operational semantics of security protocols In Proceedings

S. Mauw (Sjouke) and C.J.F. Cremers (Cas)

January 2005
On the bisimulation congruence in chi-calculus In Proceedings

T. Chen (Taolue), T. Han and J. Lu

January 2005
Formal analysis of a fair payment protocol In Proceedings

J.G. Cederquist and M.T. Dashti (Mohammad)

January 2005
Analyzing a -model of a turntable system using Spin, CADP and UPPAAL Article

Journal of Logic and Algebraic Programming, 65(2), 51-104.

A.J. Wijs (Anton), S.P. Luttik (Bas), W.J. Fokkink (Wan) and not CWI et al

January 2005

Previous

Next