This paper presents an analysis of biometric authentication for signature creation application. We extend the established protocol in order to verify the two properties: secrecy and safety. We have analysed the protocol using applied pi calculus and ProVerif. The verification of the secrecy property shows that the protocol holds the biometric data securely while the verification of the safety p...

we investigate the problem of the existence of a frame forright ideals of a C*-algebra A, without the use of the Kasparov stabilizationtheorem. We show that this property can not characterize A as a C*-algebraof compact operators.

We study weakly compact operators from a C∗-algebra with values in a complete locally convex space. They constitute a natural non-commutative generalization of finitely additive vector measures with values in a locally convex space. Several results of Brooks, Sâıto and Wright are extended to this more general setting. Building on an approach due to Sâıto and Wright, we obtain our theorems on no...