Provided by: SecurityTube.net
Date Added: Dec 2014
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.