Distance bounding protocols: authentication logic analysis and collusion attacks

Distance bounding protocols: authentication logic analysis and collusion attacks

Bibliographische Detailangaben
Hauptverfasser:	Meadows, C, Poovendran, R, Pavlovic, D, Chang, L, Syverson, P
Format:	Buch
Veröffentlicht:	2006

Ähnliche Einträge

Distance Hijacking Attacks on Distance Bounding Protocols
von: Cremers, C, et al.
Veröffentlicht: (2012)

Distance hijacking attacks on distance bounding protocols
von: Rasmussen, K, et al.
Veröffentlicht: (2012)

An encapsulated authentication logic for reasoning about key distribution protocols
von: Cervesato, I, et al.
Veröffentlicht: (2005)

Deriving‚ attacking and defending the GDOI protocol
von: Meadows, C, et al.
Veröffentlicht: (2004)

Bayesian Authentication: Quantifying Security of the Hancke−Kuhn Protocol
von: Pavlovic, D, et al.
Veröffentlicht: (2010)

Quantifying pervasive authentication: the case of the Hancke−Kuhn protocol
von: Pavlovic, D, et al.
Veröffentlicht: (2009)

Steganography and collusion in cryptographic protocols
von: Lepinski, Matthew (Matthew Baker), 1978-
Veröffentlicht: (2007)

Collusion attacks for digital fingerprinting of image and video
von: Wahadaniah, Viktor
Veröffentlicht: (2008)

Bounded-Collusion IBE from Key Homomorphism
von: Goldwasser, Shafi, et al.
Veröffentlicht: (2014)

Optimal Bounded-Collusion Secure Functional Encryption
von: Ananth, Prabhanjan, et al.
Veröffentlicht: (2021)

Deriving ephemeral authentication
von: Pavlovic, D, et al.
Veröffentlicht: (2009)

A Family of Attacks upon Authentication Protocols
von: Lowe, G
Veröffentlicht: (1997)

Location Privacy of Distance Bounding Protocols
von: Rasmussen, K, et al.
Veröffentlicht: (2008)

Deriving authentication for pervasive security
von: Pavlovic, D, et al.
Veröffentlicht: (2008)

An Attack on the Needham−Schroeder Public−Key Authentication Protocol
von: Lowe, G
Veröffentlicht: (1995)

Deriving ephemeral authentication using channel axioms
von: Pavlovic, D, et al.
Veröffentlicht: (2010)

Panel Introduction: Varieties of Authentication
von: Gorrieri, R, et al.
Veröffentlicht: (1998)

Rational distance−bounding protocols over noisy channels
von: Nguyen, L
Veröffentlicht: (2011)

Proving Authentication Properties in the Protocol Derivation Assistant
von: Anlauff, M, et al.
Veröffentlicht: (2006)

Efficient DDoS attack immune authentication and key agreement protocol for LTE
von: Li, Luying
Veröffentlicht: (2013)

Actor−network procedures: Modeling multi−factor authentication‚ device pairing‚ social interactions
von: Pavlovic, D, et al.
Veröffentlicht: (2011)

A compositional logic for protocol correctness
von: Durgin, N, et al.
Veröffentlicht: (2001)

The enforcement of collusion in oligopoly
von: Levine, David Knudsen.
Veröffentlicht: (2022)

Competitive advantage and collusion
Veröffentlicht: (2003)

Collusion and price rigidity
von: Athey, Susan, et al.
Veröffentlicht: (2011)

Collusion in hierarchical agency
von: Kofman, Fred., et al.
Veröffentlicht: (2009)

Collusive price leadership
von: Rotemberg, Julio., et al.
Veröffentlicht: (2009)

On optimality of allowing collusion
von: Kofman, Fred., et al.
Veröffentlicht: (2009)

Collusive tendering : report
von: Organisation for Economic Co-Operation and Development. Committee of Experts on Restrictive Business Practices
Veröffentlicht: (1976)

Rational authentication protocols
von: Nguyen, L
Veröffentlicht: (2011)

Deriving secrecy properties in key establishment protocols
von: Pavlovic, D, et al.
Veröffentlicht: (2006)

Quantifying robustness of trust systems against collusive unfair rating attacks using information theory
von: Wang, D, et al.
Veröffentlicht: (2015)

A compositional logic for proving security properties of protocols
von: Durgin, N, et al.
Veröffentlicht: (2004)

Forward trading and collusion in oligopoly
von: Liski, Matti, et al.
Veröffentlicht: (2009)

Collusive Dominant-Strategy Truthfulness
von: Chen, Jinc, et al.
Veröffentlicht: (2011)

Quotas and the stability of implicit collusion
von: Rotemberg, Julio., et al.
Veröffentlicht: (2009)

Cost padding, auditing and collusion
von: Laffont, Jean-Jacques, et al.
Veröffentlicht: (2011)

Collusive dominant-strategy truthfulness
von: Chen, Jing, et al.
Veröffentlicht: (2015)

Collusion, efficiency, and dominant strategies
von: Deckelbaum, Alan, et al.
Veröffentlicht: (2021)

Optimal collusion with private information
von: Athey, Susan, et al.
Veröffentlicht: (2011)