2257 search results - page 18 / 452 » Secure program partitioning |
WCRE
2003
IEEE
14 years 1 months ago
2003
IEEE
CCECE
2006
IEEE
14 years 2 months ago
2006
IEEE
The purpose of this paper is to use the aspect-oriented programming (AOP) paradigm for security testing. AOP allows security experts to develop and inject separate modules for con...
POPL
2010
ACM
14 years 6 months ago
2010
ACM
SP
1997
IEEE
14 years 26 days ago
1997
IEEE
This paper describes a specification-based approach to detect exploitations of vulnerabdities in securitycritical programs. The approach utilizes security specifications that desc...
MOZ
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. The design and implementation of a capability secure multiparadigm language should be guided from its conception by proven principles of secure language design. In this p...