Know Your Enemy: Compromising Adversaries in Protocol Analysis.

David A. Basin Cas Cremers

Published in: ACM Trans. Inf. Syst. Secur. (2014)

Keyphrases

formal analysis
data analysis
quantitative analysis
neural network
data mining
information retrieval
artificial intelligence
decision making
end to end
coloured petri nets