Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Ca' Foscari University of Venice - Research fellowship for specific project: Access policy inference and verification through static analysis |
|---|---|
| Titolo del progetto di ricerca in inglese | Ca' Foscari University of Venice - Research fellowship for specific project: Access policy inference and verification through static analysis |
| Campo principale della ricerca | Computer science |
| Sottocampo della ricerca | Informatics |
| Settore Concorsuale | 01 - Scienze matematiche e informatiche |
| S.S.D | INF/01 - INFORMATICA |
| Descrizione sintetica in italiano | I criteri di controllo degli accessi specificano quali risorse cloud sono accessibili da quali entità. Gli SDK consentono agli sviluppatori di accedere tramite codice a queste risorse implementando applicazioni che possono essere eseguite da entità diverse. Tuttavia, le risorse a cui si accede dipendono dai valori (principalmente stringhe) calcolati dall'applicazione. Prevedere quindi quale politica di controllo degli accessi è richiesta da una applicazione è piuttosto complesso. In questo progetto, applichiamo tecniche di interpretazione astratta per sovra prossimare le stringhe calcolate da queste applicazioni e quindi dedurre o convalidare le politiche di controllo degli accessi |
| Descrizione sintetica in inglese | Access control policies specify what cloud resources are accessible by what identities. SDKs allow developers to programmatically access these resources through applications that can be run by different identities. However, what resources are accessed and how depend on the (mostly string) values computed by the application. Therefore, forecasting what access control policy is required by a given application is rather complex. In this project, we apply abstract interpretation techniques to over approximate the string values computed by these applications, and then infer, or validate the access control policies |
| Data del bando | 18/10/2021 |
| Numero di assegnazioni per anno | 1 |
| Stanziamento annuale (indicativo) | 23787 |
| Periodicità | 12 |
| E' richiesta mobilità internazionale? | yes |
| Paesi in cui può essere condotta la ricerca |
Italy |
| Paesi di residenza dei candidati |
OCEANIA AFRICA EUROPE NORTH AMERICA SOUTH AMERICA ASIA |
| Nazionalità dei candidati |
OCEANIA AFRICA EUROPE NORTH AMERICA SOUTH AMERICA ASIA |
| Sito web del bando | https://www.unive.it/data/28825/ |
| 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 | 19367 |
| 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) | TITOLI, PUBBLICAZIONI E COLLOQUIO |
| Criteri di selezione in inglese (breve descrizione) | CV AND INTERWIEV |
| Processo di selezione in italiano (breve descrizione) | TITOLI, PUBBLICAZIONI E COLLOQUIO |
| Processo di selezione in inglese (breve descrizione) | CV AND INTERWIEV |
| Nome dell'Ente finanziatore | UNIVERSITA' CA' FOSCARI VENEZIA |
|---|---|
| Tipologia dell'Ente | Public research |
| Paese dell'Ente | Italy |
| Città | Venezia |
| Sito web | http://www.unive.it |
| segreteria.dais@unive.it | |
| Telefono | 0412348622 |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 03/11/2021 - alle ore 00:00 |
|---|---|
| Come candidarsi | https://apps.unive.it/domandeconcorso-en/accesso/dais2021accesspolicyferrara |