37

Modeling and verification of real-time systems based on equations

Year:
2007
Language:
english
File:
PDF, 358 KB
english, 2007
39

Flaw and modification of the iKP electronic payment protocols

Year:
2003
Language:
english
File:
PDF, 84 KB
english, 2003
43

Rewriting-Based Verification of Authentication Protocols

Year:
2004
Language:
english
File:
PDF, 266 KB
english, 2004