Timed Model Checking of Security Protocols

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    119 Downloads (Pure)

    Fingerprint

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