3972 search results - page 372 / 795 » Design of the iSCSI Protocol |
173
click to vote
ICFP
2008
ACM
16 years 6 months ago
2008
ACM
This paper exhibits the power of programming with dependent types by dint of embedding three domain-specific languages: Cryptol, a language for cryptographic protocols; a small da...
186
click to vote
CNSR
2007
IEEE
16 years 1 months ago
2007
IEEE
— This paper investigates implementation and design issues for a heterogeneous network for structural monitoring. The proposed application uses wireless sensors and the controlle...
191
click to vote
FC
2007
Springer
16 years 28 days ago
2007
Springer
Onion routing is a scheme for anonymous communication that is designed for practical use. Until now, however, it has had no formal model and therefore no rigorous analysis of its a...
166
click to vote
FCT
2005
Springer
16 years 9 days ago
2005
Springer
Unambiguity in alternating Turing machines has received considerable attention in the context of analyzing globally-unique games by Aida et al. [ACRW04] and in the design of effic...
186
click to vote
SENSYS
2004
ACM
16 years 6 days ago
2004
ACM
We introduce TinySec, the first fully-implemented link layer security architecture for wireless sensor networks. In our design, we leverage recent lessons learned from design vul...