Martin Grimeland

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
This paper investigates the suitability of applying the general-purpose Real-Time Maude tool to the formal specification and model checking analysis of time-dependent cryptographic protocols. We restrict the intruders so that they become non-Zeno, and propose a complete analysis method for finding attacks that are reachable from the initial state. Our(More)
  • 1