Showing 1 - 3 results of 3 for search '"Needham–Schroeder protocol"', query time: 0.11s Refine Results
  1. 1
    VERIFICATION OF KEY MANAGEMENT CRYPTOGRAPHIC PROTOCOLS WITH COLORED PETRI NETS

    VERIFICATION OF KEY MANAGEMENT CRYPTOGRAPHIC PROTOCOLS WITH COLORED PETRI NETS by Nadezhda S. Mogilevskaya, Sergey S. Kolchanov

    Published 2011-11-01
    Subjects:
    Get full text
    Article
  2. 2
    VERIFICATION OF KEY MANAGEMENT CRYPTOGRAPHIC PROTOCOLS WITH COLORED PETRI NETS

    VERIFICATION OF KEY MANAGEMENT CRYPTOGRAPHIC PROTOCOLS WITH COLORED PETRI NETS by Nadezhda S. Mogilevskaya, Sergey S. Kolchanov

    Published 2018-07-01
    Subjects:
    Get full text
    Article
  3. 3
    Using TLA+/TLC for modeling and verification of cryptographic protocols

    Using TLA+/TLC for modeling and verification of cryptographic protocols by Maxim V. Neyzov, Egor V. Kuzmin

    Published 2024-12-01
    Subjects:
    Get full text
    Article

Search Tools: