Specification and verification of security protocols and their utilization in scenario-based requirements engineering / by Thorsten Koch ; supervised by: Prof. Dr. Eric Bodden