Login / Signup
The 5G Key-Establishment Stack: In-Depth Formal Verification and Experimentation.
Rhys Miller
Ioana Boureanu
Stephan Wesemeyer
Christopher J. P. Newton
Published in:
AsiaCCS (2022)
Keyphrases
</>
formal verification
key establishment
model checking
sensor networks
automated verification
bounded model checking
model checker
wireless sensor networks
symbolic model checking
pairwise
key management
secret key
data sets
temporal logic
service providers
digital libraries
information systems