Formal Model-Driven Discovery of Bluetooth Protocol Design Vulnerabilities.
Jianliang WuRuoyu WuDongyan XuDave Jing TianAntonio BianchiPublished in: IEEE Symposium on Security and Privacy (2022)
Keyphrases
- model driven
- metamodel
- model driven engineering
- model driven development
- data driven
- user interface
- mobile phone
- information systems
- platform independent
- formal analysis
- knowledge discovery
- design process
- service oriented
- design patterns
- business intelligence
- formal specification
- data mining
- learning process
- case study
- e learning
- decision making
- machine learning