5475 search results - page 395 / 1095 » Model Driven Security |
166
click to vote
ISW
2005
Springer
16 years 9 days ago
2005
Springer
We present a model-checking algorithm which can be used to evaluate access control policies, and a tool which implements it. The evaluation includes not only assessing whether the ...
196
click to vote
ESWA
2006
15 years 6 months ago
2006
A crucial concern in the evaluation of evidence related to a major crime is the formulation of sufficient alternative plausible scenarios that can explain the available evidence. ...
179
click to vote
CMPB
2010
15 years 5 months ago
2010
Ligand prediction has been driven by a fundamental desire to understand more about how biomolecules recognize their ligands and by the commercial imperative to develop new drugs. ...
192
click to vote
ASIACRYPT
2009
Springer
16 years 1 months ago
2009
Springer
Multi-party secure computations are general important procedures to compute any function while keeping the security of private inputs. In this work we ask whether preprocessing can...
165
click to vote
CTRSA
2006
Springer
15 years 10 months ago
2006
Springer
In this work, we initiate the study of realizing a ranking functionality (m1,