Distance bounding protocols: authentication logic analysis and collusion attacks

Distance bounding protocols: authentication logic analysis and collusion attacks

Մատենագիտական մանրամասներ
Հիմնական հեղինակներ:	Meadows, C, Poovendran, R, Pavlovic, D, Chang, L, Syverson, P
Ձևաչափ:	Գիրք
Հրապարակվել է:	2006

Նմանատիպ նյութեր

Distance Hijacking Attacks on Distance Bounding Protocols
‌: Cremers, C, և այլն
Հրապարակվել է: (2012)

Distance hijacking attacks on distance bounding protocols
‌: Rasmussen, K, և այլն
Հրապարակվել է: (2012)

An encapsulated authentication logic for reasoning about key distribution protocols
‌: Cervesato, I, և այլն
Հրապարակվել է: (2005)

Deriving‚ attacking and defending the GDOI protocol
‌: Meadows, C, և այլն
Հրապարակվել է: (2004)

Bayesian Authentication: Quantifying Security of the Hancke−Kuhn Protocol
‌: Pavlovic, D, և այլն
Հրապարակվել է: (2010)

Quantifying pervasive authentication: the case of the Hancke−Kuhn protocol
‌: Pavlovic, D, և այլն
Հրապարակվել է: (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, և այլն
Հրապարակվել է: (2014)

Optimal Bounded-Collusion Secure Functional Encryption
‌: Ananth, Prabhanjan, և այլն
Հրապարակվել է: (2021)

Deriving ephemeral authentication
‌: Pavlovic, D, և այլն
Հրապարակվել է: (2009)

A Family of Attacks upon Authentication Protocols
‌: Lowe, G
Հրապարակվել է: (1997)

Location Privacy of Distance Bounding Protocols
‌: Rasmussen, K, և այլն
Հրապարակվել է: (2008)

Deriving authentication for pervasive security
‌: Pavlovic, D, և այլն
Հրապարակվել է: (2008)

An Attack on the Needham−Schroeder Public−Key Authentication Protocol
‌: Lowe, G
Հրապարակվել է: (1995)

Deriving ephemeral authentication using channel axioms
‌: Pavlovic, D, և այլն
Հրապարակվել է: (2010)

Panel Introduction: Varieties of Authentication
‌: Gorrieri, R, և այլն
Հրապարակվել է: (1998)

Rational distance−bounding protocols over noisy channels
‌: Nguyen, L
Հրապարակվել է: (2011)

Proving Authentication Properties in the Protocol Derivation Assistant
‌: Anlauff, M, և այլն
Հրապարակվել է: (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, և այլն
Հրապարակվել է: (2011)

A compositional logic for protocol correctness
‌: Durgin, N, և այլն
Հրապարակվել է: (2001)

The enforcement of collusion in oligopoly
‌: Levine, David Knudsen.
Հրապարակվել է: (2022)

Competitive advantage and collusion
Հրապարակվել է: (2003)

Collusion and price rigidity
‌: Athey, Susan, և այլն
Հրապարակվել է: (2011)

Collusion in hierarchical agency
‌: Kofman, Fred., և այլն
Հրապարակվել է: (2009)

Collusive price leadership
‌: Rotemberg, Julio., և այլն
Հրապարակվել է: (2009)

On optimality of allowing collusion
‌: Kofman, Fred., և այլն
Հրապարակվել է: (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, և այլն
Հրապարակվել է: (2006)

Quantifying robustness of trust systems against collusive unfair rating attacks using information theory
‌: Wang, D, և այլն
Հրապարակվել է: (2015)

A compositional logic for proving security properties of protocols
‌: Durgin, N, և այլն
Հրապարակվել է: (2004)

Forward trading and collusion in oligopoly
‌: Liski, Matti, և այլն
Հրապարակվել է: (2009)

Collusive Dominant-Strategy Truthfulness
‌: Chen, Jinc, և այլն
Հրապարակվել է: (2011)

Quotas and the stability of implicit collusion
‌: Rotemberg, Julio., և այլն
Հրապարակվել է: (2009)

Cost padding, auditing and collusion
‌: Laffont, Jean-Jacques, և այլն
Հրապարակվել է: (2011)

Collusive dominant-strategy truthfulness
‌: Chen, Jing, և այլն
Հրապարակվել է: (2015)

Collusion, efficiency, and dominant strategies
‌: Deckelbaum, Alan, և այլն
Հրապարակվել է: (2021)

Optimal collusion with private information
‌: Athey, Susan, և այլն
Հրապարակվել է: (2011)