Machine to machine (M2M) communication, which is also known as machine type communication (MTC), is one of the most fascinating parts of mobile communication technology and also an important practical application of the Internet of Things. The main objective of this type of communication, is handling massive heterogeneous devices with low network overheads and high security guarantees. Hence, v...

We propose a protocol model which integrates two different ways of analyzing cryptographic protocols: i) analysis w.r.t. an unbounded number of sessions and bounded message size, and ii) analysis w.r.t. an a priori bounded number of sessions but with messages of unbounded size. We show that in this model secrecy is DEXPTIME-complete. This result is obtained by extending the Dolev-Yao intruder t...

Connected vehicles have emerged as the latest revolution in automotive industry, utilizing advent of Internet Things (IoT). However, most IoT-connected cars mechanisms currently depend on available network services and need continuous connections to allow users connect their vehicles. Nevertheless, connectivity availability shortcoming remote or rural areas with no coverage makes vehicle sharin...

Cloud-based SDN (Software Defined Network) integration offers new kinds of agility, flexibility, automation, and speed in the network. Enterprises Cloud providers both leverage benefits as networks can be configured optimized based on application requirement. The cloud paradigms has played an indispensable role improving ubiquitous health care services. It improved real-time monitoring patients...

OpenID Connect (OIDC) is one of the most widely used delegated authentication protocols in web and mobile applications providing a single sign-on experience. It allows third-party applications, called Relying Parties (RP), to securely request receive information about authenticated sessions end-users from an identity provider. The OIDC specification defines several parameters, including client_...

During the COVID-19 pandemic, engagement in various remote activities such as online education and meetings has increased. However, since conventional environments typically provide simple streaming services using cameras microphones, there have limitations terms of physical expression experiencing real-world cultural economic activities. Recently, metaverse environments, three-dimensional virt...

A smart city is a concept that leverages technology to improve the quality of life for citizens, enhance sustainability, and streamline urban services. The goal use data manage resources assets efficiently, make informed decisions, create more livable thriving its residents. Smart cities rely on range technologies including Internet Things (IoT), Artificial Intelligence (AI), big analytics, clo...

Most of the decision procedures for symbolic analysis of protocols are limited to a fixed set of algebraic operators associated with a fixed intruder theory. Examples of such sets of operators comprise XOR, multiplication/exponentiation, abstract encryption/decryption. In this report we give an algorithm for combining decision procedures for arbitrary intruder theories with disjoint sets of ope...

IP multicast is best-known for its bandwidth conservation and lower resource utilization. The present service model of multicast makes it difficult to restrict access to authorized End Users (EUs) or paying customers. Without an effective receiver access control, an adversary may exploit the existing IP multicast model, where a host or EU can join any multicast group by sending an Internet Grou...

Today, industrial networks are often used for safetycritical applications with real-time requirements. The architecture of such applications usually has a time-triggered nature that has message scheduling as a core property. Real-time scheduling can be applied only in networks where nodes share the same notion of time, i.e., they are synchronized. Therefore, clock synchronization is one of the ...