Liina Kamm, Tartu Ülikool 2004
Tiitel
Sisukord
Sissejuhatus
UML
UMLsec
Näidisülesanne
Kokkuvõte
English summary
Allikad
PDF täisversioon
Tagasi kodulehele
2.1 UML diagrammide turvalisuse hindamine
UMLsec sisaldab kehtivusreegleid, mille abil hinnatakse, kas mudelile esitatud turvalisusnõuded on korrektselt täidetud. Selleks laiendatakse vastavat formaalset UML semantikat, lisades ründaja (adversary) mõiste. UMLsec profiilis antud piiranguid saab kontrollida täpsel ning formaalselt defineeritud viisil. [4]