Semester page for IN5130 - Autumn 2018

Oblig III on security risk assessment

Deadline midnight November 5

Oct. 24, 2018 6:36 PM

You may draw the trees on paper and scan to pdf if you think that is easier. But remember, the result should be readable.

With respect to the negative traces the following simplification is ok:

  • Make either the tree corresponding to sending "note" first (!note as root) or the tree corresponding to sending "question" first (!question as root).
Oct. 9, 2018 10:44 AM