Sciweavers

679 search results - page 23 / 136
» What is disputed on the web
Sort
View
ESORICS
2009
Springer
14 years 9 months ago
Reliable Evidence: Auditability by Typing
Abstract. Many protocols rely on audit trails to allow an impartial judge to verify a posteriori some property of a protocol run. However, in current practice the choice of what da...
Nataliya Guts, Cédric Fournet, Francesco Za...
CRYPTO
2004
Springer
162views Cryptology» more  CRYPTO 2004»
14 years 2 months ago
Adaptively Secure Feldman VSS and Applications to Universally-Composable Threshold Cryptography
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...
Masayuki Abe, Serge Fehr
NDJFL
2000
74views more  NDJFL 2000»
13 years 8 months ago
Frege's New Science
In this paper, we explore Fregean metatheory, what Frege called the New Science. The New Science arises in the context of Frege's debate with Hilbert over independence proofs ...
Aldo Antonelli, Robert May
IADIS
2003
13 years 10 months ago
The Role of Web Services in Financial Organisations: Results from a Survey
The paper presents the results of a survey on the current and future role of web services technologies in banking and financial services organizations. The survey asked financial ...
Bill Karakostas, Dimitris Kardaras
SEMWEB
2010
Springer
13 years 3 months ago
Smart objects: Challenges for Semantic Web research
Abstract. The increased availability and robustness of sensors, the wide-spread use of the internet as a communication environment and the intensified adoption of semantic technolo...
Marta Sabou