Bando per assegno di ricerca
Titolo del progetto di ricerca in italiano | Nuove Applicazioni per l'Information Flow |
---|---|
Titolo del progetto di ricerca in inglese | New applications for Information Flow |
Settore Concorsuale | 09 - Ingegneria industriale e dell'informazione |
S.S.D | ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI |
Descrizione sintetica in italiano | I meccanismi per controllare la sicurezza supervisionano l'esecuzione dei programmi non fidati per assicurarsi che rispettino la politica aziendale desiderata. L'obiettivo di questa ricerca è studiare nuove applicazioni del concetto di controllori per la sicurezza per i programmi reattivi nei domini della Finanza Digitale e degli algoritmi di trading. L'obiettivo è stabilire nuovi limiti superiori ed inferiori per le classi di politiche che possono essere controllate con tali meccanismi a scatola nera e proporre meccanismi di controllo generici che sia in grado di controllare un largo insieme di politiche. |
Descrizione sintetica in inglese | Security enforcement mechanisms like execution monitors are used to make sure that some untrusted program complies with a policy. The purpose of this research is to study new applications of runtime enforcement mechanisms for reactive programs such as Digital Finance and trading algorithms. The purpose is to establish new upper and lower bounds for the class of policies that are enforceable by such black box mechanisms, and propose a generic enforcement mechanism that works for a wide range of policies. |
Data del bando | 03/05/2016 |
Numero di assegnazioni per anno | 1 |
Stanziamento annuale (indicativo) | 20040 |
Periodicità | 12 |
E' richiesta mobilità internazionale? | no |
Paesi in cui può essere condotta la ricerca |
Italy |
Paesi di residenza dei candidati |
OCEANIA AFRICA EUROPE NORTH AMERICA SOUTH AMERICA ASIA OTHER E.U. CHINA (MAINLAND) CHINA (HONG KONG) |
Nazionalità dei candidati |
OCEANIA AFRICA EUROPE NORTH AMERICA SOUTH AMERICA ASIA OTHER E.U. CHINA (MAINLAND) CHINA (HONG KONG) |
Sito web del bando | http://www.unitn.it/ateneo/bando/40824/dipartimento-di-ingegneria-e-scienza-dell-informazione-avviso-di-selezione-per-il-conferimento-di-n |
Destinatari dell'assegno di ricerca (of target group) |
Experienced researcher or 4-10 yrs (Post-Doc) |
---|---|
Importo annuale | 20040 |
Valuta | Euro |
Nome dell'Ente finanziatore | università degli studi di Trento |
---|---|
Tipologia dell'Ente | Public research |
Paese dell'Ente | Italy |
Città | Trento |
Sito web | http://www.unitn.it/ateneo/bando/40824/dipartimento-di-ingegneria-e-scienza-dell-informazione-avviso-di-selezione-per-il-conferimento-di-n |
selezionipolocollina@unitn.it | |
Telefono | +39 0461 281914-1694-1620-1969-3304 |
L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
---|
Data di scadenza del bando | 23/05/2016 - alle ore 00:00 |
---|---|
Come candidarsi | http://www.unitn.it/ateneo/bando/40824/dipartimento-di-ingegneria-e-scienza-dell-informazione-avviso-di-selezione-per-il-conferimento-di-n |