Verifying Security Protocols: An ASM Approach (2005)

Cached

Download Links

by Dominik Haneberg , Holger Grandy , Wolfgang Reif , Gerhard Schellhorn
Venue:PROC.ASM05. UNIVERSITÉ DE PARIS 12
Citations:4 - 2 self