4328 search results - page 835 / 866 » A New Kind of Science |
104
click to vote
CSFW
2002
IEEE
15 years 7 months ago
2002
IEEE
We present the first type and effect system for proving authenticity properties of security protocols based on asymmetric cryptography. The most significant new features of our ...
128
click to vote
IPPS
2002
IEEE
15 years 6 months ago
2002
IEEE
Abstract— In this paper, we present a novel and comprehensive resource management solution for the autonomous hot-spot convergence system (AHSCS) that uses sensor web. This solut...
159
click to vote
EUROCRYPT
2010
Springer
15 years 6 months ago
2010
Springer
In this paper, we present two fully secure functional encryption schemes. Our first result is a fully secure attribute-based encryption (ABE) scheme. Previous constructions of AB...
117
click to vote
ICALP
2010
Springer
15 years 6 months ago
2010
Springer
We propose a new approach to the notion of recognition, which departs from the classical definitions by three specific features. First, it does not rely on automata. Secondly, it...
139
click to vote
SC
2009
ACM
15 years 6 months ago
2009
ACM
In order to understand the complex physics of mother nature, physicist often use many approximations to understand one area of physics and then write a simulation to reduce these ...