Login / Signup

Sustaining Property Verification of Synchronous Dependable Protocols Over Implementation.

Péter BokorMarco SerafiniÁron SisakAndrás PatariczaNeeraj Suri
Published in: HASE (2007)
Keyphrases
  • face verification
  • asynchronous communication
  • protocol specification
  • databases
  • privacy preserving
  • implementation issues
  • signature verification
  • cryptographic protocols