Buscar
Mostrando ítems 1-1 de 1
Ponencia
Automatic Enforcement of Security Properties
(Springer, 2016)
Ensuring the security requirements of an application is not a straightforward task. Security properties (e.g., confidentiality, anonymity) need to be satisfied in different ways in different parts of the same application. ...