Keyphrases
Security Privacy
100%
Protocol Implementation
100%
4G LTE
100%
Privacy Analysis
100%
LTE Protocol
100%
Vulnerability
66%
Security Requirements
66%
Privacy Requirements
66%
Popular
33%
Multiple Participants
33%
Encryption
33%
Semantic Model
33%
Design Errors
33%
Internal State
33%
Dynamic Testing
33%
Integrity Protection
33%
Finite State Machine
33%
Model Checker
33%
Denial of Service
33%
Privacy Leakage
33%
Symbolic Models
33%
Stateful
33%
Protocol Design
33%
Cryptographic Protocols
33%
Computer Science
Security and Privacy
100%
Analysis Framework
100%
Security Requirements
66%
Privacy Requirement
66%
Implementation Issue
33%
Open Source
33%
Specific Protocol
33%
Integrity Protection
33%
Finite-State Machine
33%
model checker
33%
Denial-of-Service
33%
Internal State
33%
Privacy Leakage
33%
Cryptographic Protocol
33%