• RecordNumber
    35595
  • Author

    Bella, Giampaolo

  • Title

    Formal correctness of security protocols

  • Author Statement
    Giampaolo Bella
  • Publication
    Springer
  • Publication Year
    2007
  • Collation
    xviii, 274 p. : ill. ; 24 cm
  • Series
    Information security and cryptography
  • Notes
    9783540492436 , Includes bibliographical references
  • Subject

    Computer security , Data encryption (Computer science)

  • LC Class
    TK
  • LC Number
    5105.59
  • LC CutterNumber
    .B45
  • LC Date
    2007
  • وارد کنندة اطلاعات
    ZADEHMOHAMMADI
    • Link To Document
    https://dl.iust.ac.ir/dl/search/default.aspx?Term=35595&Field=0&DTC=2