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.
|Titolo:||Software security: The language approach|
|Data di pubblicazione:||2019|
|Appare nelle tipologie:||1.1 Articolo in rivista|