Reconciling operational and epistemic approaches to the formal analysis of crypto-based security protocols

H.R. Mahrooghi; M.R. Mousavi

Reconciling operational and epistemic approaches to the formal analysis of crypto-based security protocols

H.R. Mahrooghi, M.R. Mousavi

Design and Analysis of Systems

Research output: Book/Report › Report › Academic

65 Downloads (Pure)

Abstract

We propose a unifying framework for formal specification and verification of both epistemic and behavioral aspects of security protocols. The main novelty of the proposed framework is the explicit support for cryptographic constructs, which is among the most essential ingredients of security protocols. Due to this feature, the indistinguishability relation for the epistemic constructs gets a dynamic semantics by taking the communicated keys and cryptographic terms in the operational specification into account.

Original language	English
Place of Publication	Eindhoven
Publisher	Technische Universiteit Eindhoven
Number of pages	28
Publication status	Published - 2011

Publication series

Name	Computer science reports
Volume	1103
ISSN (Print)	0926-4515

Access to Document

712140Final published version, 492 KB

Fingerprint Dive into the research topics of 'Reconciling operational and epistemic approaches to the formal analysis of crypto-based security protocols'. Together they form a unique fingerprint.

Cite this

@book{16ccadf5840f4375a2023a7a792e3737,

title = "Reconciling operational and epistemic approaches to the formal analysis of crypto-based security protocols",

abstract = "We propose a unifying framework for formal specification and verification of both epistemic and behavioral aspects of security protocols. The main novelty of the proposed framework is the explicit support for cryptographic constructs, which is among the most essential ingredients of security protocols. Due to this feature, the indistinguishability relation for the epistemic constructs gets a dynamic semantics by taking the communicated keys and cryptographic terms in the operational specification into account.",

author = "H.R. Mahrooghi and M.R. Mousavi",

year = "2011",

language = "English",

series = "Computer science reports",

publisher = "Technische Universiteit Eindhoven",

}

TY - BOOK

T1 - Reconciling operational and epistemic approaches to the formal analysis of crypto-based security protocols

AU - Mahrooghi, H.R.

AU - Mousavi, M.R.

PY - 2011

Y1 - 2011

N2 - We propose a unifying framework for formal specification and verification of both epistemic and behavioral aspects of security protocols. The main novelty of the proposed framework is the explicit support for cryptographic constructs, which is among the most essential ingredients of security protocols. Due to this feature, the indistinguishability relation for the epistemic constructs gets a dynamic semantics by taking the communicated keys and cryptographic terms in the operational specification into account.

AB - We propose a unifying framework for formal specification and verification of both epistemic and behavioral aspects of security protocols. The main novelty of the proposed framework is the explicit support for cryptographic constructs, which is among the most essential ingredients of security protocols. Due to this feature, the indistinguishability relation for the epistemic constructs gets a dynamic semantics by taking the communicated keys and cryptographic terms in the operational specification into account.

M3 - Report

T3 - Computer science reports

BT - Reconciling operational and epistemic approaches to the formal analysis of crypto-based security protocols

PB - Technische Universiteit Eindhoven

CY - Eindhoven

ER -