Results 181 to 190 of about 5,463 (216)
Some of the next articles are maybe not open access.
2017
This chapter is concerned with cryptographic protocols. We begin with an explanation of what components a cryptographic protocol consists of. We then illustrate the complexity of designing a secure cryptographic protocol by considering an artificially simple scenario, for which we propose and analyse seven candidate protocols.
openaire +1 more source
This chapter is concerned with cryptographic protocols. We begin with an explanation of what components a cryptographic protocol consists of. We then illustrate the complexity of designing a secure cryptographic protocol by considering an artificially simple scenario, for which we propose and analyse seven candidate protocols.
openaire +1 more source
Cryptographic protocols for auctions and bargaining
1994Modern mathematical cryptography provides many protocols for designing social and economic institutions. This article deals with cryptographic protocols for auctions, bargaining and arbitration. The main contribution of the protocols is in the elimination of specific types of behaviour which otherwise might undermine the desirable properties of the ...
openaire +1 more source
Autoformalization of Cryptographic Protocols
2025 IEEE International Conference on Data Mining Workshops (ICDMW)Lauren Brandt +2 more
openaire +1 more source
Parallel Maude-NPA for Cryptographic Protocol Analysis
Lecture Notes in Computer Science, 2022Santiago Escobar +2 more
exaly
Cryptographic protocol conformance testing based on domain-specific state machine
Journal of Computer Virology and Hacking Techniques, 2023Sergey Prokopev
exaly
Formal methods for cryptographic protocol analysis: emerging issues and trends
IEEE Journal on Selected Areas in Communications, 2003C Meadows
exaly
A Lightweight Cryptographic Protocol with Certificateless Signature for the Internet of Things
Transactions on Embedded Computing Systems, 2019Chunhua Su, Kuo-Hui Yeh
exaly