Timed Analysis of Security Protocols

R.J. Corin, Sandro Etalle, Pieter H. Hartel, Angelika H. Mader

    Research output: Contribution to journalArticleProfessional

    5 Citations (Scopus)

    Fingerprint Dive into the research topics of 'Timed Analysis of Security Protocols'. Together they form a unique fingerprint.