Accés ràpid intranet

Més informació...

a a a
Inici

Deiminari

Títol

A formal approach to security engineering

Conferenciant

Anis Bkakria

Professor/a organitzador/a

Josep Domingo-Ferrer

Institució

Tlcom-Bretagne

Data

14-04-2015 10:30

Resum

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.

Lloc

Laboratori 231

Idioma

Angls