Digital twin technology is recently in the spotlight because of its potential applicability business and industry. In digital environments, data generated from physical assets are transmitted to a remote server, which performs simulations through twins virtual space. Then, simulation results can be shared with owner or other users. However, several challenges exist application real world. One m...

With the development of telecare medical information system (TMIS), doctors and patients are able to access useful services via 5G wireless communications without visiting hospital in person. Unfortunately, TMIS should have essential security properties, such as anonymity, mutual authentication, privacy, since patient’s data is transmitted a public channel. Moreover, sensing devices deployed re...

Healthcare is a binding domain for the Internet of Things (IoT) to automate healthcare services sharing and accumulation patient records at anytime from anywhere through Internet. The current IP-based architecture suffers latency, mobility, location dependency, security. Named Data Networking (NDN) has been projected as future internet cope with limitations However, NDN infrastructure does not ...

In the traditional medical healthcare system, each facility is responsible for preserving its own records. Sharing such records with another establishment difficult them. To tackle this challenge, system leverages internet technology to transform into a modern electronic system. systems, managing security and privacy of patient data becomes major issue. As an alternative, sector might use block...

One of the main advantages new power grid over traditional is intelligent energy management by customer and Operator. Energy supply, demand response management, consumption regulation are only possible with smart metering system. Smart meters component that Hence, a compromised meter or successful attack against this entity may cause data theft, falsification, server/device manipulation. Theref...

Designing distributed protocols is complex and requires actions at very different levels: from the design of an interaction flow supporting the desired application-specific guarantees, to the selection of the most appropriate network-level protection mechanisms. To tame this complexity, we propose AnBx, a formal protocol specification language based on the popular Alice & Bob notation. AnBx off...

Biometric based authentication protocols for multi-server architectures have gained momentum in recent times due to advancements in wireless technologies and associated constraints. Lu et al. recently proposed a robust biometric based authentication with key agreement protocol for a multi-server environment using smart cards. They claimed that their protocol is efficient and resistant to promin...

We introduce the Open-source Fixed-point Model Checker OFMC for symbolic security protocol analysis, which extends the Onthe-fly Model Checker (the previous OFMC). The native input language of OFMC is the AVISPA Intermediate Format IF. OFMC also supports AnB, a new Alice-and-Bob-style language that extends previous similar languages with support for algebraic properties of cryptographic operato...

WSNs (Wireless sensor networks) are nowadays viewed as a vital portion of the IoTs (Internet of Things). Security is a significant issue in WSNs, especially in resource-constrained environments. AKA (Authentication and key agreement) enhances the security of WSNs against adversaries attempting to get sensitive sensor data. Various AKA schemes have been developed for verifying the legitimate use...

We present SATMC 3.0, a SAT-based bounded model checker for security-critical systems that stems from a successful combination of encoding techniques originally developed for planning with techniques developed for the analysis of reactive systems. SATMC has been successfully applied in variety of application domains (security protocols, security-sensitive business processes, and cryptographic A...