Secrecy Analysis in Protocol Composition Logic.

Arnab Roy Anupam Datta Ante Derek John C. Mitchell Jean-Pierre Seifert

Published in: ASIAN (2006)

Keyphrases

statistical analysis
case study
image analysis
quantitative analysis
databases
lightweight
genetic algorithm
end to end
formal analysis