Results 51 to 60 of about 913 (157)

Another Look at Provable Security [PDF]

, 2012
Many cryptographers believe that the only way to have confidence in the security of a cryptographic protocol is to have a mathematically rigorous proof that the protocol meets its stated goals under certain assumptions. However, it is often difficult to assess what such proofs really mean in practice especially if the proof is non-tight, the underlying
openaire   +1 more source

Provable Security and Indifferentiability.

, 2012
In this thesis we consider different problems related to provable security and indifferentiability framework. Ideal primitives such as random oracles, ideal ciphers are theoretical abstractions of cryptographic hash functions and block ciphers respectively.
openaire   +1 more source

Identity-based provable data possession scheme for multi-source IoT terminal data in public cloud

Tongxin xuebao, 2021
To solve the problem of multi-source IoT data integrity verification, identity-based provable data possession for multi-source IoT terminal in public cloud (ID-MPDP) was proposed.Firstly, the formal definitions of system model and security model of ID ...
Huaqun WANG, Zhe LIU, Debiao HE, Jiguo LI   +3 more
doaj  

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

Linearly homomorphic aggregate signature secure in the standard model

Tongxin xuebao
Existing lattice-based linear homomorphic signature schemes have difficulty in balancing multi-user aggregation and provable security under the standard model, which limits their practical application in real-world distributed scenarios.
HAN Yiliang, LI Ruifeng, ZHOU Tanping, WANG Jingjing, YANG Xiaoyuan   +4 more
doaj  

Edwards curves based security authentication protocol for mobile RFID systems

Tongxin xuebao, 2014
Existing work about RFID authentication protocols is usually difficult to adapt to mobile RFID systems.In order to solve the problem，an Edwards curves based security authentication protocol for mobile RFID systems is proposed.The protocol can improve the
Yu-long YANG, Chang-gen PENG, Zhou ZHOU, Xiao-pei ZHANG   +3 more
doaj   +2 more sources

Password-only authenticated three-party key exchange with provable security in the standard model. [PDF]

ScientificWorldJournal, 2014
Nam J, Choo KK, Kim J, Kang HK, Kim J, Paik J, Won D.   +6 more
europepmc   +1 more source

Provable secure digital watermarking scheme

Tongxin xuebao, 2008
A novel provable security watermarking scheme was presented by adopting the digital watermarking technol-ogy,cryptology and encode method,it comprises embedding watermarks scheme and detecting watermarks scheme.The participant ID,Hash of the digital work
doaj   +2 more sources

Special issue on provable security [PDF]

Security and Communication Networks, 2016
Shaoquan Jiang, Tsuyoshi Takagi, Guilin Wang   +2 more
openaire   +1 more source

Provable security for block ciphers by decorrelation

, 1998
In this presentation we investigate a new way of protecting block ciphers against classes of attacks (including differential and linear crypt-analysis) which is based on the notion of decorrelation which is fairly connected to Carter-Wegman's notion of universal functions.
openaire   +3 more sources