5255 search results - page 260 / 1051 » Formal Methods for Privacy |
188
click to vote
IVS
2006
15 years 7 months ago
2006
In this paper, we explore a privacy algorithm that detects human private parts in a 3D scan data set. The analogia graph is introduced to study the proportion of structures. The i...
182
click to vote
OOPSLA
2007
Springer
16 years 1 months ago
2007
Springer
There have been various proposals for the formalization of appropriate viewpoint-based frameworks. The model that we intend to devise attempts to provide a basis for conceptual mo...
194
click to vote
IFIP11
2004
15 years 8 months ago
2004
This paper proposes a formal model of the Bellare-Rogaway type [1] that enables one to prove the security of an anonymous credential system in a complexity theoretic framework. Th...
194
click to vote
OOPSLA
2000
Springer
15 years 10 months ago
2000
Springer
Most real-time embedded control software feature complex interactions with asynchronous inputs and environment objects, and a meaningful simulation of a real-time control software...
198
click to vote
ACISP
2008
Springer
16 years 1 months ago
2008
Springer
The elastic block cipher design employs the round function of a given, b-bit block cipher in a black box fashion, embedding it in a network structure to construct a family of ciphe...