References of "Cremers, C. J. F."
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailA framework for compositional verification of security protocols
Andova, S.; Cremers, C. J. F.; Gjøsteen, K. et al

in Information and Computation (2008), 206(2-4), 425-459

Detailed reference viewed: 101 (1 UL)
Full Text
Peer Reviewed
See detailInjective Synchronisation: an extension of the authentication hierarchy
Cremers, C. J. F.; Mauw, Sjouke UL; Vink, E. P. De

in Theoretical Computer Science (2006), 367(1-2), 139-161

Detailed reference viewed: 141 (0 UL)