Sign in

SPY: Local Verification of Global Protocols.

Rumyana NeykovaNobuko YoshidaRaymond Hu
Published in: RV (2013)
Keyphrases
  • real time
  • information retrieval
  • distributed systems
  • model checking
  • face verification
  • cryptographic protocols
  • social networks
  • multiscale
  • formal methods
  • multidatabase systems
  • communication protocol