Kristian Beckers

  • Security Requirements Engineering and Privacy (Problem Frames)
  • Security Standards (ISO 27000, Common Criteria)
  • Formal Methods and Software Specification Techniques (Z, UML)
  • Distributed and Real Time Systems (Peer-to-Peer, Cloud Computing, Voice-over-IP)
  • Security Testing (Security Testing Patterns, Fuzzing)
  • Context-Pattern