Software systems play an important role in social infrastructures, and in the public and private sectors, for example in core banking, enterprise resource planning systems, electronic medical record systems, telephone exchange systems, etc. In such fundamental systems, we desire not only correctness but also robustness. Formal methods, such as software verification, have focused on correctness rather than robustness. The Spice calculus, which was proposed by Nishizaki et al., is a calculus process which enables us to formalize and analyze the resistance of communication protocols against Denial-of-Service attacks. The key idea of the analysis is analyzing costs of initiators and responders in communication protocols. In this paper, we extend the target area of systems to be analyzed by the Spice calculus and describe a new analysis methodology for distributed systems. We demonstrate analysis of a telephone exchange system, as an example of our methodology. In this paper, we extend the target area of systems to be analyzed by the Spice calculus and show a new analysis methodology for distributed systems. We demonstrate analysis of a telephone exchange system, as an example of our methodology. We set up ISUP of Signaling System No. 7 as a target and formalized a simple telephone network based on it in the framework of the Spice calculus. We then analyzed its connection establishing process and computation cost consumed the connection establishment.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
customersupport@researchsolutions.com
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.