1490 search results - page 185 / 298 » The Logic of Authentication Protocols |
117
click to vote
DAC
2000
ACM
16 years 4 months ago
2000
ACM
In this paper, we propose a technique to implement communication protocols as hardware circuits using a model of concurrent EFSMs with multi-way synchronization. Since use of mult...
149
click to vote
MIDDLEWARE
2009
Springer
15 years 10 months ago
2009
Springer
The emergence of networked devices in the home has made it possible to develop applications that control a variety of household functions. However, current devices communicate via ...
128
click to vote
VMCAI
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Implementations of cryptographic protocols, such as OpenSSL for example, contain bugs affecting security, which cannot be detected by just analyzing abstract protocols (e...
150
click to vote
FM
2009
Springer
15 years 8 months ago
2009
Springer
We study a clock synchronization protocol for the Chess WSN. First, we model the protocol as a network of timed automata and verify various instances using the Uppaal model checker...
125
Voted
MICRO
2002
IEEE
15 years 3 months ago
2002
IEEE
abstracting the operation of lower-level packet processing functions. The library synthesizes into field-programmable gate array (FPGA) logic and is utilized in a network platform ...