A Verified Secure Protocol Model of OAuth Dynamic Client Registration.

Caimei Wang Yan Xiong Wenchao Huang Huihua Xia Jianmeng Huang Cheng Su

Published in: BigCom (2017)

Keyphrases

computational model
probabilistic model
image registration
security model
mathematical model
surface model
lightweight
formal model
registration process