637 search results - page 39 / 128 » The Case for Abstracting Security Policies |
SP
2000
IEEE
15 years 4 months ago
2000
IEEE
Today, even a moderately sized corporate intranet contains multiple firewalls and routers, which are all used to enforce various aspects of the global corporate security policy. ...
FSTTCS
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. This paper addresses the issue of confidentiality and declassification for global computing in a language-based security perspective. The purpose is to deal with new fo...
USENIX
1994
15 years 1 months ago
1994
y-filled data block results in a delayed write,Abstract while a modification that fills a block results in an immediate, although asynchronous, write. TheSome file systems can dela...
101
click to vote
GRID
2006
Springer
14 years 12 months ago
2006
Springer
-- In Grid collaborations, scientists use middleware to execute computational experiments, visualize results, and securely share data on resources ranging from desktop machines to ...
101
click to vote
ASM
2010
ASM
15 years 6 months ago
2010
ASM
Abstract. This paper introduces the subject of secrecy models development by transformation, with formal validation. In an enterprise, constructing a secrecy model is a participato...