Results 141 to 150 of about 156,809 (179)

Cryptanalysis schemes against batch verification signature

2009 Chinese Control and Decision Conference, 2009
Batch verification signature is an efficient signature to generate and verify signatures for a batch of message in a single protocol. In the paper, analyses were made on the basic principles of batch verification signature, as to the security problems of present batch verification signature schemes; we presented an improved batch verification signature
openaire   +1 more source

Batch Verifications with ID-Based Signatures

2005
An identity (ID)-based signature scheme allows any pair of users to verify each other’s signatures without exchanging public key certificates. With the advent of Bilinear maps, several ID-based signatures based on the discrete logarithm problem have been proposed. While these signatures have an advantage in the fact that the system secret can be shared
HyoJin Yoon, Jung Hee Cheon, Yongdae Kim
openaire   +1 more source

Batch Verification for Statistical Zero Knowledge Proofs

2020
A 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, Rothblum, Guy N., Rothblum, Ron D., Sealfon, Adam, Vasudevan, Prashant Nalini   +4 more
openaire   +1 more source

Secure Certificateless Signature Scheme Supporting Batch Verification

2013 Eighth Asia Joint Conference on Information Security, 2013
In this paper, we propose a secure certificate less signature scheme supporting batch verification, which makes it possible for a verifier to verify a set of signatures more efficiently than verifying them one by one. In our proposed scheme, it is impossible for PKG to produce a signature which is indistinguishable from any signature produced by a user.
Chun-I Fan, Pei-Hsiu Ho, Jheng-Jia Huang, Yi-Fan Tseng   +3 more
openaire   +1 more source

Energy-Efficient Mobile Node in Multicast Batch Verification

SN Computer Science, 2020
Conventional methods used in batch signature verification do not distinguish between static node signature verification and mobile node signature verification. Static nodes rarely face energy expenditure problem, but energy conservation is given a critical importance in mobile nodes.
R. Jagadeesha, K. Thippeswamy
openaire   +1 more source

Model-based verification of batch process control software

Proceedings of IEEE International Conference on Systems, Man and Cybernetics, 2002
The paper describes an approach to verify control software for batch processes. We look at logic controller programs specified as sequential function charts (SFCs). The basis of the verification is a Boolean condition/event (BC/E) model of the uncontrolled behavior of the batch plant.
S. Kowalewski, R. Gesthuisen, V. Rossmann   +2 more
openaire   +1 more source

Efficient Self-certified Signatures with Batch Verification

2012
To 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
Li, Nan, Mu, Yi, Susilo, Willy
openaire   +1 more source

Trade-off between signature aggregation and batch verification

2013 36th International Conference on Telecommunications and Signal Processing (TSP), 2013
The paper deals with optimization techniques of digital signatures applied in information and communication architectures. The techniques called the signature aggregation and batch verification cause two contrary benefits: small computational overhead or small communication overhead, shorter chain of signatures or faster verification process ...
Lukas Malina, Jan Hajny, Vaclav Zeman
openaire   +1 more source

Closed operation of multivessel batch distillation: Experimental verification

AIChE Journal, 2000
AbstractThe multivessel batch distillation column, as well as conventional batch distillation, can be operated in a closed (total reflux) mode where the products are collected in vessels along the column. A previously proposed and simulated feedback control strategy for the closed operation is to indirectly adjust the vessel holdups by using the reflux
Bernd Wittgens, Sigurd Skogestad
openaire   +1 more source

Lenient/Strict Batch Verification in Several Groups

2001
Batch verification is a useful tool in verifying a large number of cryptographic items all at one time. It is especially effective in verifying predicates based on modular exponentiation. In some cases, however, the items can be incorrect although they pass batch verification together. Such leniency can be eliminated by checking the domain of each item
Fumitaka Hoshino, Masayuki Abe, Tetsutaro Kobayashi   +2 more
openaire   +1 more source