Output details

Verification and Trade-Off Analysis of Security Properties in UML System Models

<07>Engineering of complex IT systems often requires negotiation between conflicting requirements. For example, ensuring security requires extra computational resources which may result in performance reduction. As a result, designing a real-world system involves compromising and sacrificing certain requirements at the expense of more important ones. Existing methods mostly cope with a single aspect of the system, for example either security or performance. This paper reports on an international effort on creating a modelling approach that brings three independent sets of techniques and uses trade-off analysis for making correct design decisions scientifically.