CSP files

CSP files

On this page, you can download CSP files that illustrate the technique we discussed in the paper entitled \"Model checking cryptographic protocols subject to combinatorial attack\" of A.W. Roscoe, Toby Smyth and Long Nguyen at the Oxford University Department of Computer Science.

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Roscoe, T, Nguyen, L
Formáid:	Journal article
Foilsithe / Cruthaithe:	2011

Míreanna comhchosúla

CSP files for payment protocols
de réir: Roscoe, B, et al.
Foilsithe / Cruthaithe: (2011)

On the expressiveness of CSP
de réir: Roscoe, A
Foilsithe / Cruthaithe: (2011)

A CSP Model of a Process−Oriented File System
de réir: Whitehead, J, et al.
Foilsithe / Cruthaithe: (2011)

The expressiveness of CSP with priority
de réir: Roscoe, A
Foilsithe / Cruthaithe: (2015)

Unbounded nondeterminism in CSP
de réir: Roscoe, A
Foilsithe / Cruthaithe: (1988)

Model−checking CSP
de réir: A. W. Roscoe
Foilsithe / Cruthaithe: (1994)

Unbounded nondeterminism in CSP
de réir: Roscoe, A, et al.
Foilsithe / Cruthaithe: (1989)

On the expressive power of CSP refinement
de réir: Roscoe, A
Foilsithe / Cruthaithe: (2003)

Developing and verifying protocols in CSP
de réir: Roscoe, A
Foilsithe / Cruthaithe: (1993)

CSP is expressive enough for pi
de réir: Roscoe, A
Foilsithe / Cruthaithe: (2010)

An Operational Semantics for CSP
de réir: Roscoe, A, et al.
Foilsithe / Cruthaithe: (1986)

CSP and timewise refinement
de réir: Roscoe, A, et al.
Foilsithe / Cruthaithe: (1991)

Specifying problem one using the failures model for CSP and deriving CSP processes which meet this specification
de réir: Roscoe, A
Foilsithe / Cruthaithe: (1985)

Checking noninterference in Timed CSP
de réir: Roscoe, A, et al.
Foilsithe / Cruthaithe: (2013)

Reflections on the need to de−skill CSP
de réir: Roscoe, A
Foilsithe / Cruthaithe: (2014)

Revivals, stuckness and the hierarchy of CSP models
de réir: Roscoe, A
Foilsithe / Cruthaithe: (2009)

Revivals‚stuckness and the hierarchy of CSP Models
de réir: Roscoe, A
Foilsithe / Cruthaithe: (2008)

A CSP solution to the trains problem
de réir: Roscoe, A
Foilsithe / Cruthaithe: (1985)

Compiling Shared Variable Programs into CSP
de réir: Roscoe, A
Foilsithe / Cruthaithe: (2001)

On the expressive power of CSP extended by priority
de réir: Roscoe, A
Foilsithe / Cruthaithe: (2014)

A taxonomy of web services in CSP
de réir: Roscoe, A, et al.
Foilsithe / Cruthaithe: (2005)

The three platonic models of divergence-strict CSP
de réir: Roscoe, A
Foilsithe / Cruthaithe: (2008)

The three Platonic models of divergence−strict CSP
de réir: Roscoe, A
Foilsithe / Cruthaithe: (2008)

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

The timed failures - stability model for CSP
de réir: Reed, G, et al.
Foilsithe / Cruthaithe: (1999)

Static Livelock Analysis in CSP
de réir: Ouaknine, J, et al.
Foilsithe / Cruthaithe: (2011)

Static livelock analysis in CSP
de réir: Ouaknine, J, et al.
Foilsithe / Cruthaithe: (2011)

Static Livelock Analysis in CSP
de réir: Ouaknine, J, et al.
Foilsithe / Cruthaithe: (2011)

Model checking Timed CSP
de réir: Armstrong, P, et al.
Foilsithe / Cruthaithe: (2012)

Communication and correctness in Timed CSP
de réir: Roscoe, A, et al.
Foilsithe / Cruthaithe: (1990)

A taxonomy of web services using CSP
de réir: Momtahan, L, et al.
Foilsithe / Cruthaithe: (2006)

A Taxonomy of Web Services Using CSP
de réir: Momtahan, L, et al.
Foilsithe / Cruthaithe: (2005)

A taxonomy of web services using CSP
de réir: Momtahan, L, et al.
Foilsithe / Cruthaithe: (2004)

SAT−solving in CSP trace refinement
de réir: Palikareva, H, et al.
Foilsithe / Cruthaithe: (2011)

Translating timed automata to tock-CSP
de réir: Khattri, M, et al.
Foilsithe / Cruthaithe: (2011)

Translating Timed Automata to Tock−CSP
de réir: Khattri, M, et al.
Foilsithe / Cruthaithe: (2011)

SAT solving in CSP trace refinement
de réir: Palikareva, H, et al.
Foilsithe / Cruthaithe: (2012)

SAT−Solving in CSP Trace Refinement
de réir: Palikareva, H, et al.
Foilsithe / Cruthaithe: (2012)

SAT-solving in CSP trace refinement
de réir: Palikareva, H, et al.
Foilsithe / Cruthaithe: (2012)

The timed failures−stability model for Timed CSP
de réir: Roscoe, A, et al.
Foilsithe / Cruthaithe: (1996)