1916 search results - page 192 / 384 » Reasoning with class algebra |
126
click to vote
CRYPTO
2000
Springer
15 years 8 months ago
2000
Springer
We present a chosen-ciphertext attack against the public key cryptosystem called NTRU. This cryptosystem is based on polynomial algebra. Its security comes from the interaction of ...
131
click to vote
SIGMOD
1995
ACM
15 years 7 months ago
1995
ACM
We study the problem of e cient maintenance of materialized views that may contain duplicates. This problem is particularly important when queries against such views involve aggre...
103
click to vote
COMPSEC
2002
15 years 4 months ago
2002
In a user hierarchy we say that a security class is subordinate to another security class if the former has a lower security privilege than the latter. To implement such a hierarc...
123
click to vote
LPNMR
2007
Springer
15 years 10 months ago
2007
Springer
We describe an answer-set programming solver smodels− , derived from smodels by eliminating some lookahead computations. We show that for some classes of programs smodels− outp...
142
click to vote
CSL
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We show how to automatically generate analytic hypersequent calculi for a large class of logics containing the linearity axiom (lin) (A ⊃ B) ∨ (B ⊃ A) starting from...