14824 search results - page 2231 / 2965 » Security - Introduction |
193
click to vote
CSL
2004
Springer
16 years 22 days ago
2004
Springer
Abstract. Security properties are profitably expressed using notions of contextual equivalence, and logical relations are a powerful proof technique to establish contextual equiva...
191
click to vote
ECAI
2004
Springer
16 years 22 days ago
2004
Springer
: Web portals have emerged as an important means of collaboration on the WWW, and the integration of ontologies promises to make them more accurate in how they serve users’ colla...
189
click to vote
ESTIMEDIA
2004
Springer
16 years 21 days ago
2004
Springer
Abstract—Few analytical performance models that relate performance figure of merit to architectural design decisions are reported in recent studies of network-on-chip, which pre...
215
click to vote
FC
2004
Springer
16 years 21 days ago
2004
Springer
Chameleon signatures are non-interactive signatures based on a hash-and-sign paradigm, and similar in efficiency to regular signatures. The distinguishing characteristic of chamel...
181
click to vote
FC
2004
Springer
16 years 21 days ago
2004
Springer
Abstract. We present the “Peppercoin” method for processing micropayments efficiently. With this method, a fraction of the micropayments received are determined, via a procedur...