5475 search results - page 998 / 1095 » Model Driven Security |
217
click to vote
EUROCRYPT
2012
Springer
13 years 8 months ago
2012
Springer
We describe a compression technique that reduces the public key size of van Dijk, Gentry, Halevi and Vaikuntanathan’s (DGHV) fully homomorphic scheme over the integers from ËœO(Î...
180
click to vote
ICB
2009
Springer
16 years 21 days ago
2009
Springer
Biometric authentication using mobile devices is becoming a convenient and important means to secure access to remote services such as telebanking and electronic transactions. Such...
274
click to vote
POPL
2006
ACM
16 years 6 months ago
2006
ACM
We define a new fixpoint modal logic, the visibly pushdown ?-calculus (VP-?), as an extension of the modal ?-calculus. The models of this logic are execution trees of structured p...
163
click to vote
MOBICOM
2009
ACM
16 years 19 days ago
2009
ACM
Wireless sensor networks (WSNs) have been increasingly available for critical applications such as security surveillance and environmental monitoring. An important performance mea...
168
click to vote
ICDCS
2002
IEEE
15 years 11 months ago
2002
IEEE
Data mining systems aim to discover patterns and extract useful information from facts recorded in databases. A widely adopted approach is to apply machine learning algorithms to ...