A compositional logic for proving security properties of protocols

A compositional logic for proving security properties of protocols

Bibliografski detalji
Glavni autori:	Durgin, N, Mitchell, J, Pavlovic, D
Format:	Journal article
Izdano:	2004

Slični predmeti

A compositional logic for protocol correctness
od: Durgin, N, i dr.
Izdano: (2001)

A derivation system and compositional logic for security protocols
od: Datta, A, i dr.
Izdano: (2005)

Proving Authentication Properties in the Protocol Derivation Assistant
od: Anlauff, M, i dr.
Izdano: (2006)

Secure protocol composition
od: Datta, A, i dr.
Izdano: (2003)

A derivation system for security protocols and its logical formalization
od: Datta, A, i dr.
Izdano: (2003)

Secure protocol composition (extended abstract)
od: Datta, A, i dr.
Izdano: (2003)

Proving the Herman-Protocol Conjecture
od: Bruna, M, i dr.
Izdano: (2016)

Proving security protocols with model checkers by data independence techniques
od: Roscoe, A, i dr.
Izdano: (1999)

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

Symbolic logic and mechanical theorem proving /
od: 336504 Chang, Chin-Ling, i dr.
Izdano: (1973)

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

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

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

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

Bayesian Authentication: Quantifying Security of the Hancke−Kuhn Protocol
od: Pavlovic, D, i dr.
Izdano: (2010)

An encapsulated authentication logic for reasoning about key distribution protocols
od: Cervesato, I, i dr.
Izdano: (2005)

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

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

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

Derivation of the JFK protocol
od: Datta, A, i dr.
Izdano: (2002)

Deriving secure network protocols for enterprise service architectures
od: Anlauff, M, i dr.
Izdano: (2006)

Meter proving /
od: Institute of Petroleum (Great Britain)
Izdano: (1985)

Heroes proved /
od: North, Oliver, author
Izdano: (2012)

Deriving secrecy properties in key establishment protocols
od: Pavlovic, D, i dr.
Izdano: (2006)

Formalizing Physical Security Properties
od: Meadows, C, i dr.
Izdano: (2013)

Distance bounding protocols: authentication logic analysis and collusion attacks
od: Meadows, C, i dr.
Izdano: (2006)

Specifying and Proving Properties of Guardians for Distributed Systems
od: Hewitt, Carl, i dr.
Izdano: (2004)

Using simulation techniques to prove timing properties
od: Luchangco, Victor
Izdano: (2007)

Specifying and Proving Properties of Guardians for Distributed Systems
od: Hewitt, Carl, i dr.
Izdano: (2008)

A framework for compositional verification of security protocols
od: Andova, S, i dr.
Izdano: (2006)

Abstraction and refinement in protocol derivation
od: Datta, A, i dr.
Izdano: (2004)

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

Physiotherapy Rehabilitation for Osteoporotic Vertebral Fracture (PROVE): study protocol for a randomised controlled trial.
od: Barker, K, i dr.
Izdano: (2014)

Logic of build fusion
od: Pavlovic, D
Izdano: (2000)

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

Proving acceptability properties of relaxed nondeterministic approximate programs
od: Carbin, Michael James, i dr.
Izdano: (2012)

The Exception Proves the Rule
od: Holton, Richard
Izdano: (2009)

The Exception Proves the Rule
od: Holton, Richard
Izdano: (2011)

Theorem proving [filem]
Izdano: (1969)

Theorem proving [kasetvideo]
Izdano: (1969)