References

  1. Omar Al-Bataineh, Tim French & Terry Woodings (2012): Formal Modeling and Analysis of a Distributed Transaction Protocol in UPPAAL. In: 2012 19th International Symposium on Temporal Representation and Reasoning (TIME). IEEE, pp. 65–72, doi:10.1109/TIME.2012.12. Available at http://ieeexplore.ieee.org/lpdocs/epic03/wrapper.htm?arnumber=6311116.
  2. Tuomas Aura, Pekka Nikander & Gonzalo Camarillo (2004): Effects of mobility and multihoming on transport-protocol security. In: Security and Privacy, 2004. Proceedings. 2004 IEEE Symposium on. IEEE, pp. 12–26, doi:10.1109/SECPRI.2004.1301312.
  3. Gerd Behrmann, Johan Bengtsson, Alexandre David, Kim G Larsen, Paul Pettersson & Wang Yi (2002): UPPAAL Implementation Secrets. Formal Techniques in Real-Time and Fault-Tolerant Systems, pp. 3–22, doi:10.1007/3-540-45739-9_1.
  4. Gerd Behrmann, Alexandre David & Kim G Larsen (2004): A Tutorial on Uppaal. Formal methods for the design of real-time systems November, pp. 200–236, doi:10.1007/978-3-540-30080-9_7.
  5. Sinda Boussen, Nabil Tabbane & Sami Tabbane (2009): Performance analysis of SCTP protocol in WiFi network. In: Computer Sciences and Convergence Information Technology, 2009. ICCIT'09. Fourth International Conference on. IEEE, pp. 178–182, doi:10.1109/ICCIT.2009.30.
  6. Thomas Dreibholz, Erwin P Rathgeb, Irene Rüngeler, Robin Seggelmann, Michael Tüxen & Randall R Stewart (2011): Stream control transmission protocol: Past, current, and future standardization activities. Communications Magazine, IEEE 49(4), pp. 82–88, doi:10.1109/MCOM.2011.5741151.
  7. Charles M. Kozierok (2005): The TCP/IP Guide: A Comprehensive, Illustrated Internet Protocols Reference, 1 edition. No Starch Press, San Francisco. Available at http://www.tcpipguide.com.
  8. Preethi Natarajan, Fred Baker, Paul D Amer & Jonathan T Leighton (2009): SCTP: What, why, and how. Internet Computing, IEEE 13(5), pp. 81–85, doi:10.1109/MIC.2009.114.
  9. Maria Rita Palattella, Nicola Accettura, Xavier Vilajosana, Thomas Watteyne, Luigi Alfredo Grieco, Gennaro Boggia & Mischa Dohler (2013): Standardized protocol stack for the internet of (important) things. Communications Surveys & Tutorials, IEEE 15(3), pp. 1389–1406, doi:10.1109/SURV.2012.111412.00158.
  10. Jon Postel (1981): Transmission Control Protocol. Technical Report. DARPA Information Processing Techniques Office. Available at http://www.ietf.org/rfc/rfc793.txt.
  11. Anuj Sehgal, Vladislav Perelman, Siarhei Kuryla & Jurgen Schonwalder (2012): Management of resource constrained devices in the internet of things. Communications Magazine, IEEE 50(12), pp. 144–149, doi:10.1109/MCOM.2012.6384464.
  12. Paul Stalvig (2014): Introduction to the Stream Control Transmission Protocol (SCTP): The next generation of the Transmission Control Protocol (TCP). Technical Report. Available at https://f5.com/resources/white-papers/introduction-to-the-stream-control-transmission-protocol.
  13. Randall Stewart (2007): Stream Control Transmission Protocol. Technical Report. Network Working Group. Available at http://tools.ietf.org/html/rfc4960..
  14. T Daniel Wallace & Abdallah Shami (2012): A review of multihoming issues using the stream control transmission protocol. Communications Surveys & Tutorials, IEEE 14(2), pp. 565–578, doi:10.1109/SURV.2011.051111.00096. Available at http://ieeexplore.ieee.org/lpdocs/epic03/wrapper.htm?arnumber=5875919.
  15. Eddy Wesley M. (2007): TCP SYN Flooding Attacks and Common Mitigations. Technical Report. Network Working Group. Available at https://tools.ietf.org/html/rfc4987.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org