329 search results - page 3 / 66 » Complementing Computational Protocol Analysis with Formal Sp... |
DAC
2003
ACM
14 years 6 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...
CSFW
2004
IEEE
13 years 9 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...
CSE
2009
IEEE
14 years 16 days 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...
INFOCOM
2006
IEEE
13 years 11 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...
IPPS
2006
IEEE
13 years 11 months ago
2006
IEEE