From: Aleksander P. Czarnowski (alekc@avet.com.pl)
Date: Wed Jul 02 2003 - 11:15:20 EDT
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
----------------------------------------------------------------------------
This archive was generated by hypermail 2.1.7 : Sat Apr 12 2008 - 10:53:35 EDT