A New Effective Approach for Modelling and Verification of Security Protocols.

Olga Siedlecka-Lamch Miroslaw Kurkowski Henryk Piech

Published in: CS&P (2012)

Keyphrases

security protocols
automated design
artificial intelligence
cost effective
end to end
formal verification