345 search results - page 43 / 69 » Computer-Assisted Simulation Proofs |
123
click to vote
ISW
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We study the provable security of identity-based (ID-based) key agreement protocols. Although several published protocols have been proven secure in the random oracle mod...
121
click to vote
MSWIM
2006
ACM
15 years 8 months ago
2006
ACM
Recent studies and publications have shown a demand for a secure method to proof someones or somenthings position via a communication channel. In this paper we present a concept a...
204
click to vote
MSWIM
2006
ACM
15 years 8 months ago
2006
ACM
Mobile devices should allow users to exploit services anytime, without any place restriction and in a transparent way. The Bluetooth technology achieves this feature, by providing...
102
click to vote
SRDS
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper presents our research on devising a dependability assessment method for the upcoming OGSA 3.0 middleware using network level fault injection. We compare existing DCE mi...
COCO
1998
Springer
15 years 6 months ago
1998
Springer
We define probabilistic martingales based on randomized approximation schemes, and show that the resulting notion of probabilistic measure has several desirable robustness propert...