Login / Signup

Lazy Infinite-State Analysis of Security Protocols.

David A. Basin
Published in: CQRE (1999)
Keyphrases
  • security protocols
  • databases
  • web services
  • data analysis
  • data processing