The perfect spy for model−checking crypto−protocols

The perfect spy for model−checking crypto−protocols

Show other versions (1)

Bibliographic Details
Main Authors:	Roscoe, A, Goldsmith, M
Format:	Conference item
Published:	1997

Similar Items

The perfect ‘spy’ for model−checking cryptoprotocols
by: Roscoe, A, et al.
Published: (1997)

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

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)

Watchdog transformations for property−oriented model checking
by: Roscoe, A, et al.
Published: (2003)

Watchdog Transformations for Property−Oriented Model−Checking
by: Goldsmith, M, et al.
Published: (2003)

Watchdog transformations for property−oriented model−checking
by: Goldsmith, M, et al.
Published: (2003)

Model−checking CSP
by: A. W. Roscoe
Published: (1994)

Hierarchical compression for model−checking CSP or how to check 10 20 dining philosophers for deadlock
by: Roscoe, A, et al.
Published: (1995)

Sapphire: A Configurable Crypto-Processor for Post-Quantum Lattice-based Protocols
by: Banerjee, Utsav, et al.
Published: (2022)

CryptoCredit: Securely Training Fair Models
by: Castro, Leo, et al.
Published: (2022)

Towards Symmetry Aware Refinement Checking (Extended Abstract)
by: Moffat, N, et al.
Published: (2007)

Unsupervised Crypto Clustering with NLP
by: Zhang, Sammy
Published: (2022)

Local search in model checking
by: Roscoe, P, et al.
Published: (2009)

Protocol for CONSORT-SPI: an extension for social and psychological interventions.
by: Montgomery, P, et al.
Published: (2013)

A representative function approach to symmetry exploitation for CSP refinement checking
by: Moffat, N, et al.
Published: (2008)

Local Search in Model Checking
by: Roscoe, A, et al.
Published: (2009)

Spies /
by: 376932 Frayn, Michael
Published: (2002)

Crypto Embedded System for Electronic Document
by: Ahmad, Illiasaak, et al.
Published: (2006)

A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking
by: Moffat, N, et al.
Published: (2008)

A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking
by: Moffat, N, et al.
Published: (2008)

A representative function approach to symmetry exploitation for CSP refinement checking
by: Moffat, N, et al.
Published: (2008)

The Modelling and Analysis of Security Protocols
by: Roscoe, A, et al.
Published: (2001)

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

Modelling and Analysis of Security Protocols
by: Ryan, P, et al.
Published: (2001)

Modelling and analysis of security protocols
by: Ryan, P, et al.
Published: (2001)

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

Time-lock Puzzles and Timed-release Crypto
by: Rivest, Ronald L., et al.
Published: (2023)

Hierarchical compression for model−checking CSP‚ or How to check 10^20 dining philosophers for deadlock
by: Roscoe, A, et al.
Published: (1995)

The myth of the spy
by: Bartoszewski, WT
Published: (1989)

Beauty and the spy /
by: 443835 Long, Julie Anne
Published: (2006)

The soldier spies /
by: 375346 Griffin, W. E. B.
Published: (1986)

Assumption-commitment support for CSP model checking
by: Moffat, N, et al.
Published: (2008)

Assumption−Commitment Support for CSP Model Checking
by: Moffat, N, et al.
Published: (2006)

Assumption–Commitment Support for CSP Model Checking
by: Moffat, N, et al.
Published: (2008)

Assumption−Commitment Support for CSP Model Checking
by: Moffat, N, et al.
Published: (2008)

Crypto-linguistics in Singapore : deciphering the Singapore Stone
by: Chua, Sock Hui
Published: (2019)

China's crypto economy: sacrificing opportunity for control?
by: Chan, Elgin
Published: (2025)

Bitcoin and Crypto Currencies: China’s Security Concerns
by: Alessandro, Arduino
Published: (2016)

Cross-chain decentralized exchange for crypto payments
by: Lee, Jonathan Keng Tat
Published: (2023)