6 search results - page 1 / 2 » Managing Policy Updates in Security-Typed Languages |
CSFW
2006
IEEE
13 years 11 months ago
2006
IEEE
CSFW
2008
IEEE
13 years 11 months ago
2008
IEEE
Early work on security-typed languages required that legal information flows be defined statically. More recently, techniques have been introduced that relax these assumptions a...
CCS
2004
ACM
13 years 10 months ago
2004
ACM
A long-standing problem in information security is how to specify and enforce expressive security policies that control information flow while also permitting information release...
ER
2007
Springer
13 years 11 months ago
2007
Springer
Organizations are under increasing scrutiny to document their compliance to regulatory requirements. To this end, they have to formally document their operating procedures to supp...
POS
1998
Springer
13 years 9 months ago
1998
Springer
Persistent programming languages manage volatile memory as a cache for stable storage, imposing a read barrier on operations that access the cache, and a write barrier on updates ...