963 search results - page 75 / 193 » Conditional Digital Signatures |
STORYTELLING
2007
Springer
14 years 4 months ago
2007
Springer
In Interactive Digital Storytelling (IDS), new design processes are needed for authors to fully embrace the emergent properties of this dynamic novel medium. As a counterpart to tr...
IPL
2000
13 years 10 months ago
2000
In this paper we consider the partial many-sorted first-order logic and its extension to the subsorted partial many-sorted first-order logic that underly the Casl specification fo...
MOBISYS
2008
ACM
14 years 9 months ago
2008
ACM
A novel behavioral detection framework is proposed to detect mobile worms, viruses and Trojans, instead of the signature-based solutions currently available for use in mobile devi...
ISCA
2009
IEEE
14 years 4 months ago
2009
IEEE
Detecting data races in parallel programs is important for both software development and production-run diagnosis. Recently, there have been several proposals for hardware-assiste...
CRYPTO
2004
Springer
14 years 3 months ago
2004
Springer
We propose the first distributed discrete-log key generation (DLKG) protocol from scratch which is adaptively-secure in the non-erasure model, and at the same time completely avoi...