Results 61 to 70 of about 809 (157)
On Provable Security for Complex Systems
, 2016 We investigate the contribution of cryptographic proofs of security to a systematic security engineering process. To this end we study how to model and prove security for concrete applications in three practical domains: computer networks, data outsourcing, and electronic voting.
openaire +4 more sources
Provably secure secret sharing scheme based on bilinear maps
Tongxin xuebao, 2008 A method to construct provable secure secret sharing scheme using bilinear pairing was recommended.Firstly,the semantic security definition for secret sharing scheme is given,which is developed from the standard definition of semantic security for the ...
LI Hui-xian1, PANG Liao-jun2
doaj +2 more sources
Provably Secure Symmetric Private Information Retrieval with Quantum Cryptography. [PDF]
Entropy (Basel), 2020 Kon WY, Lim CCW.
europepmc +1 more source
Comprehensive Analysis and Implementation of Isogeny-Based Hash Functions
IEEE AccessThis paper analyzes the security and performance of the isogeny-based hash functions. The isogeny-based hash function was first proposed by Charles, Goren, and Lauter, and is referred to as the CGL hash function.
Donghoe Heo +4 more
doaj +1 more source
Efficient and provably secure attribute-based online/offline encryption schemes
Tongxin xuebao, 2014 To improve the encryption efficiency, the online/offline cryptography was extended to ABE and the primitive of attribute-based online/offline encryption (ABOOE) was proposed.
Hai-ying MA +3 more
doaj
Provably secure and efficient escrowable public key encryption schemes
Tongxin xuebao, 2014 In an escrowable public key encryption (E-PKE) scheme, there are two keys associated with one public key. It can reduce the total number of certificates in the public key infrastructure (PKI) to a large extent, thus degrade the com-plexity of certificate
Wen-hao LIU +3 more
doaj
Analysis and improvement of an ID-based authenticated key agreement protocol
Tongxin xuebao, 2008 The security of a recently proposed ID-based authenticated key agreement protocol was analyzed. Although it is provably secure in the standard model, a malicious PKG （private key generator） can still obtain all of the agreed ses-sion keys, that is, it ...
WANG Xiao-fen1 +2 more
doaj
Provably secure certificateless aggregate signature scheme in wireless roaming authentication
Tongxin xuebao, 2017 Certificateless aggregate signature (CLAS) schemes have been widely applied in resource-constrained wireless mobile networks,because they could not only realize batch validation but also solve the certificate management and key escrow problems.It was ...
Zhi-yan XU +3 more
doaj
Correcting the security definition of the Bellare-Rogaway 3PKD model
Tongxin xuebao, 2007 A flaw lied in the security definition of the Bellare-Rogaway 3PKD model,which was proposed by Bellare and Rogaway for three-party key distribution in 1995,was discovered.To reveal it,a new three-party key distribution proto-col P-Flaw was proposed.The ...
LIU Jun1 +3 more
doaj