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.
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 language | English |
|---|---|
| Title of host publication | Ninth Annual Conference on Privacy, Security and Trust, PST 2011 |
| Publisher | IEEE |
| Pages | 52-54 |
| Number of pages | 3 |
| ISBN (Print) | 978-1-4577-0582-3 |
| DOIs | |
| Publication status | Published - 2011 |