5Greasoner: A property-directed security and privacy analysis framework for 5G cellular network protocol

Keyphrases

• Communication Protocol 100%
• Security Privacy 100%
• Security Analysis 100%
• Privacy Analysis 100%
• Protocol Stack 66%
• Security Implications 33%
• Two-layer 33%
• Multiple Layers 33%
• Security Assurance 33%
• Privacy Guarantees 33%
• Packet Payload 33%
• Model Checker 33%
• Protocol Model 33%
• Adversarial Environment 33%
• Privacy Implications 33%
• Formal Verification 33%
• Cryptographic Protocols 33%
• Control Layer 33%

Computer Science

• Network Protocols 100%
• Security and Privacy 100%
• Cellular Network 100%
• Analysis Framework 100%
• Layer Protocol 66%
• Protocol Stack 66%
• Security Implication 33%
• Packet Payload 33%
• model checker 33%
• Cryptographic Protocol 33%
• Privacy Implication 33%
• Formal Verification 33%