Some definitions, protocols and proofs about secure authentication

ABSTRACT

We illustrate the "computational complexity" approach towards defining the goals of security protocols, and proving protocols meet those goals.

REFERENCES

• 1: Manuel Blum , Silvio Micali, How to generate cryptographically strong sequences of pseudo-random bits, SIAM Journal on Computing, v.13 n.4, p.850-864, Nov. 1984 [doi>10.1137/0213053]
• 2: {DH} Diffie, W. and Hellman, M. "New directions in cryptography." IEEE Transactions on Information Theory IT-22 (1976):644--654.
• 3: Oded Goldreich , Shafi Goldwasser , Silvio Micali, How to construct random functions, Journal of the ACM (JACM), v.33 n.4, p.792-807, Oct. 1986 [doi>10.1145/6490.6503]
• 4: {GKL} Goldreich, O., Krawczyk, H. and Luby, M. "On the existence of pseudorandom generators." 29 IEEE Conference on Foundations of Computer Science(1988):12--24.
• 5: {GM} Goldwasser, S. and Micali, S. "Probabilistic encryption." Journal of Computer and Systems Science 28 (1984):270--299.
• 6: Shafi Goldwasser , Silvio Micali , Ronald L. Rivest, A digital signature scheme secure against adaptive chosen-message attacks, SIAM Journal on Computing, v.17 n.2, p.281-308, April 1988 [doi>10.1137/0217017]
• 7: J. Håstad, Pseudo-random generators under uniform assumptions, Proceedings of the twenty-second annual ACM symposium on Theory of computing, p.395-404, May 13-17, 1990, Baltimore, Maryland, United States [doi>10.1145/100216.100270]
• 8: R. Impagliazzo , L. A. Levin , M. Luby, Pseudo-random generation from one-way functions, Proceedings of the twenty-first annual ACM symposium on Theory of computing, p.12-24, May 14-17, 1989, Seattle, Washington, United States [doi>10.1145/73007.73009]
• 9: Butler Lampson , Martín Abadi , Michael Burrows , Edward Wobber, Authentication in distributed systems: theory and practice, ACM SIGOPS Operating Systems Review, v.25 n.5, p.165-182, Oct. 1991
• 10: Silvio Micali , Charles Rackoff , Bob Sloan, The notion of security for probabilistic cryptosystems, SIAM Journal on Computing, v.17 n.2, p.412-426, April 1988 [doi>10.1137/0217025]
• 11: {NBS} National Bureau of Standards, "Data encryption standard", FIPS Pub., 46 (1977).
• 12: R. L. Rivest , A. Shamir , L. Adleman, A method for obtaining digital signatures and public-key cryptosystems, Communications of the ACM, v.21 n.2, p.120-126, Feb. 1978 [doi>10.1145/359340.359342]
• 13: {Y} Yao, A. "Theory and application of trapdoor functions." 23 IEEE Conference on Foundations of Computer Science (1982):80--91.