380 search results - page 47 / 76 » Time Capsule Signature |
132
click to vote
CSR
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. In 1992, A. Hiltgen [1] provided the first constructions of provably (slightly) secure cryptographic primitives, namely feebly one-way functions. These functions are pro...
102
Voted
EUROPKI
2007
Springer
15 years 10 months ago
2007
Springer
An undeniable mobile billing system allows a mobile network service provider to bill its subscribers with trustworthy evidences. Chen, Jan and Chen proposed such a billing system b...
133
click to vote
ICTAC
2007
Springer
15 years 10 months ago
2007
Springer
We present regular linear temporal logic (RLTL), a logic that generalizes linear temporal logic with the ability to use regular expressions arbitrarily as sub-expressions. Every LT...
139
Voted
DDECS
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract: Bisimulations in general are a powerful concept to minimize large finite state systems regarding some well-defined observational behavior. In contrast to strong bisimul...
151
Voted
ICMCS
2006
IEEE
15 years 9 months ago
2006
IEEE
We present a new system, called Retimm, for searching databases made of documents containing images and text. Images are indexed by colour and texture distributions.. Colour and t...