Research Article
Hierarchical Group Based Mutual Authentication and Key Agreement for Machine Type Communication in LTE and Future 5G Networks
% OFMC | % Version of 2006/02/13 | SUMMARY | SAFE | DETAILS | BOUNDED_NUMBER_OF_SESSIONS | PROTOCOL | /home/span/span/testsuite/results/Proposed.if | GOAL | as_specified | BACKEND | OFMC | COMMENTS | STATISTICS | parseTime: 0.00s | searchTime: 0.21s | visitedNodes: 8 nodes | depth: 3 plies |
|