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

H.R. Mahrooghi, M.R. Mousavi

Research output: Book/ReportReportAcademic

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 languageEnglish
Place of PublicationEindhoven
PublisherTechnische Universiteit Eindhoven
Number of pages28
Publication statusPublished - 2011

Publication series

NameComputer science reports
Volume1103
ISSN (Print)0926-4515

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