3420 search results - page 473 / 684 » A Language-Based Approach to Security |
174
click to vote
ACSAC
2005
IEEE
16 years 5 days 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...
167
click to vote
CSFW
2005
IEEE
16 years 4 days 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...
153
click to vote
SP
2005
IEEE
16 years 3 days ago
2005
IEEE
We present a distributed algorithm for assembling a proof that a request satisfies an access-control policy expressed in a formal logic, in the tradition of Lampson et al. [16]. ...
181
click to vote
WOWMOM
2005
ACM
16 years 2 days ago
2005
ACM
A mobile ad hoc network is a collection of nodes that is connected through a wireless medium forming rapidly changing topologies. The widely accepted existing routing protocols de...
168
click to vote
CCS
2005
ACM
16 years 2 days ago
2005
ACM
Indirection-based overlay networks (IONs) are a promising approach for countering distributed denial of service (DDoS) attacks. Such mechanisms are based on the assumption that at...