A formally verified mechanism for countering SPIT

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6712 LNCS, Issue , 2011, Pages 128-139

  Soupionis, Yannis ^a   Basagiannis, Stylianos ^b   Katsaros, Panagiotis ^b   Gritzalis, Dimitris ^a  

^a ATHENS UNIVERSITY OF ECONOMICS AND BUSINESS   (Greece)

^b ARISTOTLE UNIVERSITY OF THESSALONIKI   (Greece)

Author keywords

Formal verification; Model checking; Policy management; Spam over Internet Telephony (SPIT); Voice over IP (VoIP)

Indexed keywords

FORMAL VERIFICATIONS; KEY TECHNOLOGIES; POLICY BASED MANAGEMENT; POLICY MANAGEMENT; SESSION INITIATION PROTOCOL; SPAM OVER INTERNET TELEPHONY (SPIT); TELEPHONE CALLS; UPPER BOUND; VOICE OVER IP; VOICE OVER IP (VOIP);

CRITICAL INFRASTRUCTURES; INTERNET; MODEL CHECKING; SECURITY OF DATA; VOICE/DATA COMMUNICATION SYSTEMS;

INTERNET TELEPHONY;

EID: 84857378001     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-21694-7_11     Document Type: Conference Paper

References (23)

1. Sawda, S., Urien, O.: SIP security attacks and solutions: A state-of-the-art review. In: Proc. of the IEEE International Conference on Information and Communication Technologies: From Theory to Applications (ICTTA 2006), vol. 2, pp. 3187-3191 (April 2006)
2. Rosenberg, J., Jennings, C.: The Session Initiation Protocol (SIP) and Spam, Network Working Group, RFC 5039 (January 2008)
3. Quittek, J., Niccolini, S., Tartarelli, S., Stiemerling, M., Brunner, M., Ewald, T.: Detecting SPIT Calls by Checking Human Communication Patterns. In: Proc. of IEEE International Conference on Communications (ICC 2007), United Kingdom, pp. 1979-1984 (2007)
4. Graham-Rowe, D.: A Sentinel to Screen Phone Calls Technology. MIT Review (2006) (accessed November 8, 2009)
5. Soupionis, Y., Dritsas, S., Gritzalis, D.: An adaptive policy-based approach to SPIT management. In: Jajodia, S., Lopez, J. (eds.) ESORICS 2008. LNCS, vol. 5283, pp. 446-460. Springer, Heidelberg (2008)
6. Holzmann, G.: The model checker SPIN. IEEE Transaction on Software Engineering 5/23, 279-295 (1997)
7. The SPIN model checker website, http://spinroot.com/ (last access: May 23, 2010)
8. Basagiannis, S., Katsaros, P., Pombortsis, A.: Intrusion Attack Tactics for the Model Checking of e-Commerce Security Guarantees. In: Saglietti, F., Oster, N. (eds.) SAFECOMP 2007. LNCS, vol. 4680, pp. 238-251. Springer, Heidelberg (2007)
9. Holzmann, G.: The SPIN Model Checker - Primer and Reference Manual. Addison Wesley, Reading (2003)
10. Walsh, T., Kuhn, D.: Challenges in securing voice over IP. National Institute of Standard and Technology (NIST), USA
11. Sloman, M., Lupu, E.: Security and management policy specification. IEEE Network, Special Issue on Policy-Based Networking 16(2), 10-19 (2002)
12. Strembeck, M.: Embedding policy rules for software-based systems in a requirements context. In: Proc. of the 6th IEEE International Workshop on Policies for Distributed Systems and Networks, POLICY 2005 (June 2005)
13. Rosenberg, J., et al.: Session Initiation Protocol (SIP), RFC 3261 (June 2002)
14. Cisco Systems, Session Initiation Protocol gateway call flows and compliance information SIP messages and methods overview, http://www.cisco.com/ application/pdf/en/us/guest/products/ps4032/c2001/ccmigration-09186a00800c4bb1. pdf
15. Cisco Systems, SIP Messages and Methods Overview, http://www.cisco.com/ univercd/cc/td/doc/product/software/ios122/rel-docs/sip-flo/preface.pdf
16. SER server version 2.0, http://www.iptel.org/ser (retrieved March 20, 2009)
17. Example SER deployments, http://mit.edu/sip/sip.edu/deployments.shtml
18. Twinkle softphone, http://www.twinklephone.com (retrieved August 25)
19. SIPP traffic generator for the SIP protocol, http://sipp.sourceforge.net/ (retrieved September 30, 2009)
20. Zave, P.: Understanding SIP through model-checking. In: Schulzrinne, H., State, R., Niccolini, S. (eds.) IPTComm 2008. LNCS, vol. 5310, pp. 256-279. Springer, Heidelberg (2008)
21. Liu, L.: Verification of the SIP Transaction Using Coloured Petri Nets. In: Proc. of the 32nd Australasian Computer Science Conference, New Zealand, January 19-23, pp. 63-72 (2009)
22. Schaeffer-Filho, A., Lupu, E., Sloman, M., Eisenbach, S.: Verification of Policy-based Self-Managed Cell Interactions Using Alloy. In: Proc. of the 10th IEEE International Symposium on Policies for Distributed Systems and Networks (Policy 2009), UK (July 2009)
23. Godefroid, P.: Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem, p. 142 (1996)