5722 search results - page 255 / 1145 » Security Function Interactions |
101
click to vote
RECOMB
2001
Springer
16 years 3 months ago
2001
Springer
Protein-protein interactions play a central role in many cellular functions, and as whole-genome data accumulates, computational methods for predicting these interactions become i...
118
click to vote
IUI
2006
ACM
15 years 9 months ago
2006
ACM
We explore the concept of interaction styles used to navigate through hypermedia systems. A demonstrator was built to conduct a user study with the objective of detecting whether ...
131
click to vote
SP
2009
IEEE
15 years 10 months ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
126
click to vote
CSFW
2004
IEEE
15 years 6 months ago
2004
IEEE
Non-interference is a high-level security property that guarantees the absence of illicit information leakages through executing programs. More precisely, non-interference for a p...
149
click to vote
DBSEC
2001
15 years 4 months ago
2001
: In this paper we introduce a series of reference models for Secure Role-Based Workflow systems. We build our models over the well-known RBAC96 framework. 96 model supports the no...