Authentication is the process of confirming the authenticity of a client to identify its validity. If
the user is valid then server permits the accessibility of its assets. Many authentication …

Formal methods can be used to discover obscure denial of service (DoS) vulnerabilities in
wireless network protocols. The application of formal methods to the analysis of DoS …

This paper presents a novel approach to automatically finding security vulnerabilities in the
routing protocol OSPF–the most widely used protocol for Internet routing. We start by …

In the current period, the number of mobile users is rapidly expanding with a complicated
network setup with a large amount of network traffic, which results in data overload …

IEEE 802.11 i authentication framework is composed of the 802.1 x and an extensible
authentication protocol (EAP) mechanism. One of the most applicable techniques in the EAP …

Wireless Sensor Networks and Industrial Internet of Things use smart, autonomous and
usually limited capacity devices in order to sense and monitor industrial environments. The …

Security protocols are not as secure as we assumed. In this paper, we identified a practical
way to launch DoS attacks on security protocols by triggering exceptions. Through …

ETSI, as a standard body in telecommunication industry, has defined a comprehensive set of
common security mechanisms to protect the IoT/M2M system. They are Service …

A framework consisting of the Protocol Derivation System (PDS) and the Protocol
Composition Logic (PCL) has been recently proposed by Datta et al. for the design and …

With security standards, as with software, we cannot expect to eliminate all security flaws
prior to publication. Protocol standards are often updated because flaws are discovered after …