Verification for OAuth Using ASLan++.

Haixing Yan Huixing Fang Christian Kuka Huibiao Zhu

Published in: HASE (2015)

Keyphrases

model checking
artificial intelligence
high security
neural network
website
data structure
multi agent systems
multiresolution
temporal logic
signature verification
test generation
fingerprint verification
concurrent systems