3910 search results - page 412 / 782 » Analyzing Cross-Connected Networks |
141
click to vote
NDSS
2006
IEEE
16 years 24 days ago
2006
IEEE
When dealing with malware infections, one of the first tasks is to find the processes that were involved in the attack. We introduce Malfor, a system that isolates those process...
173
click to vote
ANSS
2005
IEEE
16 years 12 days ago
2005
IEEE
We present a discrete-event network simulator, called Simnet, designed specifically for analyzing networksecurity protocols. The design and implementation is focused on simplicit...
200
click to vote
IFM
2005
Springer
16 years 9 days ago
2005
Springer
We present an embedding of the stable failures model of CSP in the PVS theorem prover. Our work, extending a previous embedding of the traces model of CSP in [6], provides a platfo...
184
click to vote
RAID
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. Attack analysis is a challenging problem, especially in emerging environments where there are few known attack cases. One such new environment is the Mobile Ad hoc Networ...
186
click to vote
DSN
2003
IEEE
16 years 2 days ago
2003
IEEE
Protocols that solve agreement problems are essential building blocks for fault tolerant distributed systems. While many protocols have been published, little has been done to ana...