117 search results - page 2 / 24 » Mediating secure information flow policies |
CAISE
2000
Springer
13 years 9 months ago
2000
Springer
With the emergence of the Internet, collaborative computing has become more feasible than ever. Organizations can share valuable information among each other. However, certain user...
ESOP
2010
Springer
14 years 2 months ago
2010
Springer
Proving software free of security bugs is hard. Languages that ensure that programs correctly enforce their security policies would help, but, to date, no security-typed language h...
EUROSYS
2008
ACM
14 years 1 months ago
2008
ACM
The continuing frequency and seriousness of security incidents underlines the importance of application security. Decentralized information flow control (DIFC), a promising tool ...
IFIP
2009
Springer
13 years 11 months ago
2009
Springer
When a computer program requires legitimate access to confidential data, the question arises whether such a program may illegally reveal sensitive information. This paper proposes...
DBSEC
2003
13 years 6 months ago
2003