Automating Compositional Analysis of Authentication Protocols.

Zichao Zhang Arthur Azevedo de Amorim Limin Jia Corina S. Pasareanu

Published in: FMCAD (2020)

Keyphrases

low cost
data analysis
data mining
data streams