A compositional logic for proving security properties of protocols

A compositional logic for proving security properties of protocols

Bibliografische gegevens
Hoofdauteurs:	Durgin, N, Mitchell, J, Pavlovic, D
Formaat:	Journal article
Gepubliceerd in:	2004

Gelijkaardige items

A compositional logic for protocol correctness
door: Durgin, N, et al.
Gepubliceerd in: (2001)

A derivation system and compositional logic for security protocols
door: Datta, A, et al.
Gepubliceerd in: (2005)

Proving Authentication Properties in the Protocol Derivation Assistant
door: Anlauff, M, et al.
Gepubliceerd in: (2006)

Secure protocol composition
door: Datta, A, et al.
Gepubliceerd in: (2003)

A derivation system for security protocols and its logical formalization
door: Datta, A, et al.
Gepubliceerd in: (2003)

Secure protocol composition (extended abstract)
door: Datta, A, et al.
Gepubliceerd in: (2003)

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

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

Proving the Herman-Protocol Conjecture
door: Bruna, M, et al.
Gepubliceerd in: (2016)

Automated theorem proving : a logical basis /
door: 403272 Loveland, Donald W.
Gepubliceerd in: (1978)

A Human Oriented Logic for Automatic Theorem Proving
door: Nevins, Arthur J.
Gepubliceerd in: (2004)

Logic for computer science : foundations of automatic theorem proving /
door: 455116 Gallier, Jean H.
Gepubliceerd in: (1986)

Some Research Issues in Higher Order Logic Theorem Proving
door: Melham, T
Gepubliceerd in: (1996)

Bayesian Authentication: Quantifying Security of the Hancke−Kuhn Protocol
door: Pavlovic, D, et al.
Gepubliceerd in: (2010)

An encapsulated authentication logic for reasoning about key distribution protocols
door: Cervesato, I, et al.
Gepubliceerd in: (2005)

Introduction to HOL: A theorem proving environment for higher order logic
Gepubliceerd in: (1993)

Proving the correctness of data link layer protocol in FDDI networks
door: Er, Chuan Teck
Gepubliceerd in: (2009)

Derivation of the JFK protocol
door: Datta, A, et al.
Gepubliceerd in: (2002)

Deriving secure network protocols for enterprise service architectures
door: Anlauff, M, et al.
Gepubliceerd in: (2006)

Distance bounding protocols: authentication logic analysis and collusion attacks
door: Meadows, C, et al.
Gepubliceerd in: (2006)

Formalizing Physical Security Properties
door: Meadows, C, et al.
Gepubliceerd in: (2013)

Meter proving /
door: Institute of Petroleum (Great Britain)
Gepubliceerd in: (1985)

Specifying and Proving Properties of Guardians for Distributed Systems
door: Hewitt, Carl, et al.
Gepubliceerd in: (2004)

Using simulation techniques to prove timing properties
door: Luchangco, Victor
Gepubliceerd in: (2007)

Specifying and Proving Properties of Guardians for Distributed Systems
door: Hewitt, Carl, et al.
Gepubliceerd in: (2008)

Deriving secrecy properties in key establishment protocols
door: Pavlovic, D, et al.
Gepubliceerd in: (2006)

A framework for compositional verification of security protocols
door: Andova, S, et al.
Gepubliceerd in: (2006)

Proving safety properties of an aircraft landing protocol using timed and untimed I/O automata : a case study
door: Umeno, Shinya
Gepubliceerd in: (2007)

Abstraction and refinement in protocol derivation
door: Datta, A, et al.
Gepubliceerd in: (2004)

Physiotherapy Rehabilitation for Osteoporotic Vertebral Fracture (PROVE): study protocol for a randomised controlled trial.
door: Barker, K, et al.
Gepubliceerd in: (2014)

Logic of build fusion
door: Pavlovic, D
Gepubliceerd in: (2000)

Simulation Techniques for Proving Properties of Real-time Systems
door: Lynch, Nancy A.
Gepubliceerd in: (2023)

Proving acceptability properties of relaxed nondeterministic approximate programs
door: Carbin, Michael James, et al.
Gepubliceerd in: (2012)

The Exception Proves the Rule
door: Holton, Richard
Gepubliceerd in: (2009)

The Exception Proves the Rule
door: Holton, Richard
Gepubliceerd in: (2011)

Theorem proving [filem]
Gepubliceerd in: (1969)

Theorem proving [kasetvideo]
Gepubliceerd in: (1969)

Proving programs correct /
door: 389140 Anderson, Robert Brockett, 1941-
Gepubliceerd in: (1979)

A logical view on the Adjoint Functor Theorem
door: Pavlovic, D
Gepubliceerd in: (1992)

How to Prove the Born Rule
door: Wallace, D
Gepubliceerd in: (2010)