Combining Algorithms for Deciding Knowledge in Security Protocols.

Mathilde Arnaud Véronique Cortier Stéphanie Delaune

Published in: FroCoS (2007)

Keyphrases

security protocols
data mining
optimization problems
data mining techniques
end to end
automated design