1653 search results - page 299 / 331 » Timed analysis of security protocols |
CHI
2007
ACM
14 years 8 months ago
2007
ACM
For much of the industrialized world, network connectivity in the home is commonplace. Despite the large number of networked homes, even the most technically savvy people can have...
HPCA
2003
IEEE
14 years 8 months ago
2003
IEEE
We consider the impact of different communication architectures on the performability (performance + availability) of cluster-based servers. In particular, we use a combination of ...
STOC
2005
ACM
14 years 8 months ago
2005
ACM
Assume that Alice and Bob, given an authentic channel, have a protocol where they end up with a bit SA and SB, respectively, such that with probability 1+ 2 these bits are equal. ...
ICDCS
2009
IEEE
14 years 4 months ago
2009
IEEE
We address issues related to privacy protection in location-based services (LBS). Most existing research in this field either requires a trusted third-party (anonymizer) or uses ...
CODES
2009
IEEE
14 years 2 months ago
2009
IEEE
The FlexRay bus is the prospective automotive standard communication system. For the sake of a high flexibility, the protocol includes a static time-triggered and a dynamic event...