Merkliste 
 1 Ergebnisse 
 
1

Towards the Correctness of Security Protocols:

Debbabi, Mourad ; Mejri, Mohamed
Electronic Notes in Theoretical Computer Science.  83 (2003)  - p. 55-98 , 2003