Login / Signup
Rank Functions Based Inference System for Group Key Management Protocols Verification.
Amjad Gawanmeh
Adel Bouhoula
Sofiène Tahar
Published in:
Int. J. Netw. Secur. (2009)
Keyphrases
</>
cryptographic protocols
information retrieval
multiscale
databases
search engine
model checking
genetic algorithm
information systems
case study
communication protocols