Title
A First Order Logic Security Verification Model for SIP
Abstract
It is well known that no security mechanism can provide full protection against a potential attack. There is always a possibility that a security incident may happen, mainly as a result of a new or modified attack that the employed countermeasures cannot handle or identify. It is therefore useful to perform a deferred analysis of logged network data, in an attempt to identify abnormal behavior/traffic that flags some type of security incident that has not been detected by the security countermeasures. Such an analysis of logged data for critical real time applications, like VoIP services, is certainly a valuable tool for enhancing the security level of the provided service. In this paper we introduce a practical tool that can be employed for the analysis of logged VoIP data and thus validate the effectiveness of the security mechanisms and the conformance with the corresponding security policy rules. For the analysis of the data we capitalize on our security model for VoIP services [25] that is based on First Order Logic concepts, while the Protégé API and the Semantic Web Rule Language (SWRL) are also exploited. The proposed tool has been evaluated in terms of an experimental environment, while the results obtained confirm the validity of its operation and demonstrate its effectiveness.
Year
DOI
Venue
2009
10.1109/ICC.2009.5198603
Dresden
Keywords
Field
DocType
Internet telephony,protocols,telecommunication security,telecommunication signalling,SIP,VoIP services,abnormal behavior/traffic identification,first order logic security verification model,logged network data,security mechanisms,semantic Web rule language,session initiation protocol
Security testing,Computer security,Software security assurance,Computer science,Covert channel,Computer network,Security service,Security information and event management,Security policy,Semantic Web Rule Language,Computer security model
Conference
ISSN
ISBN
Citations 
1938-1883 E-ISBN : 978-1-4244-3435-0
978-1-4244-3435-0
2
PageRank 
References 
Authors
0.37
19
4
Name
Order
Citations
PageRank
Geneiatakis, D.120.37
Costas Lambrinoudakis239346.57
G. Kambourakis318510.31
Kafkalas, A.420.37