Deim Seminar
Title
A formal approach to security engineering
Conferenciant
Anis Bkakria
Professor/a organitzador/a
Josep Domingo-Ferrer
Institution
Télécom-Bretagne
Date
14-04-2015 10:30
Summary
I will present our approach allowing for a given security and utility requirements, the selection of a combination of mechanisms and the way it will be applied to enforce them. Our approach uses: (1) a formal model based on a well-founded language allowing in one hand data owners to specify their security and utility requirements over the data to be outsourced and in an another hand to formalize the set of security mechanisms that can be used for the protection of outsourced data. (2) A reasoning method for our formal model to choose the right combination of security mechanisms that can enforce the chosen policy.
Place
Laboratori 231
Language
Anglès
