5255 search results - page 260 / 1051 » Formal Methods for Privacy |
128
click to vote
IVS
2006
15 years 4 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...
130
click to vote
OOPSLA
2007
Springer
15 years 10 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...
133
click to vote
IFIP11
2004
15 years 5 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...
152
click to vote
OOPSLA
2000
Springer
15 years 8 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...
144
click to vote
ACISP
2008
Springer
15 years 10 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...