67 search results - page 8 / 14 » Toward a Mathematical Foundation for Information Flow Securi... |
DBSEC
2009
13 years 8 months ago
2009
Abstract. Identifying and protecting the trusted computing base (TCB) of a system is an important task, which is typically performed by designing and enforcing a system security po...
SAC
2004
ACM
14 years 25 days ago
2004
ACM
In our present work we introduce the use of data fusion in the field of DoS anomaly detection. We present DempsterShafer’s Theory of Evidence (D-S) as the mathematical foundati...
ITCC
2005
IEEE
14 years 29 days ago
2005
IEEE
One of the key steps in economy based grid resource allocation is to make reasonable prices for the grid resources. For resources’ prices decide the resource flow in the Grid, f...
CSFW
1999
IEEE
13 years 11 months ago
1999
IEEE
The information security community has long debated the exact definition of the term `security'. Even if we focus on the more modest notion of confidentiality the precise def...
SAS
2004
Springer
14 years 22 days ago
2004
Springer
ness Refinement in Abstract Symbolic Trajectory Evaluation . . . . 38 Mila Dalla Preda Constraint-Based Linear-Relations Analysis . . . . . . . . . . . . . . . . . . . . . . . . ....