Otway–Rees protocol

About: Otway–Rees protocol is a research topic. Over the lifetime, 1975 publications have been published within this topic receiving 40569 citations.

A dual-mode energy efficient encryption protocol for wireless sensor networks

Abstract: This paper presents a novel link-layer encryption protocol for wireless sensor networks. The protocol design aims to reduce energy consumption by reducing security related communication overhead. This is done by merging security related data of consecutive packets. The merging (or combining packets) based on simple mathematical operations helps to reduce energy consumption by eliminating the requirement to send security related fields in headers and trailers. We name our protocol as the Compact Security Protocol referred to as C-Sec. In addition to energy savings, the C-Sec protocol also includes a unique security feature of hiding the packet header information. This feature makes it more difficult to trace the flow of wireless communication, and helps to minimize the cost of defending against replay attacks. We performed rigorous testing of the C-Sec protocol and compared it with well-known protocols including TinySec, MiniSec, SNEP and Zigbee. Our performance evaluation demonstrates that the C-Sec protocol outperforms other protocols in terms of energy savings. We also evaluated our protocol with respect to other performance metrics including queuing delay and error probability.

Analysis of an efficient group key agreement protocol

Abstract: Recently, Jung (2006), proposed an efficient group key agreement protocol over authenticated channel. In this letter, we present a critique of the protocol. In particular, we show that Jung's protocol is vulnerable to attacks of malicious insiders

A Secure and Efficient Authentication Protocol Based on Identity Based Aggregate Signature for Electric Vehicle

Abstract: This paper proposes a new access authentication protocol for electric vehicle in a secure and efficient way. The proposed protocol employs identity based aggregate signatures to achieve access authentication. It has the characteristics of local signals, identity based, etc. For security, the new protocol can support mutual authentication, message integrity and replay attack resistance. For efficiency, the proposed scheme wins high performance due to no involved pairing operations. In particular, a batch verification mechanism is designed to reduce AP's burden, which can greatly enhance the protocol efficiency. The security analysis and the simulating results show that the proposed protocol can provide secure and efficient service for electric vehicle.

Secure multiround authentication protocols

Abstract: Gemmell and Naor proposed a new protocol for unconditionally secure authentication of long messages. However Gehrmann showed that the proof of the security of the protocol was incorrect. Here we generalize the multiround protocol model. We prove the security of a 3-round protocol and give for this case a new easy implementable construction which has a key size close to the fundamental lower bound for even extremely long messages. Furthermore, we give a proof of a secure multiround protocol for an arbitrary number of rounds.

Model-based verification of privacy preserving authentication protocol for VANETs

Abstract: The paper presents the verification of a privacy preserving authentication protocol using a finite state model checker SPIN. Authentication of various entities, vehicles and road side units, is vital for accepting the authenticity of messages broadcast by them. These messages are critical and actions taken by vehicles are related to human life. The authentication protocol is a distributed and asynchronous in nature. In the present work, the correctness of the protocol is verified using SPIN and its structure is depicted using finite state and sequence diagram. The results indicate that the proposed protocol is correct and meet the requirements of VANET.