Formalization of Signaling System by Process Calculus

Bruns, 1994, The formalization and analysis of a communications protocol, Formal Aspects of Computing, 6, 92, 10.1007/BF01211082 Cervesato, I.: Towards a Notion of Quantitative Security Analysis. In: D. Gollmann, F. Massacci, A. Yautsiukhin (eds.) Quality of Protection: Security Measurements and Metrics — QoP’05, pp. 131-144. Springer-Verlag Advances in Information Security 23 (2006). Dryburgh, L., Hewitt, J.: Signaling System No. 7 (SS7/C7): Protocol, Architecture, and Services. Cisco Press (2004). Ikeda, 2011, Cooperation of model checking and network simulation of cost analyses of distributed systems, International Journal of Computers and Applications, 33, 10.2316/Journal.202.2011.4.202-3068 Liu, 2007, Verification of the capability exchange signaling protocol, International Journal on Software Tools for Technology Transfer, 9, 305, 10.1007/s10009-007-0037-y Milner, 1992, A calculus of mobile processes, part i and part ii, Information and Computation, 100, 1, 10.1016/0890-5401(92)90008-4 Causes and Plans for Improvements and Counter—Measures based on the Recent Computer System Failures. Mizuho Financial Group (2011). http://www.mizuho-fg.co.jp/english/csr/mizuhocsr/calendar/2010/highlight_system/plan.html. Nishizaki, 2000, Polymorphic environment calculus and its type inference algorithm, Higher-Order and Symbolic Computation, Kluwer, 13, 239, 10.1023/A:1010010314528 Tomioka, D., Nishizaki, S., Ikeda, R.: A cost estimation calculus for analyzing the resistance to denial-of-service attack. In: Software Security — Theories and Systems., Lecture Notes in Computer Science, vol. 3233, pp. 25-44. Springer Berlin Heidelberg (2004).