Technology for IT security - Final report

Authors:

  • Jacob Löfvenberg

Publish date: 2018-01-22

Report number: FOI-R--4496--SE

Pages: 20

Written in: Swedish

Keywords:

  • IT security
  • assurance
  • formal methods
Save report

Abstract

This report describes the work that has been done within the FoT project Teknik för ITsäkerhet (Technology for IT security) during 2015-2017. It addresses questions about identifying security solutions enabling effective IT usage. The project has mainly been done in the form of a number of separate studies within the area. The report summarizes the results of these studies and shortly describes other activities in the project.