946 search results - page 82 / 190 » Software engineering for security: a roadmap |
DRM
2007
Springer
15 years 4 months ago
2007
Springer
The goal of obfuscation is to transform a program, without affecting its functionality, such that some secret information within the program can be hidden for as long as possible...
WOSS
2004
ACM
15 years 3 months ago
2004
ACM
Self-managed software requires monitoring and code changes to an executing program. One technology that enables such self management is software dynamic translation (SDT), which a...
ICSE
1999
IEEE-ACM
15 years 2 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
CSMR
2006
IEEE
15 years 3 months ago
2006
IEEE
Software-intensive systems evolve continuously under the pressure of new and changing requirements, generally leading to an increase in overall system complexity. In this respect,...
PLDI
2009
ACM
15 years 4 months ago
2009
ACM
Decentralized information flow control (DIFC) is a promising model for writing programs with powerful, end-to-end security guarantees. Current DIFC systems that run on commodity ...