Distance bounding protocols: authentication logic analysis and collusion attacks

Distance bounding protocols: authentication logic analysis and collusion attacks

Opis bibliograficzny
Główni autorzy:	Meadows, C, Poovendran, R, Pavlovic, D, Chang, L, Syverson, P
Format:	Książka
Wydane:	2006

Podobne zapisy

Distance Hijacking Attacks on Distance Bounding Protocols
od: Cremers, C, i wsp.
Wydane: (2012)

Distance hijacking attacks on distance bounding protocols
od: Rasmussen, K, i wsp.
Wydane: (2012)

An encapsulated authentication logic for reasoning about key distribution protocols
od: Cervesato, I, i wsp.
Wydane: (2005)

Deriving‚ attacking and defending the GDOI protocol
od: Meadows, C, i wsp.
Wydane: (2004)

Bayesian Authentication: Quantifying Security of the Hancke−Kuhn Protocol
od: Pavlovic, D, i wsp.
Wydane: (2010)

Quantifying pervasive authentication: the case of the Hancke−Kuhn protocol
od: Pavlovic, D, i wsp.
Wydane: (2009)

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

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

Bounded-Collusion IBE from Key Homomorphism
od: Goldwasser, Shafi, i wsp.
Wydane: (2014)

Optimal Bounded-Collusion Secure Functional Encryption
od: Ananth, Prabhanjan, i wsp.
Wydane: (2021)

Deriving ephemeral authentication
od: Pavlovic, D, i wsp.
Wydane: (2009)

A Family of Attacks upon Authentication Protocols
od: Lowe, G
Wydane: (1997)

Location Privacy of Distance Bounding Protocols
od: Rasmussen, K, i wsp.
Wydane: (2008)

Deriving authentication for pervasive security
od: Pavlovic, D, i wsp.
Wydane: (2008)

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

Deriving ephemeral authentication using channel axioms
od: Pavlovic, D, i wsp.
Wydane: (2010)

Panel Introduction: Varieties of Authentication
od: Gorrieri, R, i wsp.
Wydane: (1998)

Rational distance−bounding protocols over noisy channels
od: Nguyen, L
Wydane: (2011)

Proving Authentication Properties in the Protocol Derivation Assistant
od: Anlauff, M, i wsp.
Wydane: (2006)

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

Actor−network procedures: Modeling multi−factor authentication‚ device pairing‚ social interactions
od: Pavlovic, D, i wsp.
Wydane: (2011)

A compositional logic for protocol correctness
od: Durgin, N, i wsp.
Wydane: (2001)

The enforcement of collusion in oligopoly
od: Levine, David Knudsen.
Wydane: (2022)

Competitive advantage and collusion
Wydane: (2003)

Collusion and price rigidity
od: Athey, Susan, i wsp.
Wydane: (2011)

Collusion in hierarchical agency
od: Kofman, Fred., i wsp.
Wydane: (2009)

Collusive price leadership
od: Rotemberg, Julio., i wsp.
Wydane: (2009)

On optimality of allowing collusion
od: Kofman, Fred., i wsp.
Wydane: (2009)

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

Rational authentication protocols
od: Nguyen, L
Wydane: (2011)

Deriving secrecy properties in key establishment protocols
od: Pavlovic, D, i wsp.
Wydane: (2006)

Quantifying robustness of trust systems against collusive unfair rating attacks using information theory
od: Wang, D, i wsp.
Wydane: (2015)

A compositional logic for proving security properties of protocols
od: Durgin, N, i wsp.
Wydane: (2004)

Forward trading and collusion in oligopoly
od: Liski, Matti, i wsp.
Wydane: (2009)

Collusive Dominant-Strategy Truthfulness
od: Chen, Jinc, i wsp.
Wydane: (2011)

Quotas and the stability of implicit collusion
od: Rotemberg, Julio., i wsp.
Wydane: (2009)

Cost padding, auditing and collusion
od: Laffont, Jean-Jacques, i wsp.
Wydane: (2011)

Collusive dominant-strategy truthfulness
od: Chen, Jing, i wsp.
Wydane: (2015)

Collusion, efficiency, and dominant strategies
od: Deckelbaum, Alan, i wsp.
Wydane: (2021)

Optimal collusion with private information
od: Athey, Susan, i wsp.
Wydane: (2011)