353 search results - page 54 / 71 » A Policy Model for Secure Information Flow |
CADE
2008
Springer
14 years 9 months ago
2008
Springer
Confidentiality is maybe the most popular security property to be formally or informally verified. Noninterference is a baseline security policy to formalize confidentiality of sec...
CSFW
1992
IEEE
14 years 26 days ago
1992
IEEE
Most security models explicitly (or implicitly) include the tranquillity principle which prohibits changing the security level of a given piece of information. Yet in practical sy...
PADS
2009
ACM
14 years 3 months ago
2009
ACM
We use a realistic interdomain routing experiment platform to conduct real-time attack and defense exercises for training purposes. Our interdomain routing experiment platform int...
ISW
2009
Springer
14 years 3 months ago
2009
Springer
As a new public key primitive, attribute-based encryption (ABE) is envisioned to be a promising tool for implementing fine-grained access control. To further address the concern o...
POLICY
2004
Springer
14 years 2 months ago
2004
Springer
Dissemination control (DCON) is emerging as one of the most important and challenging goals for information security. DCON is concerned with controlling information and digital ob...