Title :
Modelling of security properties in Alloy
Author :
Georgieva, Lilia
Author_Institution :
Sch. of Math. & Comput. Sci., Heriot-Watt Univ., Edinburgh, UK
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.
Keywords :
formal verification; signalling protocols; telecommunication security; first-order logic; model analyser Alloy; security properties modelling; session initiation protocol; Adaptation models; Analytical models; Computational modeling; Metals; Protocols; Registers; Security;
Conference_Titel :
Privacy, Security and Trust (PST), 2011 Ninth Annual International Conference on
Conference_Location :
Montreal, QC
Print_ISBN :
978-1-4577-0582-3
DOI :
10.1109/PST.2011.5971963
