62 search results - page 8 / 13 » A Dolev-Yao Model for Zero Knowledge |
EMNLP
2010
13 years 5 months ago
2010
This paper proposes a unified framework for zero anaphora resolution, which can be divided into three sub-tasks: zero anaphor detection, anaphoricity determination and antecedent ...
SP
2008
IEEE
13 years 7 months ago
2008
IEEE
Abstract--Our study analyzes the security and privacy properties of an implantable cardioverter defibrillator (ICD). Introduced to the U.S. market in 2003, this model of ICD includ...
TCC
2012
Springer
12 years 3 months ago
2012
Springer
We propose a 2-party UC-secure protocol that can compute any function securely. The protocol requires only two messages, communication that is poly-logarithmic in the size of the ...
ICIP
2007
IEEE
14 years 1 months ago
2007
IEEE
We consider a recent parametric level-set segmentation approach where the implicit interface is the zero level of a continuous function expanded onto compactly supported radial ba...
MOBIMEDIA
2007
13 years 9 months ago
2007
In this paper we simulate an authorization and delegation system using knowledge based technology. This proposal is part of a visual tool that is intended to be an implementation ...