Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Thorsten Koch
conf.researchr.org general profile
MODELS 2020 profile
Registered user since Tue 30 Jun 2020
Name:
Thorsten Koch
Contributions
2020
MODELS
Author of Scenario-based Specification of Security Protocols and Transformation to Security Model Checkers within the Technical Track-track
Share
x
Mon 27 Oct 09:13