RE: protocol analysis

From: Aleksander P. Czarnowski (alekcat_private)
Date: Wed Jul 02 2003 - 08:15:20 PDT

  • Next message: Alfred Huger: "List is now open"

    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 2b30 : Thu Jul 03 2003 - 15:19:45 PDT