Modelling of security properties in Alloy

Research output: Chapter in Book/Report/Conference proceedingConference contribution

109 Downloads (Pure)

Abstract

We study the problem of verification of security
properties of Session Initiation Protocol (SIP) using the model
analyser Alloy. We propose a novel approach to model analysis
and demonstrating robustness of protocol models in first-order
logic.
Original languageEnglish
Title of host publicationNinth Annual Conference on Privacy, Security and Trust, PST 2011
PublisherIEEE
Pages52-54
Number of pages3
ISBN (Print)978-1-4577-0582-3
DOIs
Publication statusPublished - 2011

Fingerprint Dive into the research topics of 'Modelling of security properties in Alloy'. Together they form a unique fingerprint.

Cite this