3821 search results - page 320 / 765 » A Security Model for Aglets |
155
click to vote
NDSS
2005
IEEE
16 years 8 days ago
2005
IEEE
This paper analyzes the IEEE 802.11i wireless networking standard with respect to data confidentiality, integrity, mutual authentication, and availability. Under our threat model,...
171
click to vote
FC
2005
Springer
16 years 7 days ago
2005
Springer
We suggest a general paradigm of using large-scale distributed computation to solve difficult problems, but where humans can act as agents and provide candidate solutions. We are e...
138
Voted
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—This work considers the problem of reaching consensus in an unreliable linear consensus network. A solution to this problem is relevant for several tasks in multi-agent ...
178
click to vote
DASFAA
2010
IEEE
15 years 11 months ago
2010
IEEE
Sequence data analysis has been extensively studied in the literature. However, most previous work focuses on analyzing sequence data from a single source or party. In many applica...
149
click to vote
CSL
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We present a symbolic framework, based on a modular operational semantics, for formalizing different notions of compromise relevant for the analysis of cryptographic prot...