CINECA IRIS Institutional Research Information System
IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.
EnglishSecurity of software systems is of paramount importance, for both individuals, and the society and its infrastructures. The programs that support our activities must therefore be built robust against attackers. We will briefly survey the methods and the tools offered by programming languages to assist designers and programmers in implementing secure software components. We also discuss the main techniques for verifying the security properties of these components, especially when they are not developed from scratch.
| Titolo: | Software security: The language approach |
| Autori: | |
| Data di pubblicazione: | 2019 |
| Rivista: | |
| Handle: | http://hdl.handle.net/20.500.11771/15343 |
| Appare nelle tipologie: | 1.1 Articolo in rivista |
File in questo prodotto:
| File | Descrizione | Tipologia | Licenza | |
|---|---|---|---|---|
| MD86_01_Sicurezza_del_software.pdf | Versione Editoriale (PDF) | Nessuna licenza | Administrator Richiedi una copia |
http://hdl.handle.net/20.500.11771/15343
Copyright © 2020