848 search results - page 12 / 170 » Secure Information Flow for Distributed Systems |
ESOP
2010
Springer
14 years 4 months ago
2010
Springer
Proving software free of security bugs is hard. Languages that ensure that programs correctly enforce their security policies would help, but, to date, no security-typed language h...
CSFW
1999
IEEE
13 years 11 months ago
1999
IEEE
The term "intransitive noninterference" refers to the information flow properties required of systems like downgraders, in which it may be legitimate for information to ...
CSFW
2000
IEEE
13 years 11 months ago
2000
IEEE
Some of the non interference properties studied in [4, 6, 18] for information flow analysis in computer systems, notably Æ , are reformulated here in a realtime setting. This is...
MICRO
2009
IEEE
14 years 1 months ago
2009
IEEE
Recent micro-architectural research has proposed various schemes to enhance processors with additional tags to track various properties of a program. Such a technique, which is us...
MIDDLEWARE
2007
Springer
14 years 26 days ago
2007
Springer
Although there is a large body of research on detection and prevention of such memory corruption attacks as buffer overflow, integer overflow, and format string attacks, the web...