Un Fondamento Logico per l'Access Control e il Trust Management: Fibred Security Language

Il lavoro di tesi si colloca nell'ambito dei metodi formali per la sicurezza informatica, in particolare per l'access control e il trust managment. I contributi del candidato sono molteplici, in particolare la tesi propone la formalizzazione di un framework logico capace di specificare politiche di accesso per sistemi aperti e altamente distribuiti. Il framework proposto si compone di due parti principali: - Un linguaggio logico dal nome Fibred Security Language (FSL), il quale si basa su una tecnica piu' generale detta "fibring methodology" che si occupa di indagare come comporre logiche diverse all'interno di un unico linguaggio per mezzo di una meta semantica detta appunto "fibred semantics". - Una semantica multimodale capace di valutare le formule del linguaggio e di interconnettere tra loro alcune tra le piu' importanti logiche per l'access control studiate in letteratura. Dato il carattere composizionale delle logiche fibred su cui si basa FSL, il framework proposto non solo risulta essere piu' espressivo rispetto alle gia' esistenti logiche per l'access control, ma permette inoltre di tradurre queste logiche all'interno del linguaggio FSL e di estenderle la loro potenza espressiva per mezzo della semantica multimodale proposta nella tesi. Oltre che dal relatore, parte del lavoro svolto durante lo stage e' stato seguito dal Prof. Leendert van der Torre dell'Universita' del Lussemburgo e da Prof. Dov M. Gabbay del King's College.