8623 search results - page 78 / 1725 » Software engineering for secure systems |
CCS
2007
ACM
14 years 3 months ago
2007
ACM
Systematic approaches to measuring security are needed in order to obtain evidence of the security performance of products or an organization. In this study we survey the emerging...
HICSS
2007
IEEE
14 years 3 months ago
2007
IEEE
The ultra-large-scale systems of the future require the transformation of software engineering into a computational discipline capable of fast and dependable software development....
CCS
2003
ACM
14 years 2 months ago
2003
ACM
This paper describes a system and annotation language, MECA, for checking security rules. MECA is expressive and designed for checking real systems. It provides a variety of pract...
WORM
2003
13 years 10 months ago
2003
This paper presents DOME, a host-based technique for detecting several general classes of malicious code in software executables. DOME uses static analysis to identify the locatio...
IEEEARES
2010
IEEE
14 years 4 months ago
2010
IEEE
—Trusted Computing aims at enhancing the security of IT systems by using a combination of trusted hardware and software components to provide security guarantees. This includes s...