576 search results - page 20 / 116 » Implementing a secure setuid program |
108
Voted
OOPSLA
2010
Springer
15 years 18 days ago
2010
Springer
In logic metaprogramming, programs are not stored as plain textfiles but rather derived from a deductive database. While the benefits of this approach for metaprogramming are ob...
140
Voted
KBSE
2007
IEEE
15 years 8 months ago
2007
IEEE
We present tools to support model-based security engineering on both the model and the code level. In the approach supported by these tools, one firstly specifies the securitycr...
117
Voted
EUROSYS
2009
ACM
15 years 11 months ago
2009
ACM
In a Multi-Variant Execution Environment (MVEE), several slightly different versions of the same program are executed in lockstep. While this is done, a monitor compares the behav...
114
Voted
PST
2008
15 years 3 months ago
2008
In this paper, we propose an approach for systematic security hardening of software based on aspect-oriented programming and Gimple language. We also present the first steps towar...
125
Voted
PROVSEC
2007
Springer
15 years 8 months ago
2007
Springer
Game-playing is an approach to write security proofs that are easy to verify. In this approach, security definitions and intractable problems are written as programs called games ...