Results 281 to 290 of about 3,005,367 (328)
Some of the next articles are maybe not open access.
Batch ZK Proof and Verification of OR Logic
2009When multiple knowledge statements linked with "OR" logic have to be proved and verified, the existing solution is the proof technique by Cramer et al , in which multiple proof and verification protocols are performed in parallel. It is pointed out in this paper that the highly strong soundness in Cramer et al's solution is only theoretically valuable ...
Kun Peng, Feng Bao 0001
openaire +1 more source
Optimized MHealth Batch Verification for a Variant of DSA
2014 International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery, 2014With more and more research focusing on Health Care services, there is need for efficient authentication by use of digital signatures. Currently, the DSA is one of the most commonly used digital signature scheme. This paper proposes an Optimized Health Batch Verification Scheme on a variant of DSA. The proposed system is based on a new optimal DSA-type
Angolo Shem Mbandu +2 more
openaire +2 more sources
A secure authentication scheme for VANETs with batch verification
Wireless Networks, 2014Vehicular Ad-hoc Networks (VANETs) will start becoming deployed within the next decade. Among other benefits, it is expected that VANETs will support applications and services targeting the increase of safety on the road, and assist in improving the efficiency of the road transportation network.
Majid Bayat +3 more
openaire +1 more source
Batch Verification for Statistical Zero Knowledge Proofs
2020A statistical zero-knowledge proof (\(\mathsf {SZK}\)) for a problem \(\varPi \) enables a computationally unbounded prover to convince a polynomial-time verifier that \(x \in \varPi \) without revealing any additional information about x to the verifier, in a strong information-theoretic sense.
Kaslasi, Inbar +4 more
openaire +3 more sources
Batch Verification and Proofs of Proximity with Polylog Overhead
2020Suppose Alice wants to convince Bob of the correctness of k \(\mathsf {NP}\) statements. Alice could send k witnesses to Bob, but as k grows the communication becomes prohibitive. Is it possible to convince Bob using smaller communication (without making cryptographic assumptions or bounding the computational power of a malicious Alice)?
Rothblum, Guy N., Rothblum, Ron D.
openaire +3 more sources
Computers & security, 2019
Internet of Things (IoT) devices are expected to penetrate users’ lives everywhere. However, the occurrence of several massive distributed denial-of-service (DDoS) attacks in infected IoT devices has brought increased attention to the importance of IoT ...
Jen-Wei Hu +3 more
semanticscholar +1 more source
Internet of Things (IoT) devices are expected to penetrate users’ lives everywhere. However, the occurrence of several massive distributed denial-of-service (DDoS) attacks in infected IoT devices has brought increased attention to the importance of IoT ...
Jen-Wei Hu +3 more
semanticscholar +1 more source
Journal of Information Security and Applications, 2020
With the continuously developing wireless communication technique, the Internet of Things (IoT) has been deployed in various domains. In the IoT, numerous smart devices exchange information transparently and seamlessly via the open channel to provide ...
Hu Xiong, Y. Wu, Chunhua Su, Kuo-Hui Yeh
semanticscholar +1 more source
With the continuously developing wireless communication technique, the Internet of Things (IoT) has been deployed in various domains. In the IoT, numerous smart devices exchange information transparently and seamlessly via the open channel to provide ...
Hu Xiong, Y. Wu, Chunhua Su, Kuo-Hui Yeh
semanticscholar +1 more source
A Scheme for Batch Verification of Integrity Assertions in a Database System
IEEE Transactions on Software Engineering, 1984Summary: A database management system can ensure the semantic integrity of a database via an integrity control subsystem. A technique for implementation of such a subsystem is proposed. After a database is updated by transactions, its integrity must be verified by evaluation of a set of semantic integrity assertions.
Leszek Lilien, Bharat K. Bhargava
openaire +1 more source
IEEE Vehicular Technology Conference, 2020
With the rapid technological advancement of the universal internet of vehicles (UIoV), it becomes crucial to ensure safe and secure communication over the network, in an effort to achieve the implementation objective of UIoV effectively.
Himani Sikarwar +2 more
semanticscholar +1 more source
With the rapid technological advancement of the universal internet of vehicles (UIoV), it becomes crucial to ensure safe and secure communication over the network, in an effort to achieve the implementation objective of UIoV effectively.
Himani Sikarwar +2 more
semanticscholar +1 more source
Efficient Self-certified Signatures with Batch Verification
2012To eliminate the need of public-key certificates from Public Key Infrastructure (PKI) and the problem of key escrow in identity-based cryptography, the concept of self-certified public key was put forth by Girault. In this paper, we propose an efficient and novel self-certified signature scheme, which requires only one modular multiplication in signing
Nan Li 0007, Yi Mu 0001, Willy Susilo
openaire +1 more source