375 search results - page 36 / 75 » Group announcement logic |
123
click to vote
ADBIS
2001
Springer
15 years 6 months ago
2001
Springer
Due to the rapid growth of the Web, there is an increasing need for methodologies that support the design of Web-based Information Systems (WIS). After investigating the applicatio...
131
click to vote
AI
2008
Springer
15 years 13 days ago
2008
Springer
Although classical first-order logic is the de facto standard logical foundation for artificial intelligence, the lack of a built-in, semantically grounded capability for reasonin...
112
click to vote
CCS
2001
ACM
15 years 5 months ago
2001
ACM
Encryption is widely used to enforce usage rules for digital content. In many scenarios content is encrypted using a group key which is known to a group of users that are allowed ...
109
click to vote
WWW
2005
ACM
16 years 2 months ago
2005
ACM
Being able to determine the provenience of statements is a fundamental step in any SW trust modeling. We propose a methodology that allows signing of small groups of RDF statement...
117
click to vote
IEEEARES
2008
IEEE
15 years 8 months ago
2008
IEEE
We present a secure e-commerce architecture that is resistant to client compromise and man-in-the-middle attacks on SSL. To this end, we propose several security protocols that us...