Daniel Poggenpohl

  • Citations Per Year
Learn More
Security certification of complex systems requires a high amount of effort. As a particular challenge, today's systems are increasingly long-living and subject to continuous change. After each change of some part of the system, the whole system needs to be re-certified from scratch (since security properties are not in general modular), which is usually far(More)
Model-based development is a widely accepted methodology where software or parts of it is generated from models. In order to ensure quality properties such as consistency of security requirements the models are often verified prior code generation. In case of evolution, the changed models have to be reverified before re-generation. However, if several(More)
  • 1