Generating LTS for insider attack | Ibrahim Nemli
| | Abstract | Every organization or company relies on some data assets be it in one from or another, both digital assets and physical assets are present. One of the main challenges companies and organizations face is protecting these valuable assets. Many organizations and generally information security have focused on protecting assets from attacks perpetrated by people outside the boundaries of the targeted organization. This has been rather successfully by implementing firewalls, authorization mechanism, policies, encryption and etc. However, on the other side little research focus has been on protecting IT-infrastructures from insiders and dealing with insider attacks.
The objectives of the thesis is to present and extend a model used for detecting threats for insider attacks. The new extensions will incorporate new techniques for measuring probabilities for attacks that can occur in the system under consideration, by using methods from the discipline of static program analysis and model checking. | | Type | Master's thesis [Academic thesis] | | Year | 2015 | | Publisher | Technical University of Denmark, Department of Applied Mathematics and Computer Science | | Address | Richard Petersens Plads, Building 324, DK-2800 Kgs. Lyngby, Denmark, compute@compute.dtu.dk | | Series | DTU Compute M.Sc.-2015 | | Note | DTU supervisor: Christian Probst, cwpr@dtu.dk, DTU Compute | | Electronic version(s) | [pdf] | | Publication link | http://www.compute.dtu.dk/English.aspx | | BibTeX data | [bibtex] | | IMM Group(s) | Computer Science & Engineering |
|