329 search results - page 3 / 66 » Complementing Computational Protocol Analysis with Formal Sp... |
118
click to vote
DAC
2003
ACM
16 years 4 months ago
2003
ACM
We describe a technique for verifying that a hardware design correctly implements a protocol-level formal specification. Simulation steps are translated to protocol state transiti...
149
click to vote
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...
108
Voted
CSE
2009
IEEE
15 years 10 months ago
2009
IEEE
—Ceremonies are a useful tool to establish trust in scenarios where protocols operate. They describe a greater range of issues not taken into account by protocol designers. We ta...
125
click to vote
INFOCOM
2006
IEEE
15 years 9 months ago
2006
IEEE
— Network protocol system fingerprinting has been recognized as an important issue and a major threat to network security. Prevalent works rely largely on human experiences and i...