Data independent verification of crypto−protocols

Data independent verification of crypto−protocols

Bibliographic Details
Main Authors:	Roscoe, A, Broadfoot, P, Lowe, G
Format:	Journal article
Published:	2000

Similar Items

Automating Data Independence
by: Broadfoot, P, et al.
Published: (2000)

Automating Data Independence
by: Roscoe, A, et al.
Published: (2000)

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

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

Capturing parallel attacks within the data independence framework
by: Roscoe, A, et al.
Published: (2002)

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

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

Proving security protocols with model checkers by data independence techniques
by: Roscoe, A
Published: (1998)

Analysing a Stream Authentication Protocol Using Model Checking
by: Broadfoot, P, et al.
Published: (2002)

On the response of the global crypto companies to the sanctions against Russian crypto investors
by: Gorchakova T.E.
Published: (2022-12-01)

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

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

Embedding agents within the intruder to detect parallel attacks
by: Roscoe, A, et al.
Published: (2004)

Blockchains as Implementable Mechanisms: Crypto-Ricardian Rent and a Crypto-Coase Theorem
by: Prateek Goorha

Crypto-tobiano horses in Hucul breed
by: A. Stachurska, et al.
Published: (2015-01-01)

Using CSP to detect errors in the TMN protocol
by: Roscoe, A, et al.
Published: (1996)

Using CSP to Detect Errors in the TMN Protocol
by: Lowe, G, et al.
Published: (1997)

Data independence with predicate symbols
by: Roscoe, A, et al.
Published: (1999)

Crypto-politics and counterfeit democracy
by: Leah Downey, et al.
Published: (2023-01-01)

(Un)Corporate Crypto-Governance
by: C. L. Reyes
Published: (2021-03-01)

AI Makes Crypto Evolve
by: Behrouz Zolfaghari, et al.
Published: (2022-07-01)

Metaverse, Crypto, and NFTs in Dentistry
by: Kelvin I. Afrashtehfar, et al.
Published: (2022-08-01)

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

On the development of Crypto Industry of Japan
by: Gorchakova T.E.
Published: (2022-10-01)

Markets in crypto-assets regulation: Does it provide legal certainty and increase adoption of crypto-assets?
by: Tina van der Linden, et al.
Published: (2023-01-01)

Data independent induction over structured networks
by: Roscoe, A, et al.
Published: (2000)

The automated verification of timewise refinement
by: Roscoe, A
Published: (2013)

Occam in the specification and verification of microprocessors
by: Roscoe, A
Published: (1992)

Simulation of Dynamic Performance of DeFi Protocol Based on Historical Crypto Market Behavior
by: Iveta Grigorova, et al.
Published: (2023-12-01)

ACA-SDS : adaptive crypto acceleration for secure data storage in big data
by: Xiao, Chunhua, et al.
Published: (2018)

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

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

Crypto Assets in the System of Accounting and Reporting
by: Brukhanskyi Ruslan F., et al.
Published: (2019-06-01)

Crypto-Preservation and the Ghost of Andy Warhol
by: Jon Ippolito
Published: (2022-03-01)

Towards a taxonomy for crypto assets
by: John Fry, et al.
Published: (2023-12-01)

Crypto Currencies and Block Chain System
by: Oana Oprișan, et al.
Published: (2022-09-01)

The Recurrent Reinforcement Learning Crypto Agent
by: Gabriel Borrageiro, et al.
Published: (2022-01-01)

Crypto as an object of contractual obligation under the Regulation on Markets in Crypto Asset (MICA) and the Digital Assets Act (DAA)
by: Cvetković Mihajlo
Published: (2023-01-01)

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

TTP: A case study in combining induction and data independence
by: Roscoe, A, et al.
Published: (1999)