Results 11 to 20 of about 5,130 (285)
SOFTWARE TOOL FOR LOGICAL VALIDATION OF CRYPTOGRAPHIC KEY GENERATION PROTOCOLS BASED ON BAN-LOGIC
Вестник Донского государственного технического университета, 2018 The idea of analyzing cryptographic key generation protocols through BAN - logic methods is considered. An e xample of Kerberos protocol analysis is given. The software tool that automates the analysis of key g eneration protocols is built.
Nadezhda S. Mogilevskaya
doaj +1 more source
Medi-Block record: Secure data sharing using block chain technology
Informatics in Medicine Unlocked, 2021 With the advances in the era of Artificial intelligence, block chain, cloud computing, big data has the need for secure, decentralized medical record storage and retrieval systems, while cloud storage resolves storage issues but it is difficult to ...
Chaitanya Singh +4 more
doaj +1 more source
Applied Sciences, 2020 With the development in wireless communication and low-power device, users can receive various useful services such as electric vehicle (EV) charging, smart building, and smart home services at anytime and anywhere in smart grid (SG) environments. The SG
SungJin Yu +6 more
doaj +1 more source
Engineering Reports, 2021 Wireless Body Area Network (WBAN) is an important element of future smart healthcare services in smart cities. For this reason, many research works have been undergone in WBAN. The significant research issue in the WBAN environment is Quality of Service (
Abdullahi Abdu Ibrahim
doaj +1 more source
The logic of fossil fuel bans [PDF]
Nature Climate Change, 2018 Until recently, national bans on fossil fuel-related activities were a taboo subject, but they are now becoming increasingly common. The logic of appropriateness that underpins such bans is key to understanding their normative appeal, and to explaining and predicting their proliferation.
openaire +4 more sources
A Trusted Security Key Management Server in LoRaWAN: Modelling and Analysis
Journal of Sensor and Actuator Networks, 2022 The traditional Long-Range Wide-Area Network (LoRaWAN) uses an Advanced Encryption Standard (AES) 128 bit symmetric key to secure entities and data against several attacks. However, due to the existence of heterogeneous applications, designing a globally
Koketso Ntshabele +3 more
doaj +1 more source
A Lightweight Stochastic Blockchain for IoT Data Integrity in Wireless Channels
IEEE Open Journal of Vehicular Technology, 2023 Trustworthy validators selection is crucial as validators determine whether a block should be added to its chain. In this article, we proposed a novel confidence score-based lightweight stochastic blockchain for wireless Internet of Things (IoT) systems.
Sushila Dhaka +3 more
doaj +1 more source
On a Limitation of BAN Logic [PDF]
, 2007 In the past few years a lot of attention has been paid to the use of special logics to analyse cryptographic protocols, foremost among these being the logic of Burrows, Abadi and Needham (the BAN logic). These logics have been successful in finding weaknesses in various examples.
Colin Boyd, Wenbo Mao
openaire +1 more source
BAN logic notations and respective descriptions.
, 2022 BAN logic notations and respective descriptions.
Fikadu Degefa (12647095) +3 more
core +1 more source
Design of Secure Mutual Authentication Scheme for Metaverse Environments Using Blockchain
IEEE Access, 2022 During the COVID-19 pandemic, engagement in various remote activities such as online education and meetings has increased. However, since the conventional online environments typically provide simple streaming services using cameras and microphones ...
Jongseok Ryu +4 more
doaj +1 more source