Results 261 to 270 of about 1,901,421 (313)

Verification of cryptographic protocols: An experiment [PDF]

, 1997
The objective of this paper is to present the verification of some confidentiality features of the SESAME protocol, an extension of Kerberos. We do that by using the formal approach presented in [7]. This approach is based on the use of state-based general purpose formal methods.
Dominique Bolignano, Marc Mehdi Ayadi
openaire   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Analyzing a Cryptographic Protocol

2017
Web services such as email, photo, social networks, internet commerce, and online banking require that entities authenticate themselves. Scrooge McDuck must be sure that he (it?) is communicating with the bank, and not with some bad guy with a look-a-like web page.
openaire   +2 more sources

Cryptographic Protocols Analysis in Event B

2010
We consider the proof-based development of cryptographic protocols satisfying security properties. For instance, the model of Dolev- Yao provides a way to integrate a description of possible attacks, when designing a protocol. We use existing protocols and want to provide a systematic way to prove but also to design cryptographic protocols; moreover ...
Benaissa, Nazim, Méry, Dominique
openaire   +3 more sources

Types for Cryptographic Protocols

2002
One of the many different approaches to proving properties of a cryptographic security protocol is to encode it within a process calculus [6],[7],[11],[12],[14],[20], and then to apply standard techniques from concurrency theory such as modelchecking [19] or equational reasoning [4],[5],[8],[9],[13],[15].
openaire   +2 more sources

Verifying Cryptographic Protocols with Subterms Constraints

2007
Known protocol analysis techniques consider protocols where some piece of information expected in a protocol message is located at a fixed position. However this is too restrictive to model web-services where messages are XML semi-structured documents and where significant information (such as name, signature, ...) has to be extracted from nodes ...
Chevalier, Yannick, Lugiez, Denis, Rusinowitch, Michael   +2 more
openaire   +2 more sources

Cryptographic Protocols

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

Cryptographic Protocol Analysis of AN.ON

2010
This 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, Lexi Pimenidis, Dogan Kesdogan, Rolf Wendolsky   +3 more
openaire   +2 more sources

Compiling and narrowing cryptographic protocols

1999
We 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, Rusinowitch, Michaël, Vigneron, Laurent   +2 more
openaire   +1 more source

An IND-ID-CPA Secure ID-Based Cryptographic Protocol using GDLP and IFP

Informatica, 2017
C. Meshram, Yuh-Min Tseng, Cheng-Chi Lee, S. G. Meshram   +3 more
semanticscholar   +1 more source

Improving the Security of Cryptographic Protocol Standards

IEEE Security and Privacy, 2015
D. Basin, Cas J. F. Cremers, K. Miyazaki, S. Radomirovic, Dai Watanabe   +4 more
semanticscholar   +1 more source