2162 search results - page 217 / 433 » A Meta-Notation for Protocol Analysis |
181
click to vote
ICECCS
2009
IEEE
16 years 24 days ago
2009
IEEE
Distributed information systems are critical to the functioning of many businesses; designing them to be dependable is a challenging but important task. We report our experience i...
134
Voted
FC
2007
Springer
16 years 9 days ago
2007
Springer
Setting up security associations between end-user devices is a challenging task when it needs to be done by ordinary users. The increasing popularity of powerful personal electroni...
171
Voted
WPES
2006
ACM
16 years 3 days ago
2006
ACM
Connections in distributed systems, such as social networks, online communities or peer-to-peer networks, form complex graphs. These graphs are of interest to scientists in field...
140
click to vote
WS
2004
ACM
15 years 11 months ago
2004
ACM
802.11i is an IEEE standard designed to provide enhanced MAC security in wireless networks. The authentication process involves three entities: the supplicant (wireless device), t...
139
click to vote
DFT
2003
IEEE
15 years 11 months ago
2003
IEEE
1 Today many safety-critical applications are based on distributed systems where several computing nodes exchange information via suitable network interconnections. An example of t...