Results 31 to 40 of about 809 (157)
On the Provable Security of the Dragonfly Protocol [PDF]
, 2015 Dragonfly is a password-authenticated key exchange protocol that was proposed by Harkinsi¾ź[11] in 2008. It is currently a candidate for standardization by the Internet Engineering Task Force, and would greatly benefit from a security proof. In this paper, we prove the security of a very close variant of Dragonfly in the random oracle model.
Jean Lancrenon, Marjan Skrobot
openaire +2 more sources
Provably secure rational delegation computation protocol
Tongxin xuebao, 2019 A provably secure rational delegation computation scheme was proposed to solve the requirement of security issues in rational delegate computation.Firstly,game theory was introduced into delegation computation and according to rational participants ...
Youliang TIAN +3 more
doaj +2 more sources
Advances of Provable Security Techniques. [PDF]
J. Univers. Comput. Sci., 2019 Advances of Provable Security ...
Yu,Yong, Mu,Yi
openaire +3 more sources
A Model for Provably Secure Software Design [PDF]
2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software Engineering (FormaliSE), 2017 Both academia and industry advocate the security by design principle to stress the importance of dealing with security from the earliest stages in software development. Nevertheless, designers often have to resort to their own knowledge and experience to pro-actively identify and mitigate potential security problems.
van den Berghe, Alexander +3 more
openaire +2 more sources
Provably Secure Metering Scheme [PDF]
, 2000 Naor and Pinkas introduced metering schemes at Eurocrypt '98 in order to decide on advertisement fees for web servers. In the schemes, any server should be able to construct a proof to be sent to an audit agency if and only if it has been visited by at least a certain number, say k, of clients.
Wakaha Ogata, Kaoru Kurosawa
openaire +1 more source
Practical Provably Secure Flooding for Blockchains
, 2022 Advances in Cryptology – ASIACRYPT ...
Chen-Da Liu-Zhang +4 more
openaire +3 more sources
Provably Secure Multi-Server Authentication Protocol Using Fuzzy Commitment
IEEE Access, 2018 Remote user authentication is a cryptographic mechanism through which a remote server verifies the legitimacy of an authorized user over an insecure communication channel.
Subhas Barman +5 more
doaj +1 more source
Limits of Provable Security for Homomorphic Encryption [PDF]
, 2013 We show that public-key bit encryption schemes which support weak (i.e., compact) homomorphic evaluation of any sufficiently “sensitive” collection of functions cannot be proved message indistinguishable beyond AM ∩ coAM via general (adaptive) reductions, and beyond statistical zero-knowledge via reductions of constant query complexity.
Andrej Bogdanov, Chin Ho Lee
openaire +3 more sources
Lattice-based Proxy Signature Scheme in the Standard Model
工程科学与技术, 2014 :The provably secure public-key cryptosystems in the standard model are more practical, but the provably secure lattice-based proxy signature schemes in the standard model have not been constructed up to now.
李明祥, 郑艳娟, 许明
doaj
A Provably Secure Proxy Signcryption Scheme Using Bilinear Pairings
Journal of Applied Mathematics, 2014 As people in modern societies are busier than any human era and computer network has profound impact on how people work and live through fast and convenient information exchange, people need more help from each other to accomplish more work via network ...
Nai-Wei Lo, Jia-Lun Tsai
doaj +1 more source