A formal framework for verifying IKA property of protocols.

Shyam P. Joy Priya Chandran

Published in: J. King Saud Univ. Comput. Inf. Sci. (2019)

Keyphrases

main contribution
theoretical framework
database
databases
framework enables
feature selection
evolutionary algorithm
distributed databases