Formal verification of RACE protocol using SSM

Hahnseng Kim, Jin Young Choi, Ando Ki, Woo Jong Han

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    2 Citations (Scopus)

    Fingerprint

    Dive into the research topics of 'Formal verification of RACE protocol using SSM'. Together they form a unique fingerprint.

    Keyphrases

    Computer Science