Modelling of security properties in Alloy
Lilia Georgieva · 2011
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.