1894 search results - page 285 / 379 » A TLA Proof System |
119
click to vote
SSS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We present schemes for providing anonymous transactions while privacy and anonymity are preserved, providing user anonymous authentication in distributed networks such as...
136
click to vote
TABLEAUX
2005
Springer
15 years 9 months ago
2005
Springer
This paper describes the implementation of a tableau-based reasoning component which is capable of providing quasi natural language explanations for subsumptions within ALEHFR+ TBo...
152
Voted
EUROCRYPT
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This work presents a new privacy primitive called “Traceable Signatures”, together with an efficient provably secure implementation. To this end, we develop the unde...
187
click to vote
EUROCRYPT
2010
Springer
15 years 8 months ago
2010
Springer
Imagine many small devices send data to a single receiver, encrypted using the receiver’s public key. Assume an adversary that has the power to adaptively corrupt a subset of the...
155
click to vote
GEOS
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. The realization of Semantic Web reasoning is central to substantiating the Semantic Web vision. However, current mainstream research on this topic faces serious challenge...