Formal Analysis of Security Procedures in LTE

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.

Provided by: SecurityTube.net Topic: Security Date Added: Dec 2014 Format: Webcast

Find By Topic