Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Modellazione e verifica del controllo degli accessi della piattaforma Android |
|---|---|
| Titolo del progetto di ricerca in inglese | Modeling and Verification of Access Control on Android platform |
| Settore Concorsuale | 09 - Ingegneria industriale e dell'informazione |
| S.S.D | ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI |
| Descrizione sintetica in italiano | L’attività’ di ricerca verterà sullo studio, l’analisi e la verifica di proprietà di sicurezza di applicazioni Android, con particolare attenzione a problematiche legate al controllo degli accessi nativo della piattaforma. Partendo dall’analisi delle applicazioni Android e delle interazioni tra le applicazioni e la piattaforma, verranno definiti modelli formali di applicazioni standard atti a supportare la verifica automatica di proprieta’ di sicurezza e di controllo degli accessi tramite model checking |
| Descrizione sintetica in inglese | The research activity will cover analysis, modeling and verification of security properties related to Android applications, with a close focus on issues related to the native Android access control model. Starting from analyzing Android applications and their interactions with the underlying platform, formal models of standard Android applications will be defined. Such models will be used for formal and automatic verification of security and access control properties by means of model checking techniques |
| Data del bando | 23/03/2012 |
| Numero di assegnazioni per anno | 1 |
| Paesi in cui può essere condotta la ricerca |
Italy |
| Paesi di residenza dei candidati |
All |
| Nazionalità dei candidati |
All |
| Sito web del bando | http://www.unige.it/concorsi/assricerca/ |
| 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? | yes |
| Importo annuale | 22.947 |
| 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) | Laurea V.O. in Informatica o in Ingegneria Informatica. il bando e la modulistica per partecipare alla procedura di valutazione comparativa sono disponibili all'indirizzo: http://www.unige.it/concorsi/assricerca/ Le domande e i CV spediti per e-mail non sono accettati |
| Criteri di selezione in inglese (breve descrizione) | Master Degree in Computer Science or Computer Engineering. Knowledge of Italian language. To apply for research grants fill out the forms available at the following address: http://www.unige.it/concorsi/assricerca/. Applications and CVs sent by e-mail are not accepted |
| Processo di selezione in italiano (breve descrizione) | valutazione dei titoli presentati e colloquio concernente gli argomenti previsti dal bando |
| Processo di selezione in inglese (breve descrizione) | evaluation of titles presented and interview on the subjects specified by the notice |
| Nome dell'Ente finanziatore | Università degli Studi di Genova |
|---|---|
| Tipologia dell'Ente | Public research |
| Paese dell'Ente | Italy |
| Città | Genova |
| Codice postale | 16126 |
| Indirizzo | Via Balbi, 5 |
| Sito web | http://www.unige.it/concorsi/assricerca/ |
| assegnisti@unige.it |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | Fp7/Other |
|---|
| Data di scadenza del bando | 23/04/2012 |
|---|---|
| Come candidarsi | http://www.unige.it/concorsi/assricerca/ |