Results 251 to 260 of about 65,031 (278)
Some of the next articles are maybe not open access.
Cryptographic Protocol Analysis of AN.ON
2010This work presents a cryptographic analysis of AN.ON’s anonymization protocols. We have discovered three flaws of differing severity. The first is caused by the fact that the freshness of the session key was not checked by the mix. This flaw leads to a situation where an external attacker is able to perform a replay attack against AN.ON. A second, more
Benedikt Westermann +3 more
openaire +2 more sources
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
Compiling and narrowing cryptographic protocols
1999We propose a direct and fully automated translation from standard authentication protocol descriptions to rewrite rules. This compiling defines a non-ambiguous operational semantics for protocol executions. The rewrite rules are then translated to first-order Horn Logic and processed by the theorem-prover daTac The existence of flaws in the protocol is
Jacquemard, Florent +2 more
openaire +1 more source
General Cryptographic Protocols
2004The design of secure protocols that implement arbitrarily desired functionalities is a major part of modern cryptography. Taking the opposite perspective, the design of any cryptographic scheme may be viewed as the design of a secure protocol for implementing a suitable functionality. Still, we believe that it makes sense to differentiate between basic
openaire +2 more sources
An overview of precision oncology basket and umbrella trials for clinicians
Ca-A Cancer Journal for Clinicians, 2020Kristian Thorlund, Edward J Mills
exaly
MAC Protocols for Terahertz Communication: A Comprehensive Survey
IEEE Communications Surveys and Tutorials, 2020Saim Ghafoor +2 more
exaly
Design Engineering, Synthesis Protocols, and Energy Applications of MOF-Derived Electrocatalysts
Nano-Micro Letters, 2021Amr Rady Radwan, Da-Ping He, Shichun Mu
exaly