Results 241 to 250 of about 2,516,508 (290)
Some of the next articles are maybe not open access.
On the security of recent protocols
Information Processing Letters, 1995Hwang and Chen examined the SLICE/AS authentification protocol and found two attacks. Again they describe a modification to the protocol. Unfortunately, the protocol is still flowed, and the flaw is independent of the encryption mechanism. We discuss this in Section 3.
John A. Clark, Jeremy Jacob
openaire +3 more sources
Third IEEE International Security in Storage Workshop (SISW'05), 2006
The ANSI T10 object-based storage devices (OSD) standard is a new standard. It evolves the storage interface from fixed size blocks to variable size objects and includes an integrated security protocol that protects storage. This paper presents the requirements, the design tradeoffs, and the final security protocol as defined in the standard.
Michael Factor +4 more
openaire +2 more sources
The ANSI T10 object-based storage devices (OSD) standard is a new standard. It evolves the storage interface from fixed size blocks to variable size objects and includes an integrated security protocol that protects storage. This paper presents the requirements, the design tradeoffs, and the final security protocol as defined in the standard.
Michael Factor +4 more
openaire +2 more sources
Multichannel Security Protocols
IEEE Pervasive Computing, 2007Multichannel security protocols transmit messages over multiple communication channels, taking into account each channel's security properties. Our first intentional use of these protocols goes back to a 1999 article that proposed physical contact for imprinting as opposed to the wireless channel used in subsequent operations.
Ford-Long Wong, Frank Stajano
openaire +2 more sources
Journal of Computer Security, 2017
We propose a development method for security protocols based on stepwise refinement. Our refinement strategy transforms abstract security goals into protocols that are secure when operating over an insecure channel controlled by a Dolev-Yao-style intruder.
Christoph Sprenger 0001, David A. Basin
openaire +3 more sources
We propose a development method for security protocols based on stepwise refinement. Our refinement strategy transforms abstract security goals into protocols that are secure when operating over an insecure channel controlled by a Dolev-Yao-style intruder.
Christoph Sprenger 0001, David A. Basin
openaire +3 more sources
Secure Protocol Transformations
2016In the rich literature of secure multi-party computation MPC, several important results rely on "protocol transformations," whereby protocols from one model of MPC are transformed to protocols from another model. Motivated by the goal of simplifying and unifying results in the area of MPC, we formalize a general notion of black-box protocol ...
Yuval Ishai +4 more
openaire +2 more sources
2000
The process of selection is omnipresent in the real world and modeling this process as a cryptologic protocol will enable cross use of techniques among similar protocol applications, which will eventually lead to better understanding and refinement of these applications.
Kapali Viswanathan +2 more
openaire +2 more sources
The process of selection is omnipresent in the real world and modeling this process as a cryptologic protocol will enable cross use of techniques among similar protocol applications, which will eventually lead to better understanding and refinement of these applications.
Kapali Viswanathan +2 more
openaire +2 more sources
Proceedings. 14th International Conference on Computer Communications and Networks, 2005. ICCCN 2005., 2006
Cookies are the primary means for Web applications to authenticate HTTP requests and to maintain client states. Many Web applications (such as electronic commerce) demand a secure cookie protocol. Such a protocol needs to provide the following four services: authentication, confidentiality, integrity and antireplay. Several secure cookie protocols have
Alex X. Liu +3 more
openaire +2 more sources
Cookies are the primary means for Web applications to authenticate HTTP requests and to maintain client states. Many Web applications (such as electronic commerce) demand a secure cookie protocol. Such a protocol needs to provide the following four services: authentication, confidentiality, integrity and antireplay. Several secure cookie protocols have
Alex X. Liu +3 more
openaire +2 more sources
2003
We assess how formal methods can contribute to the design and analysis of security protocols. We explain some of the pitfalls when applying formal methods in too naive a fashion and stress the importance of identifying implicit assumptions about the environment a protocol would be deployed in that may be hidden in verification methodologies or in off ...
openaire +1 more source
We assess how formal methods can contribute to the design and analysis of security protocols. We explain some of the pitfalls when applying formal methods in too naive a fashion and stress the importance of identifying implicit assumptions about the environment a protocol would be deployed in that may be hidden in verification methodologies or in off ...
openaire +1 more source
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