2213 search results - page 171 / 443 » Software Security |
121
Voted
EUROSYS
2009
ACM
16 years 21 days ago
2009
ACM
Ksplice allows system administrators to apply patches to their operating system kernels without rebooting. Unlike previous hot update systems, Ksplice operates at the object code ...
180
Voted
ATC
2007
Springer
15 years 9 months ago
2007
Springer
Service-oriented architectures (SOA) and, in particular, Web Services designs are currently widely used for the development of open, large-scale interoperable systems. In those sys...
136
Voted
CSFW
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract. We present aspier – the first framework that combines software model checking with a standard protocol security model to analyze authentication and secrecy properties ...
109
Voted
ISCA
2007
IEEE
15 years 10 months ago
2007
IEEE
Virtualization has become much more important throughout the computer industry both to improve security and to support multiple workloads on the same hardware with effective isola...
126
Voted
ACSAC
2005
IEEE
15 years 9 months ago
2005
IEEE
Malware such as Trojan Horses and spyware remain to be persistent security threats that exploit the overly complex graphical user interfaces of today’s commodity operating syste...