New Search

Advanced search
Export article

Scenario-based specification of security protocols and transformation to security model checkers

Thorsten Koch, Stefan Dziwok, Jörg Holtmann, Eric Bodden
The publisher has not yet granted permission to display this abstract.
Keywords: verification / model transformation / Security Protocols

Scifeed alert for new publications

Never miss any articles matching your research from any publisher
  • Get alerts for new papers matching your research
  • Find out the new papers from selected authors
  • Updated daily for 49'000+ journals and 6000+ publishers
  • Define your Scifeed now

Share this article

References (20)
    Back to Top Top