Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | SPECIFICA E VERIFICA DI PROPRIETA' PER POLITICHE DI CONTROLLO DEGLI ACCESSI pubblicato sull'Albo Ufficale Ateneo al n.5249 |
|---|---|
| Titolo del progetto di ricerca in inglese | SPECIFICATION AND VERIFICATION OF PROPERTIES FOR ACCESS CONTROL POLICIES |
| Campo principale della ricerca | Information science |
| Sottocampo della ricerca | Other |
| Settore Concorsuale | 01 - Scienze matematiche e informatiche |
| S.S.D | INF/01 - INFORMATICA |
| Descrizione sintetica in italiano | Il progetto si propone di sviluppare metodi e tecniche per automatizzare la verifica di prorpietà per politiche di controllo degli accessi. Obiettivo di tali politiche è la prioiezione di un sistema informatico tramite la restrizione dei diritti di accesso dei soggetti autenticati alle risorse del sistema stesso. Si prevede di strutturare l'attività di ricerca lungo due direzioni principali.Inizialmente l'attività si concentrerà sulla specifica di proprietà relativa alle politiche.Saranno studiate sia proprietà che tengono conto della quantità di provolegi effettivamente necessari per ottenere l'accesso alle risorse del sistema, che proprietà che considerano la storia passata degli accessi e l'effetto della valutazione delle politiche sul sistema controllato.Successivamente l'attività si concentrerà sullo sviluppo di strumenti software di supporto alla verifica automatizzata delle proprietà e sulla loro integrazione con software già esistenti. |
| Descrizione sintetica in inglese | this project aims at developing methods and techniques for automating the verification of properties for access control policies.The objective of these policies is the protection of a computer system through the restriction of the access rights of authenticated subjects to the resources of the system itself. It is expected to structure the research in two main activities.Initially the focus will be on the specification of properties for access control policies.This activity will investigate both properties taking into account the amount of privileges actually required by policies to gain access to system resource, and properties considering the history of accesses and the effect of policy evaluation on the controlled system.Then the activity will focus on the development of software tools to support the automated verification of the properties and their integration with existing software |
| Data del bando | 28/08/2015 |
| Numero di assegnazioni per anno | 1 |
| Stanziamento annuale (indicativo) | 25000 |
| Periodicità | annuale |
| E' richiesta mobilità internazionale? | no |
| Paesi in cui può essere condotta la ricerca |
Italy |
| Paesi di residenza dei candidati |
EUROPE |
| Nazionalità dei candidati |
EUROPE |
| Sito web del bando | http://titulus.unifi.it/albo/viewer?view=files%2F001981896-UNFICLE-a60f8902-cb57-44f0-9edc-f29263536554-000.pdf |
| Destinatari dell'assegno di ricerca (of target group) |
Early stage researcher or 0-4 yrs (Post graduate) |
|---|---|
| Il contratto prevede la copertura delle prestazioni sociali? | no |
| Importo annuale | 25000 |
| Valuta | Euro |
| Comprende lo stipendio dell'assegnista | yes |
| Comprende vitto e spese di viaggio | no |
| Comprende il costo della ricerca | no |
| Massima durata dell'assegno (mesi) | 12 |
| Criteri di selezione in italiano (breve descrizione) | Diploma di Laurea Magistrale della classe D.M. 270/04 in Informatica (LM-18 o Ingegneria Informatica LM 32) o Laurea Specialistica della classe D.M. 509/99 (Informatica 23/S o Ingegneria Informatica 35/S) |
| Criteri di selezione in inglese (breve descrizione) | MASTER DEGREE IN COMPUTER SCIENCE OR COMPUTER ENGINEERING |
| Processo di selezione in italiano (breve descrizione) | PER TITOLI E PER COLLOQUIO |
| Processo di selezione in inglese (breve descrizione) | THE COMPETITION WILL BE CARRIED OUT BY AN EVALUATION OF TITLES AND EXAMINATION, BY MEANS OF AN INTERVIEW |
| Nome dell'Ente finanziatore | UNIVERSITA' STUDI FIRENZE-Dipartimento di Statistica-Informatica Applicazioni |
|---|---|
| Tipologia dell'Ente | Public research |
| Paese dell'Ente | Italy |
| Città | Firenze |
| Codice postale | 50134 |
| Indirizzo | Viale Morgagni 65 |
| Sito web | http://www.unifi.it |
| disia@disia.unifi.it | |
| Telefono | 0552751500 |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 05/10/2015 |
|---|---|
| Come candidarsi | Other |