14 search results - page 2 / 3 » Compositional Verification of a Third Generation Mobile Comm... |
APN
2008
Springer
13 years 6 months ago
2008
Springer
Abstract. In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and verification of properties (like authent...
FM
2006
Springer
13 years 8 months ago
2006
Springer
Formal modeling is a crucial first step in the analysis of safety critical communication protocols such as IP Telephony. These protocols are notoriously resistant to formal modelin...
SIGSOFT
2007
ACM
14 years 5 months ago
2007
ACM
The testing of the performance of opportunistic communication protocols and applications is usually done through simulation as i) deployments are expensive and should be left to t...
VTC
2006
IEEE
13 years 11 months ago
2006
IEEE
— Handover of a call from wireless LAN (WLAN) to third generation cellular system and vice versa is one of the challenges faced by the integrated 3G-WLAN networks. Evolution of 3...
CORR
2010
Springer
13 years 5 months ago
2010
Springer
The third generation partnership project (3GPP) has addressed the feasibility of interworking and specified the interworking architecture and security architecture for third gener...