• Title of article

    Bisimulation-based non-deterministic admissible interference and its application to the analysis of cryptographic protocols

  • Author/Authors

    John Mullins، نويسنده , , Stéphane Lafrance، نويسنده ,

  • Issue Information
    ماهنامه با شماره پیاپی سال 2002
  • Pages
    12
  • From page
    779
  • To page
    790
  • Keywords
    Non-interference , Bisimulation , Model-checking , Cryptographic protocols
  • Journal title
    Information and Software Technology
  • Serial Year
    2002
  • Journal title
    Information and Software Technology
  • Record number

    134982

    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=134982