9110 search results - page 1696 / 1822 » Formally-Based Design Evaluation |
139
Voted
RAID
2007
Springer
15 years 9 months ago
2007
Springer
Spyware infections are becoming extremely pervasive, posing a grave threat to Internet users’ privacy. Control of such an epidemic is increasingly difficult for the existing def...
130
Voted
SAFECOMP
2007
Springer
15 years 9 months ago
2007
Springer
The general trend towards ubiquitous networking has reached the realm of airplanes. E-enabled airplanes with wired and wireless network interfaces offer a wide spectrum of network ...
122
Voted
SEMWEB
2007
Springer
15 years 9 months ago
2007
Springer
Millions of research funding has been put down to develop - what I call - old forms - of reasoning that are characterized by strong focus on theoretical properties and strict adher...
126
Voted
ACSAC
2006
IEEE
15 years 9 months ago
2006
IEEE
Comparing the system call sequence of a network application against a sandboxing policy is a popular approach to detecting control-hijacking attack, in which the attacker exploits...
124
Voted
ACSAC
2006
IEEE
15 years 9 months ago
2006
IEEE
As new attacks against Windows-based machines emerge almost on a daily basis, there is an increasing need to “lock down” individual users’ desktop machines in corporate comp...