2335 search results - page 80 / 467 » Securing Distributed Systems with Information Flow Control |
136
click to vote
CC
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. To reason about programs, dynamic optimizers and analysis tools use sampling to collect a dynamic call graph (DCG). However, sampling has not achieved high accuracy with ...
176
click to vote
EDOC
2005
IEEE
15 years 10 months ago
2005
IEEE
Data Warehouse (DWH) information is accessed by business processes, and sometimes may also initiate changes of the control flow of business process instances. Today, there are no ...
145
click to vote
STORAGESS
2005
ACM
15 years 10 months ago
2005
ACM
Recently, the Network-Attached Secure Disk (NASD) model has become a more widely used technique for constructing large-scale storage systems. However, the security system proposed...
242
click to vote
POPL
2006
ACM
16 years 5 months ago
2006
ACM
This article investigates formal properties of a family of semantically sound flow-sensitive type systems for tracking information flow in simple While programs. The family is ind...
158
click to vote
SACMAT
2010
ACM
15 years 9 months ago
2010
ACM
We propose a new approach for applying Role-Based Access Control (RBAC) to methods in objects in the Java programming language. In our approach, a policy implementer (usually a de...