External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Formal Analysis of Security Procedures in LTE - A Feasibility Study

Noomene Ben Henda, Karl Norrman. Formal Analysis of Security Procedures in LTE - A Feasibility Study. In Angelos Stavrou, Herbert Bos, Georgios Portokalidis, editors, Research in Attacks, Intrusions and Defenses - 17th International Symposium, RAID 2014, Gothenburg, Sweden, September 17-19, 2014. Proceedings. Volume 8688 of Lecture Notes in Computer Science, pages 341-361, Springer, 2014. [doi]

Authors

Noomene Ben Henda

This author has not been identified. Look up 'Noomene Ben Henda' in Google

Karl Norrman

This author has not been identified. Look up 'Karl Norrman' in Google
runs on