3821 search results - page 40 / 765 » A Security Model for Aglets |
CCS
2011
ACM
12 years 7 months ago
2011
ACM
We conduct an extensive study of information leakage over the powerline infrastructure from eight televisions (TVs) spanning multiple makes, models, and underlying technologies. I...
JCS
2010
13 years 2 months ago
2010
We introduce constraint differentiation, a powerful technique for reducing search when model-checking security protocols using constraint-based methods. Constraint differentiation...
HOST
2011
IEEE
12 years 7 months ago
2011
IEEE
—We introduce a novel hardware intellectual property acquisition protocol, show how it can support the transfer of provably trustworthy modules between hardware IP producers and ...
PKC
2012
Springer
11 years 10 months ago
2012
Springer
We identify a potential weakness in the standard security model for dynamic group signatures which appears to have been overlooked previously. More specifically, we highlight tha...
ESSOS
2011
Springer
12 years 11 months ago
2011
Springer
The feedback from architectural decisions to the elaboration of requirements is an established concept in the software engineering community. However, pinpointing the nature of thi...