Formal Analysis of Security Procedures in LTE - A Feasibility Study.

Noomene Ben Henda Karl Norrman

Published in: RAID (2014)

Keyphrases

formal analysis
ban logic
intrusion detection
information security
web services
relational databases
access control
cost effective