Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Modelli formali per ambienti fisici sicuri in presenza di modifiche dinamiche |
|---|---|
| Titolo del progetto di ricerca in inglese | Formal models for secure cyberspaces in a dynamic environment |
| Settore Concorsuale | 09 - Ingegneria industriale e dell'informazione |
| S.S.D | - |
| Settore Concorsuale | 01 - Scienze matematiche e informatiche |
| S.S.D | - |
| Descrizione sintetica in italiano | L'evoluzione tecnologica ha prodotto una proliferazione di sistemi "ciber-fisici" (CPS) che controllano risorse critiche che devono essere protette da agenti malevoli. Si ritiene che una esplicita conoscenza e rappresentazione della topologia dello spazio "ciber-fisico" e della sua dinamica siano fondamentali per poter realizzare approcci di sicurezza che adattino le politiche di controllo in funzione dello stato dinamico dello spazio ciber-fisico. Lo scopo della ricerca è studiare formalismi per la rappresentazione dello spazio ciber-fisico e della sua dinamica e proporre strumenti di analisi di proprietà di sicurezza e di sintesi di politiche. Possibili candidati sono gli approcci basati sulla riscrittura di grafi e sul model checking. |
| Descrizione sintetica in inglese | Ubiquitous computing is resulting in a proliferation of cyber-physical systems (CPS) that host or manage valuable physical and digital assets. These assets can be harmed by malicious agents through both cyber-enabled or physically-enabled attacks, particularly ones that exploit the often ignored interplay between the cyber and physical world. Explicit representation and awareness of the topology of the operational environment of systems as well as its dynamics are key aspects to consider to support adaptive security. The purpose of this research is to investigate formalisms and tools to model cyber-physical spaces and reason about security properties in a dynamic setting. Possible promising candidates include approaches based on graph rewriting and model checking. |
| Data del bando | 15/07/2015 |
| Paesi in cui può essere condotta la ricerca |
Ireland Germany Italy United Kingdom |
| Paesi di residenza dei candidati |
EUROPE AFRICA OCEANIA NORTH AMERICA SOUTH AMERICA ASIA OTHER |
| Nazionalità dei candidati |
EUROPE AFRICA OCEANIA NORTH AMERICA SOUTH AMERICA ASIA OTHER |
| Sito web del bando | http://www.polimi.it/lavora-con-noi/collaborazioni-di-ricerca/assegnidiricerca/ |
| Destinatari dell'assegno di ricerca (of target group) |
Early stage researcher or 0-4 yrs (Post graduate) |
|---|---|
| Processo di selezione in italiano (breve descrizione) | Per partecipare alla selezione, si prega di leggere il bando disponibile sul sito web: http://www.polimi.it/lavora-con-noi/collaborazioni-di-ricerca/assegnidiricerca/ |
| Processo di selezione in inglese (breve descrizione) | In order to participate in the selection, please read the notice of selection (“bando”) available at the following website: http://www.polimi.it/lavora-con-noi/collaborazioni-di-ricerca/assegnidiricerca/ |
| Nome dell'Ente finanziatore | Dipartimento di Elettronica, Informazione e Bioingegneria |
|---|---|
| Tipologia dell'Ente | Public research |
| Paese dell'Ente | Italy |
| Città | Milano |
| Sito web | http://www.deib.polimi.it |
| assegniricerca@polimi.it |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | Fp7/Ideas-ERC |
|---|
| Data di scadenza del bando | 01/09/2015 |
|---|---|
| Come candidarsi | Other |