Login / Signup

Integrating Verification, Testing, and Learning for Cryptographic Protocols.

Martijn OostdijkVlad RusuJan TretmansRené G. de VriesTim A. C. Willemse
Published in: IFM (2007)
Keyphrases
  • cryptographic protocols
  • learning algorithm
  • information systems
  • learning process
  • database
  • real time
  • reinforcement learning
  • dimensionality reduction