Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Tecniche di Enforcement per la Sicurezza dei Linguaggi e delle Applicazioni |
|---|---|
| Titolo del progetto di ricerca in inglese | Enforcement Techniques for the Security in Languages and Applications |
| Settore Concorsuale | 01 - Scienze matematiche e informatiche |
| S.S.D | INF/01 - INFORMATICA |
| Descrizione sintetica in italiano | Il progetto TESLA (Tecniche di Enforcement per la Sicurezza dei Linguaggi e delle Applicazioni), finanziato dalla Regione Autonoma della Sardegna, ha tra i suoi obiettivi l'uso di metodi formali per la sicurezza, con un approccio ?verticale? in cui la sicurezza del software è considerata a vari livelli di astrazione. Oltre ad un livello fondazionale, con modelli idealizzati di linguaggi, si considerano altri livelli, ad esempio il livello delle applicazioni, in cui si sperimentano su scenari concreti le tecniche introdotte negli altri livelli. All'interno di questi (toccandoli tutti) si colloca lo studio e la realizzazione di un prototipo di un sistema informatico per la dematerializzazione documentale dell?Università di Cagliari. Il compito dell'assegnista riguarda lo studio di formalismi, basati su automi e su logiche, per la specifica e l'enforcement di proprietà di sicurezza sulla storia dell?esecuzione, che devono trovare applicazione nel contesto del caso di studio. |
| Descrizione sintetica in inglese | The project TESLA (Tecniche di Enforcement per la Sicurezza dei Linguaggi e delle Applicazioni ? Enforcement Techniques for the Security of Programming Languages and Applications), funded by the Regione Autonoma della Sardegna, has, among its targets, the usage of formal methods to address security problems in software, in a ?vertical? view where problems are considered at different abstraction levels. Besides a foundational level, with idealized programming languages, other more concrete levels are considered, e.g., the one of application, in which concretely tests scenarios developed in the other levels. The main case study concern the dematerialization of the documents of the University of Cagliari. The PostDoc duties are focused on the study and development of formalisms based on logics and automata, which allow to specify and enforcing security properties on the execution history within the chosen case study. |
| Data del bando | 07/06/2011 |
| Paesi in cui può essere condotta la ricerca |
Italy |
| Paesi di residenza dei candidati |
All |
| Nazionalità dei candidati |
All |
| Sito web del bando | http://unica2.unica.it/concorsi/index.php?page=assegni&bando=199 |
| Destinatari dell'assegno di ricerca (of target group) |
Experienced researcher or 4-10 yrs (Post-Doc) |
|---|
| Nome dell'Ente finanziatore | Regione Autonoma della Sardegna |
|---|---|
| Tipologia dell'Ente | Other |
| Paese dell'Ente | Italy |
| Città | Cagliari |
| Sito web | http://www.regione.sardegna.it/j/v/80?s=53788&v=2&c=3311&t=1 |
| gmpinna@unica.it | |
| Telefono | 00393280089421 |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 22/06/2011 |
|---|