Sign in
SPY: Local Verification of Global Protocols.
Rumyana Neykova
Nobuko Yoshida
Raymond 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