1406 search results - page 18 / 282 » Information Flow in Systems with Schedulers |
ICSE
2005
IEEE-ACM
14 years 7 months ago
2005
IEEE-ACM
Some software defects trigger failures only when certain complex information flows occur within the software. Profiling and analyzing such flows therefore provides a potentially i...
SERP
2008
13 years 9 months ago
2008
Model-driven development (MDD) is an emerging paradigm and has become state-of-the-art for embedded systems software design. In the overall design process, several steps have to be...
DAC
2010
ACM
13 years 11 months ago
2010
ACM
Understanding the flow of information is an important aspect in computer security. There has been a recent move towards tracking information in hardware and understanding the flow...
ICDCSW
2005
IEEE
14 years 1 months ago
2005
IEEE
The core problem in risk analysis - determining exploitable paths between attackers and system assets is essentially a problem of determining information flow. It is relatively st...
CSFW
2007
IEEE
13 years 11 months ago
2007
IEEE
We present interpretations of type systems for secure information flow in Hoare logic, complementing previous encodings in binary (e.g. relational) program logics. Treating base-l...