Distance bounding protocols: authentication logic analysis and collusion attacks

Distance bounding protocols: authentication logic analysis and collusion attacks

Bibliographic Details
Main Authors:	Meadows, C, Poovendran, R, Pavlovic, D, Chang, L, Syverson, P
Format:	Book
Published:	2006

Similar Items

Distance Hijacking Attacks on Distance Bounding Protocols
by: Cremers, C, et al.
Published: (2012)

Distance hijacking attacks on distance bounding protocols
by: Rasmussen, K, et al.
Published: (2012)

An encapsulated authentication logic for reasoning about key distribution protocols
by: Cervesato, I, et al.
Published: (2005)

Deriving‚ attacking and defending the GDOI protocol
by: Meadows, C, et al.
Published: (2004)

Bayesian Authentication: Quantifying Security of the Hancke−Kuhn Protocol
by: Pavlovic, D, et al.
Published: (2010)

Quantifying pervasive authentication: the case of the Hancke−Kuhn protocol
by: Pavlovic, D, et al.
Published: (2009)

Steganography and collusion in cryptographic protocols
by: Lepinski, Matthew (Matthew Baker), 1978-
Published: (2007)

Collusion attacks for digital fingerprinting of image and video
by: Wahadaniah, Viktor
Published: (2008)

Bounded-Collusion IBE from Key Homomorphism
by: Goldwasser, Shafi, et al.
Published: (2014)

Optimal Bounded-Collusion Secure Functional Encryption
by: Ananth, Prabhanjan, et al.
Published: (2021)

Deriving ephemeral authentication
by: Pavlovic, D, et al.
Published: (2009)

A Family of Attacks upon Authentication Protocols
by: Lowe, G
Published: (1997)

Location Privacy of Distance Bounding Protocols
by: Rasmussen, K, et al.
Published: (2008)

Deriving authentication for pervasive security
by: Pavlovic, D, et al.
Published: (2008)

An Attack on the Needham−Schroeder Public−Key Authentication Protocol
by: Lowe, G
Published: (1995)

Deriving ephemeral authentication using channel axioms
by: Pavlovic, D, et al.
Published: (2010)

Panel Introduction: Varieties of Authentication
by: Gorrieri, R, et al.
Published: (1998)

Rational distance−bounding protocols over noisy channels
by: Nguyen, L
Published: (2011)

Proving Authentication Properties in the Protocol Derivation Assistant
by: Anlauff, M, et al.
Published: (2006)

Efficient DDoS attack immune authentication and key agreement protocol for LTE
by: Li, Luying
Published: (2013)

Actor−network procedures: Modeling multi−factor authentication‚ device pairing‚ social interactions
by: Pavlovic, D, et al.
Published: (2011)

A compositional logic for protocol correctness
by: Durgin, N, et al.
Published: (2001)

The enforcement of collusion in oligopoly
by: Levine, David Knudsen.
Published: (2022)

Competitive advantage and collusion
Published: (2003)

Collusion and price rigidity
by: Athey, Susan, et al.
Published: (2011)

Collusion in hierarchical agency
by: Kofman, Fred., et al.
Published: (2009)

Collusive price leadership
by: Rotemberg, Julio., et al.
Published: (2009)

On optimality of allowing collusion
by: Kofman, Fred., et al.
Published: (2009)

Collusive tendering : report
by: Organisation for Economic Co-Operation and Development. Committee of Experts on Restrictive Business Practices
Published: (1976)

Rational authentication protocols
by: Nguyen, L
Published: (2011)

Deriving secrecy properties in key establishment protocols
by: Pavlovic, D, et al.
Published: (2006)

Quantifying robustness of trust systems against collusive unfair rating attacks using information theory
by: Wang, D, et al.
Published: (2015)

A compositional logic for proving security properties of protocols
by: Durgin, N, et al.
Published: (2004)

Forward trading and collusion in oligopoly
by: Liski, Matti, et al.
Published: (2009)

Collusive Dominant-Strategy Truthfulness
by: Chen, Jinc, et al.
Published: (2011)

Quotas and the stability of implicit collusion
by: Rotemberg, Julio., et al.
Published: (2009)

Cost padding, auditing and collusion
by: Laffont, Jean-Jacques, et al.
Published: (2011)

Collusive dominant-strategy truthfulness
by: Chen, Jing, et al.
Published: (2015)

Collusion, efficiency, and dominant strategies
by: Deckelbaum, Alan, et al.
Published: (2021)

Optimal collusion with private information
by: Athey, Susan, et al.
Published: (2011)