Specification and Verification of Security Protocols and their Utilization in Scenario-based Requirements Engineering

Koch, Thorsten

Specification and Verification of Security Protocols and their Utilization in Scenario-based Requirements Engineering (bibtex)

@PhdThesis{phdKoch,
  author =   {Thorsten Koch},
  title =    {Specification and Verification of Security Protocols and their Utilization in Scenario-based Requirements Engineering},
  school =   {Universit\"at Paderborn},
  month = 05,
  year =   2024,
  url = {https://digital.ub.uni-paderborn.de/hs/download/pdf/7639266},
}