Open Access
Analysis Models for Security Protocols
Ricardo Corin
- 12 Jan 2006
TL;DR: Five significant, orthogonal extensions to the Dolev Yao model are presented, each of which considers a more realistic setting, closer to the real world, thus providing a stronger security guarantee.
read more
Abstract: In this thesis, we present five significant, orthogonal extensions to the Dolev Yao model. Each extension considers a more realistic setting, closer to the real world, thus providing a stronger security guarantee. We provide examples both from the literature and from industrial case studies to show the practical applicability of each extension.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
Scyther : semantics and verification of security protocols
Cas Cremers
- 01 Jan 2006
TL;DR: This thesis develops a formal model for the description and analysis of security protocols at the process level, and develops an automated veri??cation procedure, which improves over existing methods and is applied in two novel case studies.
Searching in encrypted data
Jeroen Doumen,Richard Brinkman,Willem Jonker +2 more
- 01 Jan 2004
TL;DR: This work presents a method, inspired by secure multi-party computation, to efficiently search in encrypted data, and represents the data as an XML document, and translates XML elements to polynomials which contain information about themselves and their descendants in the XML tree.
New data structures and algorithms for mobile data
Mohammad Ali Abam
- 01 Jan 2007
TL;DR: This work presents KDSs that are robust against the out-of-order processing, including kinetic sorting and kinetic tournaments, and presents a new and simple variant of the standard kD-tree, called rank-based kd-trees, for a set of n points in d-dimensional space.
Security matters : privacy in voting and fairness in digital exchange
Hugo Jonker
- 25 Aug 2009
TL;DR: This thesis studies two complex security notions: privacy in voting and fairness in digital exchange and introduces a formal framework that determines precisely for whom a voter could have voted.
Revisiting anomaly-based network intrusion detection systems
Damiano Bolzoni
- 25 Jun 2009
TL;DR: SilentDefense is the first systematic attempt to develop an anomaly-based intrusion detection system with a high degree of usability, and outperforms competitors not only in terms of attack detection and false alert rates, but it reduces the user effort as well.
References
A semantic model for authentication protocols
T.Y.C. Woo,Simon S. Lam +1 more
- 24 May 1993
TL;DR: The authors specify authentication protocols as formal objects with precise syntax and semantics, and define a semantic model that characterizes protocol executions that underlie the correctness concerns of authentication protocols.
357
A Formal Language for Cryptographic Protocol Requirements
Paul Syverson,Catherine Meadows +1 more
TL;DR: A formal language for specifying and reasoning about cryptographic protocol requirements is presented and an implicit assumption about implementations of the protocol is revealed and subtleties in the kinds of requirements one might specify for similar protocols are revealed.
51
A Taxonomy of Replay Attacks
Paul Syverson
- 01 Jan 1994
TL;DR: A taxonomy of replay attacks on cryptographic protocols in terms of message origin and destination is presented, complete in the sense that any replay attack is composed entirely of elements classified by the taxonomy.
Related Papers (5)
Atze Dijkstra
- 01 Oct 2000
E. Dolstra
- 18 Jan 2006
Albert J. Markvoort
- 01 Jan 2006
Mohammad Reza Mousavi
- 01 Jan 2005