83 search results - page 9 / 17 » Verified enforcement of stateful information release policie... |
PLDI
2006
ACM
14 years 20 days ago
2006
ACM
Adding a sound information flow security policy to an existing program is a difficult task that requires major analysis of and changes to the program. In this paper we show how ...
IHI
2010
13 years 1 months ago
2010
Regulations in various countries permit the reuse of health information without patient authorization provided the data is "de-identified". In the United States, for ins...
PVLDB
2008
13 years 6 months ago
2008
Access control is the problem of regulating access to secret information based on certain context information. In traditional applications, context information is known exactly, p...
IEEESP
2010
13 years 5 months ago
2010
Abstract—Private data of individuals is constantly being collected, analyzed, and stored by different kinds of organizations: shopping sites to provide better service and recomme...
CORR
2006
Springer
13 years 6 months ago
2006
Springer
Abstract. We consider the interpretations of notions of access control (permissions, interdictions, obligations, and user rights) as run-time properties of information systems spec...