Analysing a Stream Authentication Protocol Using Model Checking

Analysing a Stream Authentication Protocol Using Model Checking

Show other versions (1)

Bibliographic Details
Main Authors:	Broadfoot, P, Lowe, G
Format:	Conference item
Published:	Springer 2002

Similar Items

Analysing a stream authentication protocol using model checking
by: Hopcroft, P, et al.
Published: (2004)

Analysing Applications Layered on Unilaterally Authenticating Protocols
by: Gibson−Robinson, T, et al.
Published: (2011)

Analysing Applications Layered on Unilaterally Authenticating Protocols
by: Gibson−Robinson, T, et al.
Published: (2011)

Analysing Applications Layered on Unilaterally Authenticating Protocols.
by: Gibson-Robinson, T, et al.
Published: (2011)

On Distributed Security Transactions that Use Secure Transport Protocols
by: Broadfoot, P, et al.
Published: (2003)

Towards a Completeness Result for Model Checking of Security Protocols
by: Lowe, G
Published: (1999)

Towards a Completeness Result for Model Checking of Security Protocols
by: Lowe, G
Published: (1998)

Data independent verification of crypto−protocols
by: Roscoe, A, et al.
Published: (2000)

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

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

Analysing Security Protocols using CSP
by: Lowe, G
Published: (2011)

Internalising Agents in CSP Protocol Models
by: Roscoe, A, et al.
Published: (2002)

Model checking Timed CSP
by: Armstrong, P, et al.
Published: (2012)

Symmetry reduction in CSP model checking
by: Gibson-Robinson, T, et al.
Published: (2019)

Model Checking Resiliency and Sustainability of In-Vehicle Network for Real-Time Authenticity
by: Jin Hyun Kim, et al.
Published: (2021-01-01)

Online integrity and authentication checking for Quran electronic versions
by: Izzat Alsmadi, et al.
Published: (2017-01-01)

Equip officers with devices to check authenticity of MyKad
by: News Straits, Times
Published: (2017)

Proving security protocols with model checkers by data independence techniques
by: Roscoe, A, et al.
Published: (1999)

Analysing Protocol Subject to Guessing Attacks
by: Lowe, G
Published: (2004)

Isotopic Fingerprinting: A Promising Tool for Coffee Authenticity Checks
by: Johannes Wintel, et al.
Published: (2023-09-01)

Architectures for Secure Delegation Within Grids
by: Broadfoot, P, et al.
Published: (2003)

Influence of check dams on bed sediment in the Tenczyński Stream
by: Karol Plesiński, et al.
Published: (2019-03-01)

The perfect spy for model−checking crypto−protocols
by: Roscoe, A, et al.
Published: (1997)

A Hierarchy of Authentication Specification
by: Lowe, G
Published: (1997)

Enabling secure mutual authentication and storage checking in cloud-assisted IoT
by: Dengzhi Liu, et al.
Published: (2022-08-01)

Code-Based Authentication Scheme for Lightweight Integrity Checking of Smart Vehicles
by: Joonsang Yoo, et al.
Published: (2018-01-01)

Check dams, morphological adjustments and erosion control in torrential streams /
by: Consesa Garcia, Carmelo, et al.
Published: (c201)

Formal Analysis of QUIC Handshake Protocol Using Symbolic Model Checking
by: Jingjing Zhang, et al.
Published: (2021-01-01)

On the Application of Counterexample−Guided Abstraction refinement and data independence to the parameterised model checking problem
by: Lowe, G
Published: (2004)

Verifying Team Formation Protocols with Probabilistic Model Checking
by: Chen, T, et al.
Published: (2011)

Model checking cryptographic protocols subject to combinatorial attack.
by: Roscoe, T, et al.
Published: (2011)

Model checking cryptographic protocols subject to combinatorial attack
by: Roscoe, A, et al.
Published: (2012)

Checking Parameterized Promela Models of Cache Coherence Protocols
by: V. S. Burenkov, et al.
Published: (2018-10-01)

Addressing cheating in e-assessment using student authentication and authorship checking systems: teachers’ perspectives
by: Harvey Mellar, et al.
Published: (2018-02-01)

Authentication protocol using trapdoored matrices
by: Sotiraki, Aikaterini
Published: (2016)

DIGITAL IMAGE WATERMARKING SYSTEM FOR CHECK IMAGE AUTHENTICITY BASED-ON DWT TECHNIQUES /
by: Abdalrahman Salem Alfagi, 1977-, author, et al.
Published: (2010)

DIGITAL IMAGE WATERMARKING SYSTEM FOR CHECK IMAGE AUTHENTICITY BASED-ON DWT TECHNIQUES /
by: Abdalrahman Salem Alfagi, 1977-, author, et al.
Published: (2010)

Check Your Shopping Cart: DNA Barcoding and Mini-Barcoding for Food Authentication
by: Tommaso Gorini, et al.
Published: (2023-06-01)

Wine analysis to check quality and authenticity by fully-automated 1H-NMR
by: Spraul Manfred, et al.
Published: (2015-01-01)

Fault Attacks on the Authenticated Encryption Stream Cipher MORUS
by: Iftekhar Salam, et al.
Published: (2018-01-01)