2213 search results - page 165 / 443 » Software Security |
127
Voted
ARCS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract: We present a formal framework to talk and reason about dependable systems. The framework is based on three distinct classes of (system specification) properties we call s...
141
click to vote
CCS
2009
ACM
16 years 4 months ago
2009
ACM
This paper introduces a method to control JavaScript execution. The aim is to prevent or modify inappropriate behaviour caused by e.g. malicious injected scripts or poorly designe...
121
Voted
FC
2004
Springer
15 years 9 months ago
2004
Springer
Improved computer security requires improvements in risk communication to naive end users. Efficacy of risk communication depends not only on the nature of the risk, but also on t...
116
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
T There are plenty of security software in market; each claiming the best, still we daily face problem of viruses and other malicious activities. If we know the basic working prin...
123
click to vote
ACSAC
2007
IEEE
15 years 10 months ago
2007
IEEE
Security-typed languages (STLs) are powerful tools for provably implementing policy in applications. The programmer maps policy onto programs by annotating types with information ...