83 search results - page 1 / 17 » Verified enforcement of stateful information release policie... |
SIGPLAN
2008
13 years 5 months ago
2008
Many organizations specify information release policies to describe the terms under which sensitive information may be released to other organizations. This paper presents a new a...
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...
CSFW
2009
IEEE
13 years 11 months ago
2009
IEEE
This paper studies the problem of securing information release in dynamic languages. We propose (i) an intuitive framework for information-release policies expressing both what ca...
CCS
2010
ACM
13 years 12 months ago
2010
ACM
CCS
2004
ACM
13 years 10 months ago
2004
ACM
Intranet access has become an essential function for corporate users. At the same time, corporation’s security administrators have little ability to control access to corporate ...