Shah Alam

  • UiTM Shah Alam
  • UITM Sarawak
  • UITM Perlis
  • UITM Pulau Pinang
  • UITM Sabah
  • UiTM Negeri Sembilan
  • UiTM Johor
  • UITM Melaka
  • UITM Pahang
  • UITM Kelantan
  • UITM Kedah
  • UITM Perak
  • UITM Terengganu
  • UiTM Libraries
.

The modelling and analysis of security protocols : the CSP approach / P.Y.A. Ryan and S.A. Schneider, with M.H. Goldsmith, G. Lowe and A.W. Roscoe

  • Linear

  • MARC

  •  
    QA76.9.A25
    R93 2001
     
    555227 (Shelf),BOK
    Ryan, Peter

         The modelling and analysis of security protocols : the CSP approach. - Harlow, England , 2001.

         xiv, 300 p. : ill. ; 23 cm.

         ISBN 0201674718.
         
         1. Computer software - Verification 2. Computer network protocols 3. Computer security - Mathematical models 4. Computer networks - Security measures.I. Schneider, Steven II. Title
         Library : UiTM Shah Alam; UITM Perak
    Accn No.Item StatusAdd IdLocationSMDItem Category
    555227ShelfPERPUSTAKAAN TUN ABDUL RAZAK(P1)BOOKRAK TERBUKA (OPEN SHELVES)

Search In

Shelf Browse

No Shelf Browse Data.

Top