878 search results - page 49 / 176 » A Compiler-Based Approach to Data Security |
ACSW
2003
14 years 11 months ago
2003
The per-method access control lists of standard middleware technologies allow only simple forms of access control to be expressed and enforced. Given the increasing use of webbase...
ACSAC
2007
IEEE
15 years 4 months ago
2007
IEEE
Security-typed languages (STLs) are powerful tools for provably implementing policy in applications. The programmer maps policy onto programs by annotating types with information ...
JSAC
2006
14 years 9 months ago
2006
Abstract-- Node compromise is a serious threat to wireless sensor networks deployed in unattended and hostile environments. To mitigate the impact of compromised nodes, we propose ...
COMPSEC
2010
14 years 8 months ago
2010
Making backup is so cumbersome and expensive that individuals hardly ever backup their data and companies usually duplicate their data into a secondary server. This paper proposes...
OOPSLA
2009
Springer
15 years 4 months ago
2009
Springer
Software upgrades are unreliable, often causing downtime or data loss. I propose Imago, an approach for removing the leading causes of upgrade failures (broken dependencies) and o...