Anonymous Single Sign-on with Proxy Re-Verification.

Jinguang Han Liqun Chen Steve A. Schneider Helen Treharne Stephan Wesemeyer Nick Wilson

Published in: CoRR (2018)

Keyphrases

formal verification
trusted third party
model checking
face verification
asynchronous circuits
peer to peer
lightweight
payment scheme