1653 search results - page 149 / 331 » Timed analysis of security protocols |
109
Voted
HASKELL
2009
ACM
15 years 10 months ago
2009
ACM
We present by example a new application domain for functional languages: emulators for embedded real-time protocols. As a casestudy, we implement a simple emulator for the Biphase...
132
Voted
CCS
2006
ACM
15 years 7 months ago
2006
ACM
A multi-signature scheme enables a group of signers to produce a compact, joint signature on a common document, and has many potential uses. However, existing schemes impose key s...
122
Voted
PEWASUN
2008
ACM
15 years 4 months ago
2008
ACM
In the design of many proactive routing protocols for MANETs, it is often assumed that topology information is disseminated instantly and error free. Exceptions include hazysighte...
104
click to vote
MASCOTS
1998
15 years 4 months ago
1998
In this work, we propose a method for using simulation to analyze the robustness of multiparty (multicastbased) protocols in a systematic fashion. We call our method Systematic Te...
MSWIM
2005
ACM
15 years 9 months ago
2005
ACM
This paper compares, through analysis and simulation, a number of multichannel MAC protocols for wireless networks. We first classify these protocols into 4 categories based on t...