2257 search results - page 31 / 452 » Secure program partitioning |
PLDI
2006
ACM
14 years 2 months ago
2006
ACM
Adding a sound information flow security policy to an existing program is a difficult task that requires major analysis of and changes to the program. In this paper we show how ...
CODES
2005
IEEE
14 years 2 months ago
2005
IEEE
The growing number of information security breaches in electronic and computing systems calls for new design paradigms that consider security as a primary design objective. This i...
OOPSLA
2010
Springer
13 years 7 months ago
2010
Springer
The act of computer programming is generally considered to be temporally removed from a computer program’s execution. In this paper we discuss the idea of programming as an acti...
CP
2003
Springer
14 years 1 months ago
2003
Springer
In this paper we introduce a new method for bounding the solution to constraint optimization problems called semi-independent partitioning. We show that our method is a strict gene...
ISSA
2008
13 years 10 months ago
2008
The importance of educating organizational end users about their roles and responsibilities towards information security is widely acknowledged. However, many current user educati...