712 search results - page 47 / 143 » A Study on the Security of Privacy Homomorphism |
CSFW
2007
IEEE
15 years 4 months ago
2007
IEEE
We study simulation relations for Probabilistic Automata that require transitions to be matched up to negligible sets provided that computation lengths are polynomially bounded. T...
CSFW
2006
IEEE
15 years 3 months ago
2006
IEEE
We present a constructive authorization logic where the meanings of connectives are defined by their associated inference rules. This ensures that the logical reading of access c...
100
click to vote
AGENTS
1999
Springer
15 years 2 months ago
1999
Springer
This paper presents a methodology for agent-oriented analysis and design. The methodology is general, in that it is applicable to a wide range of multi-agent systems, and comprehe...
CSFW
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract—Layout randomization is a powerful, popular technique for software protection. We present it and study it in programming-language terms. More specifically, we consider ...
GIL
2009
14 years 7 months ago
2009
: Web-Communities wie Xing, StudiVZ, Facebook oder MySpace sind die erfolgreichsten Vertreter von Web 2.0-Anwendungen. Gerade die junge Generation (Generation 2.0) verwendet Web-Co...