3504 search results - page 468 / 701 » Secure protocol composition |
ENTCS
2006
15 years 1 months ago
2006
We implement a specific protocol for bit exchange among card-playing agents in three different state-of-the-art epistemic model checkers and compare the results. Key words: Crypto...
118
Voted
CCR
2004
15 years 1 months ago
2004
Abstract-- This paper describes a system for automated generation of attack signatures for network intrusion detection systems. Our system applies pattern-matching techniques and p...
112
click to vote
CCR
2004
15 years 1 months ago
2004
Traditional application programming interfaces for transport protocols make a virtue of hiding most internal per-connection state. We argue that this informationhiding precludes m...
102
click to vote
SASN
2004
ACM
15 years 7 months ago
2004
ACM
As sensor-driven applications become increasingly integrated into our lives, issues related to sensor privacy will become increasingly important. Although many privacy-related iss...
152
Voted
ICN
2009
Springer
15 years 6 months ago
2009
Springer
Securing group communications in resource constrained, infrastructure-less environments such as Mobile Ad Hoc Networks (MANETs) has become one of the most challenging research dire...