Teknik för IT-säkerhet - Slutrapport

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

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.

Share page on social media