3811 search results - page 137 / 763 » The Safe-Tcl Security Model |
160
click to vote
MSCS
2010
15 years 4 months ago
2010
Abstractions for Network Security† MICH E L E B U G L I E S I, R I C C A R D O F O C A R D I Dipartimento di Informatica, Universit`a Ca’ Foscari, Venice. Received 6 October 20...
173
click to vote
JCS
2010
15 years 1 months ago
2010
We introduce constraint differentiation, a powerful technique for reducing search when model-checking security protocols using constraint-based methods. Constraint differentiation...
234
click to vote
HOST
2011
IEEE
14 years 6 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 ...
172
click to vote
PKC
2012
Springer
13 years 8 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...
161
click to vote
OOPSLA
2009
Springer
16 years 28 days ago
2009
Springer
Model transformations provide a powerful capability to automate model refinements. However, the use of model transformation languages may present challenges to those who are unfami...