• RecordNumber
    54351
  • Author

    Giampaolo bella

  • Title

    Formal correctness of security protocols

  • Publication
    Springer
  • Publication Year
    2007
  • Collation
    294
  • نام فايل
    IUST B488 -- B488D20
    • Link To Document
    https://dl.iust.ac.ir/dl/search/default.aspx?Term=54351&Field=0&DTC=2