Results 31 to 40 of about 3,123,586 (291)
When private set intersection meets big data : an efficient and scalable protocol [PDF]
, 2013 Large scale data processing brings new challenges to the design of privacy-preserving protocols: how to meet the increasing requirements of speed and throughput of modern applications, and how to scale up smoothly when data being protected is big ...
Chen, Liqun, Wen, Zikai, Dong, Changyu
core +4 more sources
A Privacy-Preserving Mutual Authentication Resisting DoS Attacks in VANETs
IEEE Access, 2017 Providing efficient anonymous authentication in vehicular ad hoc networks (VANETs) is a challenging issue. Identity-based signature schemes have been used to provide privacy-preserving authentication effectively for VANETs.
Cong Sun +3 more
doaj +1 more source
South African Journal of Information Management, 2020 Background: This study investigated the end-users’ perceptions about the feasibility of deploying biometric authentication systems as intervention solutions to ameliorate card fraud in the South African payment card industry.
Joel M. Chigada
doaj +1 more source
Distributed Key Management to Secure IoT Wireless Sensor Networks in Smart-Agro
Sensors, 2020 With the deepening of the research and development in the field of embedded devices, the paradigm of the Internet of things (IoT) is gaining momentum. Its technology’s widespread applications increasing the number of connected devices constantly.
Safwan Mawlood Hussein +2 more
doaj +1 more source
Design of Secure Protocol for Cloud-Assisted Electronic Health Record System Using Blockchain
Sensors, 2020 In the traditional electronic health record (EHR) management system, each medical service center manages their own health records, respectively, which are difficult to share on the different medical platforms.
MyeongHyun Kim +4 more
doaj +1 more source
Composing security protocols: from confidentiality to privacy [PDF]
, 2015 Security protocols are used in many of our daily-life applications, and our privacy largely depends on their design. Formal verification techniques have proved their usefulness to analyse these protocols, but they become so complex that modular ...
Arapinis, Myrto +6 more
core +1 more source
An Experiment in Interoperable Cryptographic Protocol Implementation Using Automatic Code Generation [PDF]
, 2007 Spi2Java is a tool that enables semi-automatic generation of cryptographic protocol implementations, starting from verified formal models. This paper shows how the last version of spi2Java has been enhanced in order to enable interoperability of the ...
Pironti, Alfredo +3 more
core +1 more source
Comments on “ALAM: Anonymous Lightweight Authentication Mechanism for SDN Enabled Smart Homes”
IEEE Access, 2021 Smart home is intended to be able to enhance home automation systems and achieves goals such as reducing operational costs and increasing comfort while providing security to mobile users.
Sungjin Yu +2 more
doaj +1 more source
An Automated Precise Authentication of Vehicles for Enhancing the Visual Security Protocols
Information, 2023 The movement of vehicles in and out of the predefined enclosure is an important security protocol that we encounter daily. Identification of vehicles is a very important factor for security surveillance.
Kumarmangal Roy +4 more
doaj +1 more source
Verification of Security Protocols [PDF]
EPiC Series in Computing, 2008 Security protocols are short programs aiming at securing communications over a network. They are widely used in our everyday life. Their verification using symbolic models has shown its interest for detecting attacks and proving security properties. In particular, several automatic tools have been developed and are used to efficiently detect flaws.In ...
openaire +3 more sources