A derivation system for security protocols and its logical formalization

A derivation system for security protocols and its logical formalization

Manylion Llyfryddiaeth
Prif Awduron:	Datta, A, Derek, A, Mitchell, J, Pavlovic, D
Fformat:	Conference item
Cyhoeddwyd:	IEEE 2003

Eitemau Tebyg

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

Secure protocol composition
gan: Datta, A, et al.
Cyhoeddwyd: (2003)

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

Secure protocol composition (extended abstract)
gan: Datta, A, et al.
Cyhoeddwyd: (2003)

Derivation of the JFK protocol
gan: Datta, A, et al.
Cyhoeddwyd: (2002)

A compositional logic for proving security properties of protocols
gan: Durgin, N, et al.
Cyhoeddwyd: (2004)

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

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

Formalizing Physical Security Properties
gan: Meadows, C, et al.
Cyhoeddwyd: (2013)

Formal verification of security protocols
gan: Mok, Xin Mun
Cyhoeddwyd: (2022)

Formal derivation of concurrent garbage collectors
gan: Pavlovic, D, et al.
Cyhoeddwyd: (2010)

Formal analysis of modern security protocols in current standards
gan: Horvat, M
Cyhoeddwyd: (2015)

A formal specification and verification framework for timed security protocols
gan: Li, Li, et al.
Cyhoeddwyd: (2020)

Deriving‚ attacking and defending the GDOI protocol
gan: Meadows, C, et al.
Cyhoeddwyd: (2004)

Deriving authentication for pervasive security
gan: Pavlovic, D, et al.
Cyhoeddwyd: (2008)

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

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

On Galois correspondences in formal logic
gan: Yim, A
Cyhoeddwyd: (2012)

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

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

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

Contextualizing formal verification for systems security engineering
gan: Shaked, A, et al.
Cyhoeddwyd: (2024)

The logic of the nation: nationalism, formal logic, and interwar Poland
gan: Dunning, DE
Cyhoeddwyd: (2018)

A Formal Approach To The Protocol Converter Problem
gan: Avnit, K, et al.
Cyhoeddwyd: (2008)

Succinctness as a Source of Complexity in Logical Formalisms
gan: Gottlob, G, et al.
Cyhoeddwyd: (1999)

Formal Verification of the xDAuth Protocol
gan: Alam, Q., et al.
Cyhoeddwyd: (2016)

Experimental biological protocols with formal semantics
gan: Abate, A, et al.
Cyhoeddwyd: (2018)

Formal verification and dynamic validation of logic-based control systems
gan: Park, Taeshin, 1966-
Cyhoeddwyd: (2010)

Logic of build fusion
gan: Pavlovic, D
Cyhoeddwyd: (2000)

A formal analysis of the signal messaging protocol
gan: Cohn-Gordon, K, et al.
Cyhoeddwyd: (2017)

Separation microkernel security studies and its formal verification related work
gan: Lu, Shengliang
Cyhoeddwyd: (2016)

Formal notes on the substitutional analysis of logical consequence
gan: Halbach, V
Cyhoeddwyd: (2020)

A logical view on the Adjoint Functor Theorem
gan: Pavlovic, D
Cyhoeddwyd: (1992)

Formalizing voting protocol in process algebra
gan: Ban, Ainita, et al.
Cyhoeddwyd: (2014)

FORMAL DERIVATION OF A PATTERN-MATCHING ALGORITHM
gan: Bird, R, et al.
Cyhoeddwyd: (1989)

Formal Derivation of a Pattern Matching Algorithm
gan: Bird, R, et al.
Cyhoeddwyd: (1989)

Formal Derivation of a Pattern Matching Algorithm
gan: Bird, R, et al.
Cyhoeddwyd: (1989)

Categorical logic of names and abstraction in action calculus
gan: Pavlovic, D
Cyhoeddwyd: (1997)

Formal methods for the analysis of wireless network protocols
gan: Fruth, M
Cyhoeddwyd: (2011)

A Formally Reliable Cognitive Middleware for the Security of Industrial Control Systems
gan: Khan, Muhammad Taimoor, et al.
Cyhoeddwyd: (2018)