Data independent verification of crypto−protocols

Data independent verification of crypto−protocols

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Roscoe, A, Broadfoot, P, Lowe, G
Formáid:	Journal article
Foilsithe / Cruthaithe:	2000

Míreanna comhchosúla

Automating Data Independence
de réir: Broadfoot, P, et al.
Foilsithe / Cruthaithe: (2000)

Automating Data Independence
de réir: Roscoe, A, et al.
Foilsithe / Cruthaithe: (2000)

Proving security protocols with model checkers by data independence techniques
de réir: Roscoe, A, et al.
Foilsithe / Cruthaithe: (1999)

The perfect spy for model−checking crypto−protocols
de réir: Roscoe, A, et al.
Foilsithe / Cruthaithe: (1997)

Capturing parallel attacks within the data independence framework
de réir: Roscoe, A, et al.
Foilsithe / Cruthaithe: (2002)

Internalising Agents in CSP Protocol Models
de réir: Roscoe, A, et al.
Foilsithe / Cruthaithe: (2002)

On Distributed Security Transactions that Use Secure Transport Protocols
de réir: Broadfoot, P, et al.
Foilsithe / Cruthaithe: (2003)

Analysing a Stream Authentication Protocol Using Model Checking
de réir: Broadfoot, P, et al.
Foilsithe / Cruthaithe: (2002)

Proving security protocols with model checkers by data independence techniques
de réir: Roscoe, A
Foilsithe / Cruthaithe: (1998)

Crypto-Secure Data Management for Healthcare
de réir: Wei Hu
Foilsithe / Cruthaithe: (2024-04-01)

Crypto Governance: Analysing and Comparing Platforms for Crypto Assets Trading
de réir: Sabino Correa
Foilsithe / Cruthaithe: (2020-02-01)

Embedding agents within the intruder to detect parallel attacks
de réir: Roscoe, A, et al.
Foilsithe / Cruthaithe: (2004)

Big-Crypto: Big Data, Blockchain and Cryptocurrency
de réir: Hossein Hassani, et al.
Foilsithe / Cruthaithe: (2018-10-01)

On the response of the global crypto companies to the sanctions against Russian crypto investors
de réir: Gorchakova T.E.
Foilsithe / Cruthaithe: (2022-12-01)

Blockchains as Implementable Mechanisms: Crypto-Ricardian Rent and a Crypto-Coase Theorem
de réir: Prateek Goorha
Foilsithe / Cruthaithe: (2018-09-01)

The reform of the crypto licenses system in Estonia and the Regulation on Markets in Crypto Assets proposal
de réir: Novaković Marko S.
Foilsithe / Cruthaithe: (2021-01-01)

Sapphire: A Configurable Crypto-Processor for Post-Quantum Lattice-based Protocols
de réir: Banerjee, Utsav, et al.
Foilsithe / Cruthaithe: (2022)

Sapphire: A Configurable Crypto-Processor for Post-Quantum Lattice-based Protocols
de réir: Utsav Banerjee, et al.
Foilsithe / Cruthaithe: (2019-08-01)

Crypto-Spatial: A New Direction in Geospatial Data
de réir: D. Rawal, et al.
Foilsithe / Cruthaithe: (2024-11-01)

Crypto-tobiano horses in Hucul breed
de réir: A. Stachurska, et al.
Foilsithe / Cruthaithe: (2015-01-01)

Using CSP to detect errors in the TMN protocol
de réir: Roscoe, A, et al.
Foilsithe / Cruthaithe: (1996)

Using CSP to Detect Errors in the TMN Protocol
de réir: Lowe, G, et al.
Foilsithe / Cruthaithe: (1997)

Data independence with predicate symbols
de réir: Roscoe, A, et al.
Foilsithe / Cruthaithe: (1999)

Is crypto legitimate? Study on the relationship between legitimacy and public engagement on crypto market in Indonesia
de réir: Rangga Almahendra, et al.
Foilsithe / Cruthaithe: (2024-07-01)

Occam in the specification and verification of microprocessors
de réir: Roscoe, A
Foilsithe / Cruthaithe: (1992)

The automated verification of timewise refinement
de réir: Roscoe, A
Foilsithe / Cruthaithe: (2013)

Unsupervised Crypto Clustering with NLP
de réir: Zhang, Sammy
Foilsithe / Cruthaithe: (2022)

Crypto communities as legal orders
de réir: Catalina Goanta, et al.
Foilsithe / Cruthaithe: (2020-06-01)

(Un)Corporate Crypto-Governance
de réir: C. L. Reyes
Foilsithe / Cruthaithe: (2021-03-01)

Survey of quantum crypto currency
de réir: Heng-yue JIA, et al.
Foilsithe / Cruthaithe: (2017-02-01)

Preventing fraud in crypto payments
de réir: Louise Damkjær Christensen
Foilsithe / Cruthaithe: (2025-03-01)

Crypto-politics and counterfeit democracy
de réir: Leah Downey, et al.
Foilsithe / Cruthaithe: (2023-01-01)

Metaverse, Crypto, and NFTs in Dentistry
de réir: Kelvin I. Afrashtehfar, et al.
Foilsithe / Cruthaithe: (2022-08-01)

AI Makes Crypto Evolve
de réir: Behrouz Zolfaghari, et al.
Foilsithe / Cruthaithe: (2022-07-01)

On the development of Crypto Industry of Japan
de réir: Gorchakova T.E.
Foilsithe / Cruthaithe: (2022-10-01)

Survey of quantum crypto currency
de réir: Heng-yue JIA,Xia WU,Jian-ming ZHU
Foilsithe / Cruthaithe: (2017-02-01)

Data independent induction over structured networks
de réir: Roscoe, A, et al.
Foilsithe / Cruthaithe: (2000)

Markets in crypto-assets regulation: Does it provide legal certainty and increase adoption of crypto-assets?
de réir: Tina van der Linden, et al.
Foilsithe / Cruthaithe: (2023-01-01)

Architectures for Secure Delegation Within Grids
de réir: Broadfoot, P, et al.
Foilsithe / Cruthaithe: (2003)

Crypto-Assets as Innovative Finance Tools
de réir: A. V. Krupochkin
Foilsithe / Cruthaithe: (2023-07-01)