8623 search results - page 167 / 1725 » Software engineering for secure systems |
DSN
2000
IEEE
14 years 2 months ago
2000
IEEE
We describe an methodology for testing a software system for possible security flaws. Based on the observation that most security flaws are caused by the program’s inappropria...
ICSE
2009
IEEE-ACM
14 years 4 months ago
2009
IEEE-ACM
Rainbow is an approach for engineering selfadaptive systems, with run-time, closed-loop control over target systems to monitor, detect, decide, and act on opportunities for system...
HICSS
2009
IEEE
14 years 26 days ago
2009
IEEE
Security of e-voting systems does not only depend on the voting protocol 1 or the software used but concerns the whole system with all its components. To guarantee security a holi...
SIGOPS
2011
13 years 4 months ago
2011
While application performance and power-efficiency are both important, application correctness is even more important. In other words, if the application is misbehaving, it is li...
RE
2008
Springer
13 years 9 months ago
2008
Springer
For several decades there has been a debate in the computing sciences about the relative roles of design and empirical research, and about the contribution of design and research ...