Formal Analysis of Security Procedures in LTE

Watch Now
Provided by:
Topic: Security
Format: Webcast
The only part of the Long Term Evolution (LTE) security standard that has been formally analyzed is the Authentication and Key Agreement (AKA) procedure. It is not clear how well existing security related verification tools can handle other types of procedures. In this webcast, the presenter will use ProVerif to analyze the procedures related to session management and mobility.
Watch Now

Find By Topic