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 |
|