100
Voted
CSFW
2004
IEEE
15 years 7 months ago
2004
IEEE
113
Voted
CSFW
2004
IEEE
15 years 7 months ago
2004
IEEE
Intrusion Detection Systems (IDSs) have become an important part of operational computer security. They are the last line of defense against malicious hackers and help detect ongo...
155
click to vote
CSFW
2004
IEEE
15 years 7 months ago
2004
IEEE
Since current computer infrastructures are increasingly vulnerable to malicious activities, intrusion detection is necessary but unfortunately not sufficient. We need to design ef...
76
Voted
BIRTHDAY
2006
Springer
15 years 7 months ago
2006
Springer
153
Voted
CSFW
2004
IEEE
15 years 7 months ago
2004
IEEE
We analyze the multi-party contract-signing protocols of Garay and MacKenzie (GM) and of Baum and Waidner (BW). We use a finite-state tool, MOCHA, which allows specification of pr...