3544 search results - page 644 / 709 » Information Security in Open Systems |
CCS
2007
ACM
15 years 5 months ago
2007
ACM
In this paper, we study the maintenance of role-based access control (RBAC) models in database environments using transitive closure relations. In particular, the algorithms that ...
PODS
2011
ACM
14 years 1 months ago
2011
ACM
Scientific workflow systems increasingly store provenance information about the module executions used to produce a data item, as well as the parameter settings and intermediate...
103
click to vote
PLDI
2009
ACM
15 years 5 months ago
2009
ACM
We present the first machine-checked correctness proof for information flow control (IFC) based on program dependence graphs (PDGs). IFC based on slicing and PDGs is flow-sensi...
125
click to vote
SIGOPS
2011
14 years 6 months ago
2011
While application performance and power-efficiency are both important, application correctness is even more important. In other words, if the application is misbehaving, it is li...
ICSE
2005
IEEE-ACM
15 years 11 months ago
2005
IEEE-ACM
Architects are faced with the problem of building enterprise scale information systems, with streamlined, automated internal business processes and web-enabled business functions,...