The X-Kernel: An Architecture for Implementing Network Protocols
IEEE Transactions on Software Engineering
The ISIS project: real experience with a fault tolerant programming system
ACM SIGOPS Operating Systems Review
A dynamic network architecture
ACM Transactions on Computer Systems (TOCS)
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Cryptanalysis and protocol failures
Communications of the ACM
A framework for network protocol software
Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications
A framework for protocol composition in Horus
Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing
Using design patterns to develop reusable object-oriented communication software
Communications of the ACM - Special issue on object-oriented experiences and future trends
Horus: a flexible group communication system
Communications of the ACM
A formal basis for architectural connection
ACM Transactions on Software Engineering and Methodology (TOSEM)
Specification matching of software components
ACM Transactions on Software Engineering and Methodology (TOSEM)
The Next Software Breakthrough
Computer
Robustness Principles for Public Key Protocols
CRYPTO '95 Proceedings of the 15th Annual International Cryptology Conference on Advances in Cryptology
Patterns Generate Architectures
ECOOP '94 Proceedings of the 8th European Conference on Object-Oriented Programming
A Security Architecture for Fault-Tolerant Systems
A Security Architecture for Fault-Tolerant Systems
A Model for Secure Protocols and Their Compositions
SP '94 Proceedings of the 1994 IEEE Symposium on Security and Privacy
Using the strategy design pattern to compose reliable distributed protocols
COOTS'97 Proceedings of the 3rd conference on USENIX Conference on Object-Oriented Technologies (COOTS) - Volume 3
Fine grained access control for SOAP E-services
Proceedings of the 10th international conference on World Wide Web
Computer security and impact on computer science education
CCSC '01 Proceedings of the sixth annual CCSC northeastern conference on The journal of computing in small colleges
CASiNO: component architecture for simulating network objects
Software—Practice & Experience
Building Survivable Services Using Redundancy and Adaptation
IEEE Transactions on Computers
Enhancing Survivability of Security Services Using Redundanc
DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
Preserving Privacy in Distributed Delegation with Fast Certificates
PKC '99 Proceedings of the Second International Workshop on Practice and Theory in Public Key Cryptography
Methods and limitations of security policy reconciliation
ACM Transactions on Information and System Security (TISSEC)
Enforcing provisioning and authorization policy in the Antigone system
Journal of Computer Security
| Hi-index | 0.00 |
Global networking has brought with it both new opportunities and new security threats on a worldwide scale. Since the Internet is inherently insecure, secure cryptographic protocols and a public key infrastructure are needed. In this paper we introduce a protocol component architecture that is well suited for the implementation of telecommunications protocols in general and cryptographic protocols in particular. Our implementation framework is based on the Java programming language and the Conduits+ protocol framework. It complies with the Beans architecture and security API of JDK 1.1, allowing its users to implement application specific secure protocols with relative ease. Furthermore, these protocols can be safely downloaded through the Internet and run on virtually any workstation equipped with a Java capable browser*. The framework has been implemented and tested in practice with a variety of cryptographic protocols. The framework is relatively independent of the actual cryptosystems used and relies on the Java 1.1 public key security API. Future work will include Java 1.2 support, and utilization of a graphical Beans editor to further ease the work of the protocol composer.