2685 search results - page 224 / 537 » A Formal Semantics for SPKI |
201
click to vote
GI
2010
Springer
15 years 4 months ago
2010
Springer
: paper we present a two-level approach to extend the abstract syntax of models with concrete semantics in order to execute such models. First, a light-weight execution infrastruct...
175
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
Form mapping is the key problem that needs to be solved in order to get access to the hidden web. Currently available solutions for fully automatic mapping are not ready for comme...
180
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
The vision of the Semantic Web is to reduce manual discovery and usage of Web resources (documents and services) and to allow software agents to automatically identify these Web r...
217
click to vote
DCC
2008
IEEE
16 years 6 months ago
2008
IEEE
In this paper, we formally prove that padding the plaintext with a random bit-string provides the semantic security against chosen plaintext attack (IND-CPA) for the McEliece (and ...
164
click to vote
SEMWEB
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Internet business-to-business transactions present great challenges in merging information from different sources. In this paper we describe a project to integrate four ...