A Java beans component architecture for cryptographic protocols

Proceedings of the 7th USENIX Security Symposium

Volumn , Issue , 1998, Pages

  Nikander, Pekka ^a   Karila, Arto ^a  

^a AALTO UNIVERSITY   (Finland)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMMING INTERFACES (API); ARCHITECTURE; JAVA PROGRAMMING LANGUAGE; NETWORK ARCHITECTURE; PUBLIC KEY CRYPTOGRAPHY;

APPLICATION SPECIFIC; ARCHITECTURE AND SECURITIES; CRYPTOGRAPHIC PROTOCOLS; GLOBAL NETWORKING; JAVA BEANS COMPONENTS; PROTOCOL COMPONENTS; PROTOCOL FRAMEWORK; PUBLIC KEY INFRASTRUCTURE;

INTERNET PROTOCOLS;

EID: 85084162956     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (33)

1. Timo P. Aalto and Pekka Nikander, "A Modular, STREAMS Based IPSEC for Solaris 2.x Systems", In Proceedings of Nordic Workshop on Secure Computer Systems, Goethenburg, Sweden, November 1996.
2. Robert Allen and David Garlan, "A Formal Basis for Architectural Connection", ACM Transactions on Software Engineering and Methodology, 6(3), July 1997.
3. Ross J. Anderson, "Programming Satan's Computer", In Computer Science Today - Recent Trends and Developments, LNCS 1000, pp. 426-440, Springer-Verlag, 1995.
4. Ross J. Anderson and Roger Needham, "Robustness principles for public key protocols", Advances in Cryptology - CRYPTO'95 Proceedings, Springer-Verlag, 1995.
5. Ken Arnold and James Gosling, The Java Programming Language, Addison-Wesley, 1996.
6. Randal Atkinson, Security Architecture for the Internet Protocol, RFC1825, Internet Engineering Task Force, August 1995.
7. Kent Beck and Ralph Johnson, "Patterns Generate Architectures", In Proceedings of European Conference on Object-Oriented Programming (ECOOP'94), Bologna, Italy, pp. 139-149, Springer-Verlag, 1994.
8. Kenneth Birman and Robert Cooper, "The ISIS Project: Real Experience with a Fault Tolerant Programming System", Operating Systems Review, pp. 103-107, April 1991.
9. Carl M. Ellison, Bill Frantz, Butler Lampson, Ron Rivest, Brian M. Thomas and Tatu Ylönen, Simple Public Key Certificate, Internet-Draft draft-ietf-spki-cert-structure-02.txt, work in progress, Internet Engineering Task Force, July 1997.
10. Erich Gamma, Richard Helm, Ralph Johnson, John Vlissides, Design Patterns - Elements of Reusable Object-Oriented Software, Addison-Wesley, 1995.
11. Benoit Garbinato, Rachid Guerraoui, "Using the Strategy Design Pattern to Compose Reliable Distributed Protocols", The Third Conference on Object-Oriented Technologies and Systems (COOTS) Proceedings, Portland, Oregon, June 16-20, 1997, pp. 221-232.
12. Li Gong, Java Security Architecture (JDK1.2) DRAFT DOCUMENT (Version 0.7), Sun Microsystems, October 1, 1997, http://java.sun.com/products/jdk/1.2/docs/guide/security/spec/security-spec.doc.htm
13. Nevin Heintze and J. D. Tygar, "A model for secure protocols and their compositions", In Proceedings of the 1994 IEEE Computer Society Symposium on Research in Security and Privacy, pp. 2-13, IEEE Computer Society Press, May 1994.
14. Herman Hueni, Ralph Johnson, R. Angel, "A framework for network protocol software", Object Oriented Programming Systems, Languages and Applications Conference Proceedings (OOPSLA'95), ACM Press 1995.
15. N. C. Hutchinson and L. L. Peterson, "The x-Kernel: An architecture for implementing network protocols." IEEE Transactions on Software Engineering, 17(1):64-76, January 1991.
16. Darrell Kindred, Jaennette M. Wing, "Fast, Automatic Checking of Cryptographic Protocols", In Proceedings of the Second USENIX Workshop on Electronic Commerce, November 18-21, 1996, Oakland, California.
17. Wenbo Mao and Colin A. Boyd, "Development of authentication protocols: some misconceptions and a new approach", Proceedings of IEEE Computer Security Foundations Workshop VII, IEEE Computer Society Press, 1994, pp. 178-186.
18. S. W. O'Malley, L. L. Peterson, "A Dynamic Network Architecture", ACM Transactions on Computer Systems 10(2):110-143, May 1992.
19. Douglas Maughan, Mark Schertler, Mark Schneider and Jeff Turner, Internet Security Association and Key Management Protocol (ISAKMP), Internet-Draft draft-ietf-ipsecisakmp-08.txt, work in progress, Internet Engineering Task Force, July 1997.
20. Bertrand Meyer, "The Next Software Breakthrough", Computer, 30(7): 113-114, IEEE Computer Society, July 1997.
21. Pekka Nikander, Modelling of Cryptographic Protocols, Licenciate's Thesis, Helsinki University of Technology, December 1997.
22. H. Orman, S. O'Malley, R. Schroeppel, and D. Schwartz. "Paving the road to network security, or the value of small cobblestones". In Proceedings of the 1994 Internet Society Symposium on Network and Distributed System Security, February 1994.
23. Michael K. Reiter, Kenneth P. Birman and Robbert Van Renesse, A Security Architecture for Fault-Tolerant Systems, Cornell University Technical Report, TR93-1354, June, 1993.
24. Robbert van Renesse, Kenneth P. Birman and Silvano Maffeis, "Horus, a flexible Group Communication System," Communications of the ACM, April 1996.
25. Robbert van Renesse, Kenneth P. Birman, Roy Friedman, Mark Hayden, and David A. Karr, "A Framework for Protocol Composition in Horus", In Proceedings of Principles of Distributed Computing, August, 1995.
26. Jorma Rinkinen, Java DES Speed Test, http://www.tcm.hut.fi/~jrin/des/ July 1997.
27. Aviel D. Rubin and Peter Honeyman, Formal methods for the analysis of authentication protocols, Technical Report 93-7, Center for Information Technology Integration, Department of Electrical Engineering and Computer Science, University of Michigan, 8. November 1993.
28. Douglas C. Schmidt, "Using Design Patterns to Develop Reusable Object-Oriented Communication Software", Communications of the ACM, 38(10):65-74, October 1995.
29. Gustavus J. Simmons, "Cryptanalysis and protocol failures", Communications of the ACM, 37(11):56-65, November 1994.
30. R. Thayer, N. Doraswamy and R. Glenn, IP Security Document Roadmap, Internet-Draft draft-ietf-ipsec-doc-roadmap-01.txt, work in progress, Internet Engineering Task Force, July 1997.
31. Amy Moormann Zremski and Jeannette M. Wing, "Specification Matching of Software Components", ACM Transactions on Software Engineering and Methodology, 6(4), October 1997.
32. Jonathan M. Zweig and Ralph E. Johnson, "The Conduit: A Communication Abstraction in C++", In Usenix C++ Conference Proceedings, San Francisco, CA, April 9-11, 1990, pp. 191-204. The Usenix Association 1990.
33. Joanne Wu (Editor), Component-Based Software with Java Beans and ActiveX, White paper, Sun Microsystems, http://www.sun.com/javastation/whitepapers/java-beans/javabean-ch1.html, August 1997.