Verification of Group Key Management of IEEE 802.21 using ProVerif.

Ryoga Noguchi Yoshikazu Hanatani Kazuki Yoneyama

Published in: APKC@AsiaCCS (2020)

Keyphrases

model checking
intelligent agent technology
databases
wireless lan
formal methods
formal verification
machine learning
information retrieval
information systems
image processing
multi agent
evolutionary algorithm
search engine
fingerprint verification
high security
concurrent systems
data sets