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

Shuo Chen Matt McCutchen Phuong Cao Shaz Qadeer Ravishankar 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