142 search results - page 22 / 29 » Information Flow Control and Applications - Bridging a Gap |
DAC
2007
ACM
14 years 8 months ago
2007
ACM
Many embedded systems contain resource constrained microcontrollers where applications, operating system components and device drivers reside within a single address space with no...
DAC
2008
ACM
13 years 9 months ago
2008
ACM
Security of MPSoCs is an emerging area of concern in embedded systems. Security is jeopardized by code injection attacks, which are the most common types of software attacks. Prev...
ZUM
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. This paper reports on an experimental application of formal specification to inform analysis of compiled code. The analyses with are concerned attempt to recover abstract...
BCSHCI
2008
13 years 9 months ago
2008
In this paper, we look at the application of the DiCoT methodology [4] to the analysis of a mobile healthcare setting. While the methodology includes a set of principles and theme...
ICETE
2004
13 years 9 months ago
2004
ser provides abstraction for supporting flexible security policies that can be developed using the low-level primitives of the browser. We believe our browser architecture will be ...