Security 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.
Software security: The language approach
Costa G.;Galletta L.
2019-01-01
Abstract
Security 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.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
MD86_01_Sicurezza_del_software.pdf
non disponibili
Tipologia:
Versione Editoriale (PDF)
Licenza:
Nessuna licenza
Dimensione
1.05 MB
Formato
Adobe PDF
|
1.05 MB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
