83 search results - page 3 / 17 » Verified enforcement of stateful information release policie... |
PET
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. We develop a language-based approach for modeling and verifying aspects of privacy policies. Our approach relies on information-flow control. Concretely, we use the prog...
ICFEM
2009
Springer
14 years 29 days ago
2009
Springer
Internet protocols encapsulate a significant amount of state, making implementing the host software complex. In this paper, we define the Statecall Policy Language (SPL) which pr...
JCS
2008
13 years 6 months ago
2008
The protection of privacy is an increasing concern in our networked society because of the growing amount of personal information that is being collected by a number of commercial...
CCS
2004
ACM
13 years 11 months ago
2004
ACM
A long-standing problem in information security is how to specify and enforce expressive security policies that control information flow while also permitting information release...
POLICY
2007
Springer
14 years 16 days ago
2007
Springer
We present a discretionary access control framework that can be used to control a principal’s ability to link information from two or more audit records and compromise a user’...