External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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

Thorsten Koch, Stefan Dziwok, Jörg Holtmann, Eric Bodden. Scenario-based specification of security protocols and transformation to security model checkers. In Eugene Syriani, Houari A. Sahraoui, Juan de Lara, Silvia Abrahão, editors, MoDELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, Virtual Event, Canada, 18-23 October, 2020. pages 343-353, ACM, 2020. [doi]

Authors

Thorsten Koch

This author has not been identified. Look up 'Thorsten Koch' in Google

Stefan Dziwok

This author has not been identified. Look up 'Stefan Dziwok' in Google

Jörg Holtmann

This author has not been identified. Look up 'Jörg Holtmann' in Google

Eric Bodden

This author has not been identified. It may be one of the following persons: Look up 'Eric Bodden' in Google
runs on