Sciweavers

9370 search results - page 394 / 1874
» An Abstract Notion of Application
Sort
View
PKC
2007
Springer
160views Cryptology» more  PKC 2007»
16 years 1 months ago
Anonymous Signatures Made Easy
Abstract. At PKC 2006, Yang, Wong, Deng and Wang proposed the notion of anonymous signature schemes where signatures do not reveal the signer’s identity, as long as some parts of...
Marc Fischlin
SAT
2007
Springer
96views Hardware» more  SAT 2007»
16 years 1 months ago
From Idempotent Generalized Boolean Assignments to Multi-bit Search
Abstract. This paper shows that idempotents in finite rings of integers can act as Generalized Boolean Assignments (GBA’s) by providing a completeness theorem. We introduce the ...
Marijn Heule, Hans van Maaren
SDMW
2007
Springer
16 years 1 months ago
Query Rewriting Algorithm Evaluation for XML Security Views
Abstract. We investigate the experimental effectiveness of query rewriting over XML security views. Our model consists of access control policies specified over DTDs with XPath e...
Nataliya Rassadko
CEEMAS
2005
Springer
16 years 13 days ago
Towards an Institutional Environment Using Norms for Contract Performance
Abstract. A strong research emphasis is being given towards regulating interoperable multi-agent environments through norms and institutions. We are concerned with environments in ...
Henrique Lopes Cardoso, Eugénio C. Oliveira
FOSSACS
2005
Springer
16 years 12 days ago
Stochastic Transition Systems for Continuous State Spaces and Non-determinism
Abstract. We study the interaction between non-deterministic and probabilistic behaviour in systems with continuous state spaces, arbitrary probability distributions and uncountabl...
Stefano Cattani, Roberto Segala, Marta Z. Kwiatkow...