Key Issues of a Formally Based Process Model for Security Engineering

  title={Key Issues of a Formally Based Process Model for Security Engineering},
  author={Ruth Breu and Klaus Burger and Michael Hafner and Ruth. Breu and Klaus. Burger and Jan J{\"u}rjens and Gerhard Popp and Guido Wimmel and Gerhard. Popp and Guido. Wimmel},
In this paper we outline a new process model for security engineering. This process model extends object oriented, use case oriented software development by systematic security requirements elicitation and realization. In particular, we integrate the modeling of security requirements, threat and risk analysis on the one hand with the modeling of business processes, use cases and the construction of the software architecture on the other hand. Since formal methods play a special role in security… CONTINUE READING
Highly Cited
This paper has 94 citations. REVIEW CITATIONS
33 Citations
23 References
Similar Papers


Publications citing this paper.

94 Citations

Citations per Year
Semantic Scholar estimates that this publication has 94 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.

Similar Papers

Loading similar papers…