I think that a good starting point for more advance discussion related to protocol design and analysis would be:
"Modelling and Analysis of Security Protocols" by Gavin Lowe, S. A. Schneider, Bill Roscoe, M. H. Goldsmith, P. Y. A. Ryan, G. Lowe, A.W. Roscoe Beside great SPIKE suite you can also give a try to FSMax from Foundstone if you are looking for tools. Just 2 cents, Best Regards, Aleksander Czarnowski AVET INS --------------------------------------------------------------------------- Latest attack techniques. You're a pen tester, but is google.com still your R&D team? Now you can get trustworthy commercial-grade exploits and the latest techniques from a world-class research group. Visit us at: www.coresecurity.com/promos/sf_ept1 or call 617-399-6980 ----------------------------------------------------------------------------
