A Security Analysis Method of Security Protocol Implementation Based on Unpurified Security Protocol Trace and Security Protocol Implementation Ontology [PDF]
IEEE Access, 2019 The security analysis of Security Protocol Implementations(SPI) is an important part of cybersecurity. However, with the strength of property protection and the widely used applications of code obfuscation technology, the previous security analysis ...
Xudong He +4 more
doaj +4 more sources
APSec1.0: Innovative Security Protocol Design with Formal Security Analysis for the Artificial Pancreas System [PDF]
Sensors, 2023 The Medical Internet-of-Things (MIoT) has developed revolutionary ways of delivering medical care to patients. An example system, showing increasing demand, is the artificial pancreas system that offers convenience and reliable support care to patients ...
Jiyoon Kim +5 more
doaj +2 more sources
A Security Analysis Method for Security Protocol Implementations Based on Message Construction
Applied Sciences, 2018 Security protocols are integral to the protection of cyberspace against malicious attacks. Therefore, it is important to be confident in the security of a security protocol.
Jintian Lu +5 more
doaj +3 more sources
5G-based smart airport network security scheme design and security analysis
网络与信息安全学报, 2023 To meet the security requirements of smart airports, a 5G-based smart airport network security solution was proposed.The security characteristics and security requirements of the 5G scenario in smart airport were analyzed, and the pain points of security
Xinxin XING, Qingya ZUO, Jianwei LIU
doaj +3 more sources
Lightweight Three-Factor-Based Privacy- Preserving Authentication Scheme for IoT-Enabled Smart Homes
IEEE Access, 2021 Smart homes are an emerging paradigm of Internet of Things (IoT) in which users can remotely control various home devices via the internet anytime and anywhere.
Sungjin Yu, Namsu Jho, Youngho Park
doaj +1 more source
On the Secure Implementation of Security Protocols [PDF]
Science of Computer Programming, 2003 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Pablo Giambiagi, Mads Dam
openaire +2 more sources
Events in security protocols [PDF]
Proceedings of the 8th ACM conference on Computer and Communications Security, 2001 <p>The events of a security protocol and their causal dependency<br />can play an important role in the analysis of security properties.<br /> This insight underlies both strand spaces and the inductive<br />method. But neither of these approaches builds up the events of<br />a protocol in a compositional way, so that ...
Crazzolara, Federico, Winskel, Glynn
openaire +4 more sources
A Proposed Secure Protocol for E-Mail System Based on Authentication and Hash Function [PDF]
Engineering and Technology Journal, 2011 Internet has opened new channel of communication enabling an e-mail to be sent to a relative thousands of kilometers away. This medium of communication opens doors for virtually free mass e-mailing, reaching out to hundreds of thousands users around the ...
Muna Mohammed Al-Nayar
doaj +1 more source
BCDAIoD: An Efficient Blockchain-Based Cross-Domain Authentication Scheme for Internet of Drones
Drones, 2023 During long-distance flight, unmanned aerial vehicles (UAVs) need to perform cross-domain authentication to prove their identity and receive information from the ground control station (GCS).
Gongzhe Qiao +3 more
doaj +1 more source
Member Tampering Attack on Burmester-Desmedt Group Key Exchange Protocol and Its Countermeasure
Mathematics, 2022 With the rapid development of cloud computing and mobile networks, more and more application scenarios require a secret group key for secure communication. Group Key Exchange (GKE) protocol provides a secret group key for three or more members. Burmester
Da-Zhi Sun, Yangguang Tian
doaj +1 more source