TARTU ÜLIKOOL

MATEMAATIKA-INFORMAATIKATEADUSKOND

Arvutiteaduse instituut

Teoreetilise informaatika õppetool

Informaatika eriala

Liina Kamm

Turvalise tarkvara arendamine UMLsec abil

Semestritöö

Juhendaja: vanemteadur Peeter Laud

TARTU 2004