8623 search results - page 99 / 1725 » Software engineering for secure systems |
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...
ISSA
2004
13 years 10 months ago
2004
This paper attempts to address the issue of hardening the internal security of an organisation's network by easing its patch management. Traditionally security has been model...
SIGSOFT
2010
ACM
13 years 7 months ago
2010
ACM
Mining software engineering data has emerged as a successful research direction over the past decade. In this position paper, we advocate Software Intelligence (SI) as the future ...
CCS
2004
ACM
14 years 2 months ago
2004
ACM
Information flow type systems provide an elegant means to enforce confidentiality of programs. Using the proof assistant Isabelle/HOL, we have machine-checked a recent work of B...
MSR
2010
ACM
13 years 11 months ago
2010
ACM
-- A bug-tracking system such as Bugzilla contains bug reports (BRs) collected from various sources such as development teams, testing teams, and end users. When bug reporters subm...