DMCA

Verifying Security Protocols: An ASM Approach (2005)

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