Distance bounding protocols: authentication logic analysis and collusion attacks

Distance bounding protocols: authentication logic analysis and collusion attacks

書目詳細資料
Main Authors:	Meadows, C, Poovendran, R, Pavlovic, D, Chang, L, Syverson, P
格式:	圖書
出版:	2006

相似書籍

Distance Hijacking Attacks on Distance Bounding Protocols
由: Cremers, C, et al.
出版: (2012)

Distance hijacking attacks on distance bounding protocols
由: Rasmussen, K, et al.
出版: (2012)

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

Deriving‚ attacking and defending the GDOI protocol
由: Meadows, C, et al.
出版: (2004)

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

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

Steganography and collusion in cryptographic protocols
由: Lepinski, Matthew (Matthew Baker), 1978-
出版: (2007)

Collusion attacks for digital fingerprinting of image and video
由: Wahadaniah, Viktor
出版: (2008)

Bounded-Collusion IBE from Key Homomorphism
由: Goldwasser, Shafi, et al.
出版: (2014)

Optimal Bounded-Collusion Secure Functional Encryption
由: Ananth, Prabhanjan, et al.
出版: (2021)

Deriving ephemeral authentication
由: Pavlovic, D, et al.
出版: (2009)

A Family of Attacks upon Authentication Protocols
由: Lowe, G
出版: (1997)

Location Privacy of Distance Bounding Protocols
由: Rasmussen, K, et al.
出版: (2008)

Deriving authentication for pervasive security
由: Pavlovic, D, et al.
出版: (2008)

An Attack on the Needham−Schroeder Public−Key Authentication Protocol
由: Lowe, G
出版: (1995)

Deriving ephemeral authentication using channel axioms
由: Pavlovic, D, et al.
出版: (2010)

Panel Introduction: Varieties of Authentication
由: Gorrieri, R, et al.
出版: (1998)

Rational distance−bounding protocols over noisy channels
由: Nguyen, L
出版: (2011)

Proving Authentication Properties in the Protocol Derivation Assistant
由: Anlauff, M, et al.
出版: (2006)

Efficient DDoS attack immune authentication and key agreement protocol for LTE
由: Li, Luying
出版: (2013)

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

A compositional logic for protocol correctness
由: Durgin, N, et al.
出版: (2001)

The enforcement of collusion in oligopoly
由: Levine, David Knudsen.
出版: (2022)

Competitive advantage and collusion
出版: (2003)

Collusion and price rigidity
由: Athey, Susan, et al.
出版: (2011)

Collusion in hierarchical agency
由: Kofman, Fred., et al.
出版: (2009)

Collusive price leadership
由: Rotemberg, Julio., et al.
出版: (2009)

On optimality of allowing collusion
由: Kofman, Fred., et al.
出版: (2009)

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

Rational authentication protocols
由: Nguyen, L
出版: (2011)

Deriving secrecy properties in key establishment protocols
由: Pavlovic, D, et al.
出版: (2006)

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

A compositional logic for proving security properties of protocols
由: Durgin, N, et al.
出版: (2004)

Forward trading and collusion in oligopoly
由: Liski, Matti, et al.
出版: (2009)

Collusive Dominant-Strategy Truthfulness
由: Chen, Jinc, et al.
出版: (2011)

Quotas and the stability of implicit collusion
由: Rotemberg, Julio., et al.
出版: (2009)

Cost padding, auditing and collusion
由: Laffont, Jean-Jacques, et al.
出版: (2011)

Collusive dominant-strategy truthfulness
由: Chen, Jing, et al.
出版: (2015)

Collusion, efficiency, and dominant strategies
由: Deckelbaum, Alan, et al.
出版: (2021)

Optimal collusion with private information
由: Athey, Susan, et al.
出版: (2011)