325 search results - page 49 / 65 » Secure safe ambients |
WWW
2009
ACM
14 years 8 months ago
2009
ACM
The question of how to publish an anonymized search log was brought to the forefront by a well-intentioned, but privacy-unaware AOL search log release. Since then a series of ad-h...
OOPSLA
2009
Springer
14 years 2 months ago
2009
Springer
The high degree of complexity and autonomy of future robotic space missions, such as Mars Science Laboratory (MSL), poses serious challenges in assuring their reliability and efï¬...
ACSAC
2007
IEEE
14 years 1 months ago
2007
IEEE
Various attacks (e.g., SQL injections) may corrupt data items in the database systems, which decreases the integrity level of the database. Intrusion detections systems are becomi...
CADE
2002
Springer
14 years 7 months ago
2002
Springer
Abstract. Proof-carrying code (PCC) allows a code producer to associate to a program a machine-checkable proof of its safety. In the original approach to PCC, the safety policy inc...
SP
2008
IEEE
14 years 1 months ago
2008
IEEE
Operating systems divide virtual memory addresses into kernel space and user space. The interface of a modern operating system consists of a set of system call procedures that may...