[ Sikkerhedsprotokoller i UML ]

Projekttitel: Sikkerhedsprotokoller i UML

Kontaktperson: Hanne Riis Nielson, bygning 322.007, hrn@imm.dtu.dk

Beskrivelse: Projektet går ud på at designe og implementere et system som kan transformere mellem de traditionelle tekstuelle beskrivelser af
sikkerhedsprotokoller og de tilsvarende UML diagrammer (f.eks. sequence diagrammer). Projektet kan eventuelt udvides til at reflektere statisk analyse information.

Forudsætninger: Informatikfagpakken

Ønskelige forudsætninger: 02140