5475 search results - page 686 / 1095 » Model Driven Security |
181
click to vote
EUROCRYPT
2011
Springer
14 years 10 months ago
2011
Springer
In this work, we present HIBE and ABE schemes which are “unbounded” in the sense that the public parameters do not impose additional limitations on the functionality of the sy...
181
click to vote
CRYPTO
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. While there is a great deal of sophistication in modern cryptology, simple (and simplistic) explanations of cryptography remain useful and perhaps necessary. Many of the ...
159
click to vote
ACSD
2003
IEEE
16 years 1 days ago
2003
IEEE
— We consider the problem of specifying a model of the Zero Copy Secured Protocol for the purpose of LTL verification with the SPIN Model Checker. ZCSP is based on Direct Memory...
182
click to vote
GLOBAL
2003
Springer
15 years 12 months ago
2003
Springer
Global systems – systems which may operate over transient networks including mobile elements and in which computation itself may be mobile – are gaining in importance. Neverthe...
191
click to vote
CVPR
2006
IEEE
16 years 8 months ago
2006
IEEE
While crowds of various subjects may offer applicationspecific cues to detect individuals, we demonstrate that for the general case, motion itself contains more information than p...