2213 search results - page 91 / 443 » Software Security |
129
click to vote
CSFW
2004
IEEE
15 years 7 months ago
2004
IEEE
We present a system, BLF, that combines an authorization logic based on the Binder language with a logical framework, LF, able to express semantic properties of programs. BLF is a...
131
Voted
DSN
2008
IEEE
15 years 5 months ago
2008
IEEE
Software vulnerabilities are the root cause of a wide range of attacks. Existing vulnerability scanning tools are able to produce a set of suspects. However, they often suffer fro...
111
click to vote
SAFECOMP
2000
Springer
15 years 6 months ago
2000
Springer
Fault tolerant systems based on the use of software design diversity may be able to achieve high levels of reliability more cost-effectively than other approaches, such as heroic ...
131
Voted
CSMR
1998
IEEE
15 years 7 months ago
1998
IEEE
Secure distributed applications often include code to authenticate users, verify access rights, and establish secure communication channels between software components (e.g., clie...
112
click to vote
DRM
2005
Springer
15 years 8 months ago
2005
Springer
Advances in reverse engineering and program analyses have made software extremely vulnerable to malicious host attacks. These attacks typically take the form of intellectual prope...