A compositional logic for proving security properties of protocols

A compositional logic for proving security properties of protocols

Detaylı Bibliyografya
Asıl Yazarlar:	Durgin, N, Mitchell, J, Pavlovic, D
Materyal Türü:	Journal article
Baskı/Yayın Bilgisi:	2004

Benzer Materyaller

A compositional logic for protocol correctness
Yazar:: Durgin, N, ve diğerleri
Baskı/Yayın Bilgisi: (2001)

A derivation system and compositional logic for security protocols
Yazar:: Datta, A, ve diğerleri
Baskı/Yayın Bilgisi: (2005)

Proving Authentication Properties in the Protocol Derivation Assistant
Yazar:: Anlauff, M, ve diğerleri
Baskı/Yayın Bilgisi: (2006)

Secure protocol composition
Yazar:: Datta, A, ve diğerleri
Baskı/Yayın Bilgisi: (2003)

A derivation system for security protocols and its logical formalization
Yazar:: Datta, A, ve diğerleri
Baskı/Yayın Bilgisi: (2003)

Secure protocol composition (extended abstract)
Yazar:: Datta, A, ve diğerleri
Baskı/Yayın Bilgisi: (2003)

Proving security protocols with model checkers by data independence techniques
Yazar:: Roscoe, A, ve diğerleri
Baskı/Yayın Bilgisi: (1999)

Proving security protocols with model checkers by data independence techniques
Yazar:: Roscoe, A
Baskı/Yayın Bilgisi: (1998)

Proving the Herman-Protocol Conjecture
Yazar:: Bruna, M, ve diğerleri
Baskı/Yayın Bilgisi: (2016)

A Human Oriented Logic for Automatic Theorem Proving
Yazar:: Nevins, Arthur J.
Baskı/Yayın Bilgisi: (2004)

Logic for computer science : foundations of automatic theorem proving /
Yazar:: 455116 Gallier, Jean H.
Baskı/Yayın Bilgisi: (1986)

Some Research Issues in Higher Order Logic Theorem Proving
Yazar:: Melham, T
Baskı/Yayın Bilgisi: (1996)

Introduction to HOL: A theorem proving environment for higher order logic
Baskı/Yayın Bilgisi: (1993)

An encapsulated authentication logic for reasoning about key distribution protocols
Yazar:: Cervesato, I, ve diğerleri
Baskı/Yayın Bilgisi: (2005)

Bayesian Authentication: Quantifying Security of the Hancke−Kuhn Protocol
Yazar:: Pavlovic, D, ve diğerleri
Baskı/Yayın Bilgisi: (2010)

Proving the correctness of data link layer protocol in FDDI networks
Yazar:: Er, Chuan Teck
Baskı/Yayın Bilgisi: (2009)

Deriving secure network protocols for enterprise service architectures
Yazar:: Anlauff, M, ve diğerleri
Baskı/Yayın Bilgisi: (2006)

Derivation of the JFK protocol
Yazar:: Datta, A, ve diğerleri
Baskı/Yayın Bilgisi: (2002)

Distance bounding protocols: authentication logic analysis and collusion attacks
Yazar:: Meadows, C, ve diğerleri
Baskı/Yayın Bilgisi: (2006)

Formalizing Physical Security Properties
Yazar:: Meadows, C, ve diğerleri
Baskı/Yayın Bilgisi: (2013)

Specifying and Proving Properties of Guardians for Distributed Systems
Yazar:: Hewitt, Carl, ve diğerleri
Baskı/Yayın Bilgisi: (2004)

Using simulation techniques to prove timing properties
Yazar:: Luchangco, Victor
Baskı/Yayın Bilgisi: (2007)

Specifying and Proving Properties of Guardians for Distributed Systems
Yazar:: Hewitt, Carl, ve diğerleri
Baskı/Yayın Bilgisi: (2008)

Deriving secrecy properties in key establishment protocols
Yazar:: Pavlovic, D, ve diğerleri
Baskı/Yayın Bilgisi: (2006)

A framework for compositional verification of security protocols
Yazar:: Andova, S, ve diğerleri
Baskı/Yayın Bilgisi: (2006)

Proving safety properties of an aircraft landing protocol using timed and untimed I/O automata : a case study
Yazar:: Umeno, Shinya
Baskı/Yayın Bilgisi: (2007)

Physiotherapy Rehabilitation for Osteoporotic Vertebral Fracture (PROVE): study protocol for a randomised controlled trial.
Yazar:: Barker, K, ve diğerleri
Baskı/Yayın Bilgisi: (2014)

Abstraction and refinement in protocol derivation
Yazar:: Datta, A, ve diğerleri
Baskı/Yayın Bilgisi: (2004)

Logic of build fusion
Yazar:: Pavlovic, D
Baskı/Yayın Bilgisi: (2000)

Simulation Techniques for Proving Properties of Real-time Systems
Yazar:: Lynch, Nancy A.
Baskı/Yayın Bilgisi: (2023)

Proving acceptability properties of relaxed nondeterministic approximate programs
Yazar:: Carbin, Michael James, ve diğerleri
Baskı/Yayın Bilgisi: (2012)

The Exception Proves the Rule
Yazar:: Holton, Richard
Baskı/Yayın Bilgisi: (2009)

The Exception Proves the Rule
Yazar:: Holton, Richard
Baskı/Yayın Bilgisi: (2011)

Theorem proving [filem]
Baskı/Yayın Bilgisi: (1969)

Theorem proving [kasetvideo]
Baskı/Yayın Bilgisi: (1969)

Proving programs correct /
Yazar:: 389140 Anderson, Robert Brockett, 1941-
Baskı/Yayın Bilgisi: (1979)

A logical view on the Adjoint Functor Theorem
Yazar:: Pavlovic, D
Baskı/Yayın Bilgisi: (1992)

How to Prove the Born Rule
Yazar:: Wallace, D
Baskı/Yayın Bilgisi: (2010)

Accurate Theorem Proving for Program Verification
Yazar:: Cook, B, ve diğerleri
Baskı/Yayın Bilgisi: (2006)

Proving torture: demanding the impossible
Yazar:: Gregg, L, ve diğerleri
Baskı/Yayın Bilgisi: (2017)