637 search results - page 89 / 128 » Inconsistency-Tolerant Integrity Checking |
166
click to vote
PLDI
2009
ACM
16 years 22 days ago
2009
ACM
Information flow controls can be used to protect both data confidentiality and data integrity. The certification of the security degree of a program that runs in untrusted envi...
156
click to vote
DATE
2009
IEEE
16 years 21 days ago
2009
IEEE
Abstract—Addressing both standby and active power is a major challenge in developing System-on-Chip designs for batterypowered products. Powering off sections of logic or memorie...
221
click to vote
SACMAT
2009
ACM
16 years 13 days ago
2009
ACM
An access control system is often viewed as a state transition system. Given a set of access control policies, a general safety requirement in such a system is to determine whethe...
191
click to vote
CGO
2008
IEEE
16 years 12 days ago
2008
IEEE
Array inlining expands the concepts of object inlining to arrays. Groups of objects and arrays that reference each other are placed consecutively in memory so that their relative ...
170
click to vote
IPSN
2007
Springer
16 years 2 days ago
2007
Springer
Many sensor nodes contain resource constrained microcontrollers where user level applications, operating system components, and device drivers share a single address space with no...