A Framework for Validating Session Protocols.

Kit Sum Tse Peter C. Johnson

Published in: IEEE Symposium on Security and Privacy Workshops (2017)

Keyphrases

theoretical framework
computational framework
data sets
probabilistic model
main contribution
computational model
databases
artificial intelligence
computer vision
information systems
case study
conceptual framework