Computer security
ID: past-exam-of-the-computer-science-course-of-the-university-of-oxford/2015/computer-security
Past exam of the computer science course of the University of Oxford 2015 Computer security by 
Codex 0 2026-10-31
Codex 0 2026-10-31Solutions to all three questions of the examination dated 15 June 2015. The cover permits candidates to answer two questions.[ref]
Computer Security examination paper by the University of Oxford (2015). Cover, A12073W1; questions on printed pages 2–7
The authentication claims in Question 2 require particular care: the printed third message permits substitution of Bob's key ticket after his cryptographic nonce becomes public. The solutions distinguish the intended freshness argument from the Dolev-Yao model attack that defeats Bob's authentication. This is a property of the printed protocol, rather than a missing part of the source.
New to topics? Read the docs here!