2137 search results - page 233 / 428 » Proving Abstract Non-interference |
123
Voted
IFIP11
2004
15 years 5 months ago
2004
This paper proposes a formal model of the Bellare-Rogaway type [1] that enables one to prove the security of an anonymous credential system in a complexity theoretic framework. Th...
136
Voted
DAGSTUHL
2003
15 years 5 months ago
2003
In this paper we introduce an object-oriented coordination language for multi-agents systems. The beliefs and reasoning capabilities ent are specified in terms of a corresponding ...
147
Voted
IJIT
2004
15 years 5 months ago
2004
Abstract-- We consider a hybrid knowledge representation system for ontological knowledge bases in order to maintain knowledge consistency between taxonomic knowledge and assertion...
120
Voted
PDPTA
2004
15 years 5 months ago
2004
Abstract One of the goals envisioned by Grid computing is to make the execution of both computational and data-intensive problems possible. A key problem is finding the optimal set...
122
Voted
WSCG
2004
15 years 5 months ago
2004
3D scatterplots are an extension of the ubiquitous 2D scatterplots that is conceptually simple, but so far proved hard to use in practice. But by combining them with a state-of-th...