共 15 条
[1]
[Anonymous], 2011, IACR CRYPTOLOGY EPRI
[2]
Discovering Concrete Attacks on Website Authorization by Formal Analysis
[J].
2012 IEEE 25TH COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF),
2012,
:247-262
[3]
Blanchet B., ProVerif: Automatic Cryptographic Protocol Verier, User Manual and Tutorial
[4]
Universally composable security: A new paradigm for cryptographic protocols
[J].
42ND ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE, PROCEEDINGS,
2001,
:136-145
[5]
Francisco Corella K. P. L., 2011, SECURITY ANAL DOUBLE
[6]
Hammer-Lahav E., 2010, 5849 RFC INT ENG TAS
[7]
Hardt D., 2012, RFC 6749
[8]
Jackson D., 2011, Software Abstractions: Logic, Language, and Anlysis
[9]
Jones M., 2012, OAUTH 2 0 BEARER TOK
[10]
Lodderstedt T., 2013, 6819 RFC INT ENG TAS