Abstract:
The Universal Mobile Telecommunications System (UMTS) belongs to the third generation of mobile networks. Due to its complex nature modeling of this system requires advanced modeling techniques. The Z notation a formal specification language, used for analysis and modeling of complex systems targeted at the precise formulation of proof about the intended program behavior. The integration of formal methods with the field of mobile communication system is of immense worth. In this paper, we describe establishment of secure connection based formal dynamic model of UMTS mobile communication system and the need of formal methods to model such system is discussed. At the start, static behavior of the system is described and then its dynamic part is explained it terms of operations over the components. The formal specification is analyzed and validated using Z/EVES tool.
Page(s):
176-181
DOI:
DOI not available
Published:
Journal: Proceedings of International Conference on Information Communication Technologies, Volume: 27, Issue: 0, Year: 2008