Results 251 to 260 of about 3,123,586 (291)
Some of the next articles are maybe not open access.
Automated Design of Security Protocols
Computational Intelligence, 2004Security protocols play an important role in modern communications. However, security protocol development is a delicate task, and experience shows that computer security protocols are notoriously difficult to get right. Recently, Clark and Jacob provided a framework for automatic protocol generation based on combinatorial optimization techniques and ...
Hao, C., Clark, J.A., Jacob, J.L.
openaire +3 more sources
Security, Protocols, and Trust
2004Information security has benefited from mathematically cogent modeling and analysis, which can assure the absence of specific kinds of attacks. Information security provides the right sorts of problems: Correctness conditions may be subtle, but they have definite mathematical content.
openaire +2 more sources
Security and performance evaluation of security protocols
Proceedings of the Eighth Annual Cyber Security and Information Intelligence Research Workshop, 2013Parallel distributed systems are widely used for dealing with massive data sets and high performance computing. Securing parallel distributed systems is problematic. Centralized security tools are likely to cause bottlenecks and introduce a single point of failure.
Richard R. Brooks +3 more
openaire +2 more sources
The SecureRing protocols for securing group communication
Proceedings of the Thirty-First Hawaii International Conference on System Sciences, 2002The SecureRing group communication protocols provide reliable ordered message delivery and group membership services despite Byzantine faults such as might be caused by modifications to the programs of a group member following illicit access to, or capture of, a group member.
Kim Potter Kihlstrom +2 more
openaire +1 more source
1998
This article describes various efforts to address security in three areas of the Internet protocol suite: the Internet Protocol itself (IPsec), the domain between transport and application layer (the Secure Sockets Layer and the Transport Layer Security protocols) and security extensions for the HyperText Transfer Protocol (S-HTTP).
openaire +1 more source
This article describes various efforts to address security in three areas of the Internet protocol suite: the Internet Protocol itself (IPsec), the domain between transport and application layer (the Secure Sockets Layer and the Transport Layer Security protocols) and security extensions for the HyperText Transfer Protocol (S-HTTP).
openaire +1 more source
Security architecture for the internet protocol
Computer Standards & Interfaces, 1998In this paper we present the design, rationale, and implementation of a security architecture for protecting the secrecy and integrity of Internet traffic at the Internet Protocol (IP) layer. The design includes three components: (1) a security policy for determining when, where, and how security measures are to be applied; (2) a modular key management
Pau-Chen Cheng +3 more
openaire +2 more sources
On Adaptively Secure Protocols
2014Adaptive security captures the capability of an adversary to adaptively affect a system during the course of its computation based on partial information gathered. In this work, we explore the theoretical complexity of achieving adaptive security in two settings:
openaire +1 more source
Update Semantics of Security Protocols
Synthese, 2004zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Hommersom, A.J. +2 more
openaire +3 more sources
A model for secure protocols and their compositions
Proceedings of 1994 IEEE Computer Society Symposium on Research in Security and Privacy, 1996The paper develops a foundation for reasoning about protocol security. We adopt a model-based approach for defining protocol security properties. This allows us to describe security properties in greater detail and precision than previous frameworks.
Nevin Heintze, J. Doug Tygar
openaire +2 more sources
Secure Composition of Protocols
2012Security protocols are small distributed programs that are designed to ensure security over untrusted networks such as the Internet. They are notoriously dificult to design and flaws can be found several years after their publication and even their deployment.
openaire +2 more sources