Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Progettazione e verifica di IoT security API |
|---|---|
| Titolo del progetto di ricerca in inglese | IoT security API - design and verification |
| Settore Concorsuale | 01 - Scienze matematiche e informatiche |
| S.S.D | INF/01 - INFORMATICA |
| Descrizione sintetica in italiano | L'evoluzione IoT sta spingendo verso paradigmi in cui sviluppatori terzi implementano servizi e applicazioni per ecosistemi IoT collaborativi. Come per i sistemi mobili (es., Android), i consorzi di standardizzazione sono spinti a proporre ambienti di integrazione per rappresentare risorse e funzionalità offerte dai dispositivi IoT (es., telecamere e TV smart). Questi framework sono il punto di integrazione sia per gli sviluppatori terzi, che mirano a fornire servizi smart, sia per gli sviluppatori dei produttori di dispositivi, che implementano funzionalità e API specifiche del dispositivo. Data la fase iniziale di sviluppo di questi framework, il programma di ricerca riguarda la progettazione di meccanismi per certificare l'integrazione conforme alla sicurezza tra un'API specifica del dispositivo e funzionalità generiche, utilizzando tecniche di verifica formale per la validazione. |
| Descrizione sintetica in inglese | The evolution of IoT devices is rapidly pushing toward a paradigm where third-party developers implement services and applications for collaborative IoT ecosystems. Similarly as happened in mobile systems (e.g., Android), standardization consortia are pushed to propose integration frameworks representing resources and functionalities offered by IoT devices (e.g., smart cameras and TVs). These frameworks act as an integration point for both third-party application developers, aiming at providing smart services, and device producer developers, implementing device-specific functionalities and API. Given the early stage of development of these frameworks, this research program focuses on the design of mechanisms to certify the security-compliant integration between a device-specific API and generic functionalities, by using formal verification techniques for the validation analysis. |
| Data del bando | 17/05/2024 |
| Numero di assegnazioni per anno | 1 |
| Paesi in cui può essere condotta la ricerca |
OTHER |
| Paesi di residenza dei candidati |
OTHER |
| Nazionalità dei candidati |
OTHER |
| Sito web del bando | http://www.uniurb.it/assegnidiricerca |
| Destinatari dell'assegno di ricerca (of target group) |
Early stage researcher or 0-4 yrs (Post graduate) |
|---|
| Nome dell'Ente finanziatore | Università degli Studi di Urbino Carlo Bo – DISPEA |
|---|---|
| Tipologia dell'Ente | Public research |
| Paese dell'Ente | Italy |
| Città | Urbino |
| Sito web | http://www.uniurb.it |
| amministrazione.reclutamento.pdoc@uniurb.it |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 17/06/2024 |
|---|---|
| Come candidarsi | Other |