Login / Signup

Abstraction by set-membership: verifying security protocols and web services with databases.

Sebastian Mödersheim
Published in: CCS (2010)
Keyphrases
  • databases
  • web services
  • security protocols
  • database
  • data sources
  • real time
  • wireless networks