Cjf Cas Cremers

发表

Formal methods for security protocols : three examples of the black-box approach

Sjouke Mauw, de Ep Erik Vink, Cjf Cas Cremers, 2003 .

Verification of multi-protocol attacks

Cjf Cas Cremers, 2005 .

A family of multi-party authentication protocols

Sjouke Mauw, Cjf Cas Cremers, 2006 .

Scyther : semantics and verification of security protocols

Cjf Cas Cremers, 2006 .