7796 search results - page 1449 / 1560 » On Generalized Schur Numbers |
CCS
2008
ACM
14 years 12 months ago
2008
ACM
In the Horn theory based approach for cryptographic protocol analysis, cryptographic protocols and (Dolev-Yao) intruders are modeled by Horn theories and security analysis boils d...
103
click to vote
CCS
2008
ACM
14 years 12 months ago
2008
ACM
We describe the design and implementation of Privacy Oracle, a system that reports on application leaks of user information via the network traffic that they send. Privacy Oracle ...
CCS
2008
ACM
14 years 12 months ago
2008
ACM
Distance bounding protocols have been proposed for many security critical applications as a means of getting an upper bound on the physical distance to a communication partner. As...
IWMM
2010
Springer
14 years 12 months ago
2010
Springer
With the current developments in CPU implementations, it becomes obvious that ever more parallel multicore systems will be used even in embedded controllers that require real-time...
CIKM
2008
Springer
14 years 12 months ago
2008
Springer
The need for high performance and throughput Question Answering (QA) systems demands for their migration to distributed environments. However, even in such cases it is necessary t...