A compositional logic for proving security properties of protocols

A compositional logic for proving security properties of protocols

Bibliografiske detaljer
Main Authors:	Durgin, N, Mitchell, J, Pavlovic, D
Format:	Journal article
Udgivet:	2004

Lignende værker

A compositional logic for protocol correctness
af: Durgin, N, et al.
Udgivet: (2001)

A derivation system and compositional logic for security protocols
af: Datta, A, et al.
Udgivet: (2005)

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

Secure protocol composition
af: Datta, A, et al.
Udgivet: (2003)

A derivation system for security protocols and its logical formalization
af: Datta, A, et al.
Udgivet: (2003)

Secure protocol composition (extended abstract)
af: Datta, A, et al.
Udgivet: (2003)

Proving the Herman-Protocol Conjecture
af: Bruna, M, et al.
Udgivet: (2016)

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

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

Symbolic logic and mechanical theorem proving /
af: 336504 Chang, Chin-Ling, et al.
Udgivet: (1973)

Automated theorem proving : a logical basis /
af: 403272 Loveland, Donald W.
Udgivet: (1978)

A Human Oriented Logic for Automatic Theorem Proving
af: Nevins, Arthur J.
Udgivet: (2004)

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

Conditional and preferential logics : proof methods and theorem proving /
af: 518526 Pozzato, Gian Luca
Udgivet: (c201)

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

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

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

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

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

Derivation of the JFK protocol
af: Datta, A, et al.
Udgivet: (2002)

Deriving secure network protocols for enterprise service architectures
af: Anlauff, M, et al.
Udgivet: (2006)

Meter proving /
af: Institute of Petroleum (Great Britain)
Udgivet: (1985)

Heroes proved /
af: North, Oliver, author
Udgivet: (2012)

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

Distance bounding protocols: authentication logic analysis and collusion attacks
af: Meadows, C, et al.
Udgivet: (2006)

Formalizing Physical Security Properties
af: Meadows, C, et al.
Udgivet: (2013)

Specifying and Proving Properties of Guardians for Distributed Systems
af: Hewitt, Carl, et al.
Udgivet: (2004)

Using simulation techniques to prove timing properties
af: Luchangco, Victor
Udgivet: (2007)

Specifying and Proving Properties of Guardians for Distributed Systems
af: Hewitt, Carl, et al.
Udgivet: (2008)

A framework for compositional verification of security protocols
af: Andova, S, et al.
Udgivet: (2006)

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

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

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

Logic of build fusion
af: Pavlovic, D
Udgivet: (2000)

Simulation Techniques for Proving Properties of Real-time Systems
af: Lynch, Nancy A.
Udgivet: (2023)

Proving acceptability properties of relaxed nondeterministic approximate programs
af: Carbin, Michael James, et al.
Udgivet: (2012)

The Exception Proves the Rule
af: Holton, Richard
Udgivet: (2009)

The Exception Proves the Rule
af: Holton, Richard
Udgivet: (2011)

Theorem proving [filem]
Udgivet: (1969)

Theorem proving [kasetvideo]
Udgivet: (1969)