Centrum Wiskunde & Informatica

Analysing the BKE-security protocol with $\mu$CRL In Proceedings

S.C.C. Blom (Stefan), J.F. Groote (Jan Friso), S. Mauw (Sjouke) and A. Serebrenik (Alexander)

January 2005
A distributed algorithm for strong bisimulation reduction of state spaces Article

International Journal on Software Tools for Technology Transfer, 7(1), 74-86.

S.C.C. Blom (Stefan) and S.-M. Orzan (Simona-Mihaela)

January 2005
Distributed state space minimization Article

International Journal on Software Tools for Technology Transfer, 7(3), 280-291.

S.C.C. Blom (Stefan) and S.-M. Orzan (Simona-Mihaela)

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
Formal analysis of a fair payment protocol In Proceedings

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

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

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

January 2005
Operational semantics of security protocols In Proceedings

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

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

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

January 2005

Previous

Next