Security Issues in the 5G Standard and How Formal Methods Come to the Rescue.
Lucca HirschiRalf SasseJannik DreierPublished in: ERCIM News (2019)
Keyphrases
- security issues
- formal methods
- information security
- security threats
- security mechanisms
- security problems
- formal analysis
- cloud computing
- artificial intelligence
- safety critical
- formal specification
- software engineering
- development lifecycle
- knowledge based systems
- process algebra
- enterprise network
- model checking
- technical issues
- security properties
- relational databases
- knowledge base
- real time