On the Application of Formal Description Techniques to the Design of Interception Systems for GSM Mobile Terminals

TitleOn the Application of Formal Description Techniques to the Design of Interception Systems for GSM Mobile Terminals
Publication TypeJournal Article
Year of Publication2002
AuthorsFernández-Iglesias, M. J., González-Castaño F. J., Llamas-Nistal M., Pousada-Carballo J. M., & Vales-Alonso J.
Published inJournal of Systems and Software
Volume60
Issue1
Page(s)49-56
Other Numbers2531
Bibliographic Notes

Journal of Systems and Software, Vol. 60, Issue 1, pp. 49-56

Abbreviated Authors

M. J. Fernández, J. González, M. Llamas, J. M. Pousada, and J. Vales

ICSI Research Group

Networking and Security

ICSI Publication Type

Article in journal or magazine