Sign in

SVAuth - A Single-Sign-On Integration Solution with Runtime Verification.

Shuo ChenMatt McCutchenPhuong CaoShaz QadeerRavishankar K. Iyer
Published in: RV (2017)
Keyphrases
  • model checking
  • information retrieval
  • closed form
  • databases
  • machine learning
  • genetic algorithm
  • multi agent systems
  • evolutionary algorithm
  • multi objective
  • integer programming
  • exact solution