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