2213 search results - page 305 / 443 » Software Security |
123
Voted
OOPSLA
2010
Springer
15 years 1 months ago
2010
Springer
General purpose object-oriented programs typically aren’t embarrassingly parallel. For these applications, finding enough concurrency remains a challenge in program design. To ...
138
Voted
VIZSEC
2004
Springer
15 years 9 months ago
2004
Springer
This paper concentrates on visualizing computer viruses without using virus specific signature information as a prior stage of the very important problem of detecting computer vi...
145
click to vote
CCS
2009
ACM
15 years 7 months ago
2009
ACM
We present an approach for the design and analysis of an electronic voting machine based on a novel combination of formal verification and systematic testing. The system was desig...
133
Voted
ICAI
2008
15 years 5 months ago
2008
Intrusion detection is an active research field in the development of reliable web-based information systems, where many artificial intelligence techniques are exploited to fit th...
120
click to vote
SACMAT
2010
ACM
15 years 8 months ago
2010
ACM
Policy authors typically reconcile several different mental models and goals, such as enabling collaboration, securing information, and conveying trust in colleagues. The data un...