next up previous
Next: About this document Up: Towards A Secure Agent Previous: Conclusion and Further Work

References

1
Bruce Schneier, Applied Cryptography, Second Edition, John Wiley & Sons, Inc. 1996.

2
National Bureau of Standards, NBS FIPS PUB 46-1, Data Encryption Standard, U.S. Department of Commerce, Jan 1988.

3
Xuejia Lai: On the Design and Security of Block Ciphers, ETH Series in Information Processing, vol. 1, Hartung-Gorre Verlag, Konstanz, Switzerland, 1992.

4
R.L. Rivest, A. Shamir, and L.M. Adleman. A method for obtaining digital signatures and public-key cryptosystems. Communications of the ACM, 21(2): 120-126, February 1978.

5
L. Gong and R. Schemers, Implementing Protection Domains in the Java Development Kit 1.2, In Proceedings of the Internet Society Symposium on Network and Distributed System Security, San Diego, California, March 1998.

6
L. Gong, Java Security: Present and Near Future, IEEE Micro, 17(3):14-19, May/June 1997.

7
http://java.sun.com/products/jdk/1.2/docs/guide/security/index.html

8
Syscara, K., Decker, K., Pannu, A., Williamson, M. and Zeng, D., Distributed Intelligent Agents. IEEE Expert, pp.36-45, December 1996.

9
Tim Finin, Yannis Labrou, and James Mayfield, KQML as an agent communication language, in Jeff Bradshaw (Ed.), Software Agents, MIT Press, Cambridge (1997).

10
Qi He, Security Module v1.0: Design Document of Project Retsina, Robotics Institute, Carnegie Mellon University, Jaun 12, 1997.

11
Qi He, Katia P. Sycara, and Timothy W. Finin, Personal Security Agent: KQML-Based PKI, to appear in Autonomous Agents'98, Minneapolis/St. Paul, May 10-13, 1998.

12
Leonard N. Foner, A Security Architecture for Multi-Agent Matchmaking, Proceeding of Second International Conference on Multi-Agent System, Mario Tokoro, 1996

13
Tim Finin, James Mayfield, Chelliah Thirunavukkarasu, Secret Agents - A Security Architecture for the KAML Agent Communication Language, CIKM'95 Intelligent Information Agents Workshop, Baltimore, December 1995.

14
URL, http://www.rsa.com/rsalabs/newfaq/q1.html

15
W. Timothy Polk, Donna F. Dodson, etc, Public Key Infrastructure: From Theory to Implementation, http://csrc.ncsl.nist.gov/pki/panel/overview.html, NIST

16
URL, Public-Key Infrastructure (X.509) (pkix), http://www.ietf.org/html.charters/pkix-charter.html

17
URL, RSA Laboratories, PKCS (Public Key Crypto System) http://www.rsa.com/rsalabs/pubs/PKCS/

18
Philip R. Zimmermann, The Official PGP User's Guide, MIT Press 1995.

19
Carl M. Ellison, Bill Frantz, Butler Lampson, Ron Rivest, Brian M. Thomas, Tatu Ylonen, Simple Public Key Certificate, http://www.clark.net/pub/cme/spki.txt

20
Ronald L. Rivest, Butler Lampson, SDSI - A Simple Distributed Security Infrastructure, http://theory.lcs.mit.edu/ cis/sdsi.html

21
Peter Gutmann, X.509 Style Guide, http://www.cs.auckland.ac.nz/pgut001/x509guide.txt

22
E. Gerck, Overview of Certification Systems: X.509, CA, PGP and SKIP, http://novaware.cps.softex.br/mcg/cert.html.

23
URL, http://java.sun.com/products/jdk/1.2/docs/tooldocs/solaris/jar.html

24
URL, http://java.sun.com/security/

25
Butler Lampson, Martin Abadi, Michael Burrows, Authentication in Distributed Systems: Theory and Practice ACM, 1992.

26
Matt Blaze, Joan Feigenbaum, Jack Lacy, Decentralized Trust Management, In Proceedings 1996 IEEE Symposium on Security and Privacy, May, 1996.

27
Martin Abadi and Roger Needham, Prudent Engineering Practice for Cryptographic Protocols, IEEE Transactions on Software Engineering, Vol. 22. No.1, January 1996.

28
R. Anderson and R. Needham Robustness Principles for Public Key Protocols Lecture Notes on Computer Science, 963:236-247, 1995.

29
M. Burrows, M. Abadi, and R. Needham, A logic of authentication. Technical Report 39, DEC Systems Research Center, February 1989.

30
Darrell Kindred, Jeannette M. Wing, Fast, Automatic Checking of Security Protocols, Proc. of the USENIX 1996 Workshop on Electronic Commerce, November 1996.

31
L. Gong, R. Needham, and R. Yahalom, Reasoning about belief in cryptographic protocols, In Proceedings of the 1990, IEEE Computer Society Symposium on Research in Security and Privacy, pages 234-248, May 1990.

32
D. Chaum, Security without Identification: Transaction systems to make big brother Osolete, Communications of the ACM Oct, 1985, Vol. 28, No. 10.
33
Amos Fiat and Adi Shamir, How to Prove Yourseldf: Pratical Solution to Identification and Signature Problems, CRYPTO'86, LNCS 263, Springer-Verlag, 1987.


Qi He
Wed Jan 28 06:23:23 EST 1998