Results 171 to 180 of about 1,722 (212)

Hyperledger Fabric-Powered Digital Identity Scheme: Transforming CIA-Triad Security in IoMT Integrated Healthcare Eco-System. [PDF]

Blockchain Healthc Today
Jena S, Barik RC, Padhan S.
europepmc   +1 more source

A Case of Management Crisis and Overcome in Avispa Fukuoka

Journal of Japan Society of Sports Industry, 2019
openaire   +2 more sources

Revisiting the BAN-modified Andrew Secure RPC protocol

, 2014
Gugel, Alberto, Aziz, Benjamin, Hamilton, Geoff   +2 more
core  

Secure LoRa Drone-to-Drone Communication for Public Blockchain-Based UAV Traffic Management. [PDF]

Sensors (Basel)
Khor JH, Sidorov M, Chong MJY.
europepmc   +1 more source

Cloud assisted blockchain-enabled split federated learning framework for security and privacy-preserving of IoMT in healthcare 5.0. [PDF]

Sci Rep
Baihan A, Kryvinska N, Amoon M, Jiang W, Ullah Z, Shafiq M.   +5 more
europepmc   +1 more source

Scalable privacy-preserving data analytics for IoMT via FHE and zk-SNARK-enabled edge aggregation. [PDF]

Sci Rep
Ben Othman S, Mihret N.
europepmc   +1 more source

Dickson polynomial-based secure group authentication scheme for Internet of Things. [PDF]

Sci Rep
Syed SA, Manickam S, Uddin M, Alsufyani H, Shorfuzzaman M, Selvarajan S, Mohammed GB.   +6 more
europepmc   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Security analysis of LMAP using AVISPA

International Journal of Security and Networks, 2014
Radio-frequency identification RFID is an RFID tag based technology for providing automated identification of both objects and humans. RFID tags have numerous potential applications if a secured authentication and privacy could be provided. An RFID tag is interrogated by a reader to get the identity of the tag along with other information.
Salekul Islam
exaly   +2 more sources

AVISPA: Towards Practical Verification of Communication Properties

IFAC Postprint Volumes IPPV / International Federation of Automatic Control, 2009
Abstract This paper proposed an application of AVISPA tool in the area of verification of communication properties. The main part of the paper presents the AVISPA tool and its components and basic ideas of the HLPSL language. The paper concludes with the recent experiences of AVISPA application in the education of network security at the Faculty of ...
Miroslav Sveda
exaly   +2 more sources