Key Issues of a Formally Based Process Model for Security Engineering

@inproceedings{Breu2003KeyIO,
  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},
  year={2003}
}
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

Citations

Publications citing this paper.

94 Citations

051015'06'09'12'15'18
Citations per Year
Semantic Scholar estimates that this publication has 94 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…