Login / Signup

Symbolic and Cryptographic Analysis of the Secure WS-ReliableMessaging Scenario.

Michael BackesSebastian MödersheimBirgit PfitzmannLuca Viganò
Published in: FoSSaCS (2006)
Keyphrases
  • lightweight
  • database
  • genetic algorithm
  • statistical analysis
  • website
  • image analysis
  • distributed systems
  • access control
  • smart card
  • quantitative analysis