1448 search results - page 126 / 290 » From Requirements to Code Revisited |
138
click to vote
AVBPA
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The goal of a biometric encryption system is to embed a secret into a biometric template in a way that can only be decrypted with a biometric image from the enroled perso...
128
click to vote
CCS
2004
ACM
15 years 9 months ago
2004
ACM
We show that a number of recent definitions and constructions of fuzzy extractors are not adequate for multiple uses of the same fuzzy secret—a major shortcoming in the case of...
129
click to vote
COMPSAC
2003
IEEE
15 years 9 months ago
2003
IEEE
RDT is a graphical formal modelling language in which the modeller works by constructing diagrams of the processes in their model which they then join together to form complete sy...
115
Voted
IEEEMSP
2002
IEEE
15 years 9 months ago
2002
IEEE
— This work explores novel mechanisms for aerial acoustic machine-machine communications. It builds on previous work by some of the authors [1], as well as others [2]. In this pa...
164
click to vote
DEON
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. We show that a recently developed theory of positive permission based on the notion of derogation is hampered by a triviality result that indicates a problem with the und...