Ivannikov Institute for System Programming of the RAS

Verification of security and mobility features of IP protocols.

This project was devoted to research and development of formal methods for modeling telecommunication protocols in terms of security and mobility. Also new methods and tools were developed for automated tests generation used to check compliance with Internet standards. This project was done in collaboration with Programming technologies department.


Computer Systems

Go to the list of projects