Signaling System 7 (SS7) Message Transfer Part 3 (MTP3) - User Adaptation Layer (M3UA)

doi:10.17487/rfc4666

Cited by 4 publications

References 8 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

Model checking C++ programs

Monteiro

Gadelha

Cordeiro

2021

Software Testing Verif & Rel

View full text Add to dashboard Cite

In the last three decades, memory safety issues in system programming languages such as C or C++ have been one of the most significant sources of security vulnerabilities. However, there exist only a few attempts with limited success to cope with the complexity of C++ program verification. We describe and evaluate a novel verification approach based on bounded model checking (BMC) and satisfiability modulo theories (SMT) to verify C++ programs. Our verification approach analyses bounded C++ programs by encoding into SMT various sophisticated features that the C++ programming language offers, such as templates, inheritance, polymorphism, exception handling, and the Standard Template Libraries. We formalize these features within our formal verification framework using a decidable fragment of first-order logic and then show how state-of-the-art SMT solvers can efficiently handle that. We implemented our verification approach on top of ESBMC. We compare ESBMC to LLBMC and DIVINE, which are state-of-the-art verifiers to check C++ programs directly from the LLVM bitcode. Experimental results show that ESBMC can handle a wide range of C++ programs, presenting a higher number of correct verification results. Additionally, ESBMC has been applied to a commercial C++ application in the telecommunication domain and successfully detected arithmetic-overflow errors, which could potentially lead to security vulnerabilities.

show abstract

Model checking C++ programs

Monteiro

Gadelha

Cordeiro

2021

Software Testing Verif & Rel

View full text Add to dashboard Cite

show abstract

Reliable Signalling Transport in Next Generation Networks

Vazquez

Álvarez-Campana

Hernández

et al.

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. Next-generation network architectures aim at the convergence of services (e.g. telephony, television, Web access, online games, and new services) over a common IP core. Additionally, the integration of wired and wireless access technologies will offer users ubiquitous access to all those services. Telecommunications networks rely on signalling protocols to perform key service control functions such as locating and authenticating users, establishing communication sessions, reserving resources, charging, etc. Signalling is crucial for network operators and so requires a transport service with very high availability and low delay. Traditionally, operators have deployed dedicated and highly redundant signalling networks following ITU-T standards. More recently, and motivated by the current evolution towards IP, the IETF has defined SIGTRAN, a new protocol suite intended to transport signalling protocols over IP. This paper addresses the problem of configuring the protocol mechanisms existing at different layers of the SIGTRAN architecture in a coordinated way, with the goal of creating a redundant network topology able to meet the stringent availability levels required for signalling in carrier-grade networks. The proposed solution is described and evaluated numerically.

show abstract

A seamless wireless network switching tunnel for ubiquitous healthcare environment

Cheng

et al. 2012

The 1st IEEE Global Conference on Consumer Electronics 2012

View full text Add to dashboard Cite

A hospital's mobile nursing cart can collect clinical data via Wi-Fi networks and save data in the server side. This service not only provides better medical care, but also enhances staff productivity. However, the coverage of Wi-Fi is limited and signal dead ends will result in wireless disconnection. This problem can be solved by switching between Wi-Fi and 3G. The physical connection must be disconnected and be reconnected again. Therefore, it is interesting to design a mechanism to keep the physical connection continuous. This research designs a Stream Control Transmission Protocol Tunnel (SCTP-Tunnel) middleware. This middleware can be used to build a tunnel between client and server sides such that the SCTP packets can carry the TCP packets and solve the problem of disconnection caused by the one-to-one TCP. The proposed SCTP-Tunnel is compatible with IPv4 and IPv6 and can be adopted without modifying the applications. This design utilizes the SCPT packet acknowledge and multi-homing mechanisms to achieve network fault tolerance. It is feasible to provide a tunnel service via the SCTP-Tunnel and connect to service indirectly without changing the original system architecture to approach the Wi-Fi and 3G switching seamlessly. Such a service will also provide quality long-term healthcare services in the healthcare enterprise.

show abstract

Signaling System 7 (SS7) Message Transfer Part 3 (MTP3) - User Adaptation Layer (M3UA)

Cited by 4 publications

References 8 publications

Model checking C++ programs

Model checking C++ programs

Reliable Signalling Transport in Next Generation Networks

A seamless wireless network switching tunnel for ubiquitous healthcare environment

Contact Info

Product

Resources

About