1599 search results - page 151 / 320 » Program Analysis for Security and Privacy |
133
click to vote
IEEEARES
2007
IEEE
15 years 10 months ago
2007
IEEE
The importance of critical systems has been widely recognized and several efforts are devoted to integrate dependability requirements in their development process. Such efforts re...
146
click to vote
ACSAC
2005
IEEE
15 years 9 months ago
2005
IEEE
The typical means by which an attacker breaks into a network is through a chain of exploits, where each exploit in the chain lays the groundwork for subsequent exploits. Such a ch...
139
click to vote
ACSAC
2005
IEEE
15 years 9 months ago
2005
IEEE
We propose a method to verify the result of attacks detected by signature-based network intrusion detection systems using lightweight protocol analysis. The observation is that ne...
137
click to vote
CSFW
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper contrasts two existing type-based techniques for the analysis of authentication protocols. The former, proposed by Gordon and Jeffrey, uses dependent types for nonces a...
150
click to vote
SP
1997
IEEE
15 years 8 months ago
1997
IEEE
This paper analyzes a network-baseddenial of service attack for IP (Internet Protocol) based networks. It is popularly called SYN flooding. It works by an attacker sending many T...