security protocol

full topic name: ‘Formal methods for security protocol verification’

The report should be in the style of an academic paper. In particular it should contain full references and citations. Use of the Internet for research material is encouraged but any sources must be referenced and care should be taken to avoid reliance on unmoderated or unrefereed material. If you are unfamiliar with the structure of an academic report, or how to reference material, you can get advice from e.g. University of Essex Academic Writing Guide. Be sure to reference your sources when needed, otherwise you are liable to be accused of plagiarism. Report structure will vary according to the topic selected but should always contain an introduction and conclusion as part of a logical structure.

Marking criteria:
Reports will be assessed using the following criteria equally weighted:
– Structure and presentation. Use a logical structure, present the material is clear and correct language.
– Scope and depth of content. The scope must be well defined, and the depth of content should be adjusted to how wide or narrow the scope is. If the scope is wide the content is normally shallow, and if the scope is narrow the content goes deep.
– Evidence of independent research and analysis. The presented material needs to show evidence of independent analysis and contribution. This can take many forms. E.g. draw some independent conclusion, or conduct an interview and reflect and analyse on the results.
– Proper use of references. Always reference material used. Both traditional literature and articles as well as web references can be used.
As a general principle, reports consisting only of summaries of references will not gain a high score. To gain a high score, reports should contain some independent thought or analysis, for example in the form of: critical comparisons of systems, critical analysis of existing solutions, critical analysis of previous work or proposals, experimental evidence (such as on a computer network), statistical analysis of data, or interviews with experts or lay persons.