947 search results - page 36 / 190 » Provable Implementations of Security Protocols |
107
click to vote
ESORICS
2012
Springer
13 years 2 months ago
2012
Springer
Abstract. Given the requirements of fast processing and the complexity of RF ranging systems, distance bounding protocols have been challenging to implement so far; only few design...
110
click to vote
MSS
2007
IEEE
15 years 6 months ago
2007
IEEE
This paper presents the implementation and performance evaluation of a real, secure object-based storage system compliant to the TIO OSD standard. In contrast to previous work, ou...
ACSAC
2007
IEEE
15 years 6 months ago
2007
IEEE
Security-typed languages (STLs) are powerful tools for provably implementing policy in applications. The programmer maps policy onto programs by annotating types with information ...
WCC
2005
Springer
15 years 5 months ago
2005
Springer
A secret handshake mechanism allows two entities, members of a same group, to authenticate each other secretly. This primitive was introduced recently by Balfanz, Durfee, Shankar, ...
WASA
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. In this paper, we show through a simple secure symmetric key based protocol design and its implementation the feasibility of secure data collection in a vehicular sensor ...