453 search results - page 58 / 91 » On the complexity of exchanging |
154
Voted
CSFW
2007
IEEE
15 years 10 months ago
2007
IEEE
Most model checking techniques for security protocols make a number of simplifying assumptions on the protocol and/or on its execution environment that prevent their applicability...
125
click to vote
DATE
2007
IEEE
15 years 10 months ago
2007
IEEE
1 Developing modern integrated and embedded systems require well-designed processes to ensure flexibility and independency. These features are related to exchangeability of hardw...
160
click to vote
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
Modern grids have become very complex by their size and their heterogeneity. It makes the deployment and maintenance of systems a difficult task requiring lots of efforts from ad...
136
click to vote
VTC
2007
IEEE
15 years 10 months ago
2007
IEEE
Current Driver Assistance Systems merely use a minimum set of information. By using additional information of the environment hazardous situations can be detected earlier, more re...
142
click to vote
CCS
2007
ACM
15 years 10 months ago
2007
ACM
Distance bounding protocols have been proposed as means of detecting relay attacks, also known as mafia fraud. In this paper we present the first symmetric key based distance bou...