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