Results 11 to 20 of about 469,943 (240)
Safe abstractions of data encodings in formal security protocol models [PDF]
, 2014 When using formal methods, security protocols are usually modeled at a high level of abstraction. In particular, data encoding and decoding transformations are often abstracted away.
Pironti, Alfredo, Sisto, Riccardo
core +1 more source
Ġasaq: Provably Secure Key Derivation
, 2022 Update: Ġasaq is not secure at all. I did many silly mistakes. This paper rightfully got an immediate rejection from the Journal of Cryptology. This paper proposes Ġasaq; a provably secure key derivation method that, when given access to a true random ...
Rajululkahf, M.
core +1 more source
Provably secure social network privacy-preserving scheme
网络与信息安全学报, 2016 A provable secure social network privacy-preserving scheme was proposed to solve the problem of social network privacy-preserving scheme's security proof.Firstly,through analyzing the security requirements about the node's privacy (indistinguishable node
Jian-qiong HE,You-liang TIAN, Kai ZHOU
doaj +3 more sources
Symmetric private information retrieval supported by quantum-secure key-exchange network
Light: Science & Applications, 2022 Quantum key distribution provides a provably secure way for private key distribution, which enables the practical implementation of information retrieval that preserves both the user privacy and database security.
Shuang Wang
doaj +1 more source
A Lightweight and Privacy-Preserving Authentication Protocol for Healthcare in an IoT Environment
Mathematics, 2023 In Internet of Things (IoT)-based healthcare, sensor nodes are deployed to detect the patient’s physiological data in a wireless sensor network. In order to prevent unwarranted users from accessing the sensor network to obtain patients’ data, designing ...
Qingyun Xie, Zixuan Ding, Qi Xie
doaj +1 more source
Practical & Provably Secure Distance-Bounding [PDF]
, 2015 From contactless payments to remote car unlocking, many applications are vulnerable to relay attacks. Distance bounding protocols are the main practical countermeasure against these attacks.
Boureanu, Ioana, +12 more
core +2 more sources
Provably Secure and Practical Onion Routing [PDF]
, 2012 The onion routing network Tor is undoubtedly the most widely employed technology for anony- mous web access. Although the underlying onion routing (OR) protocol appears satisfactory, a comprehensive analysis of its security guarantees is still lacking ...
Michael Backes +3 more
core +2 more sources
A Provably Secure Short Blind Signature Scheme [PDF]
Jisuanji gongcheng, 2019 In the wireless network environment,applications of blind signature such as digital cash, digital voting and digital invoice protection are challenged by limited transmission bandwidth,weak transmission capabilities and poor computing performance of ...
ZUO Liming, XIA Pingping, CHEN Zuosong
doaj +1 more source
Provably Secure Covert Communication on Blockchain
Cryptography, 2018 Blockchain is a public open ledger that provides data integrity in a distributed manner. It is the underlying technology of cryptocurrencies and an increasing number of related applications, such as smart contracts. The open nature of blockchain together
Juha Partala
doaj +1 more source
Provably Secure Identity-based Conditional Proxy Re-encryption Scheme [PDF]
Jisuanji gongcheng, 2017 The conditional proxy re-encryption based on the traditional public key cryptosystem is mature,but the Identity-based Proxy Re-encryption(IBPRE) scheme,controlling agents’ permissions from the fine-grained level is a problem needed to be solved.Thus,this
YE Weiwei,OU Qingyu,WEI Wei
doaj +1 more source