Search
Search Results
-
-
General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond
The model of asynchronous programming arises in many contexts, from low-level systems software to high-level web programming. We take a...
-
Towards optimal score level fusion for adaptive multi-biometric authentication system
Multi-biometric authentication systems have been extensively investigated due to their merit over unimodal systems. Multi-biometric systems not only...
-
Efficient cancelable authentication system based on DRPE and adaptive filter
Currently, security enhancement of biometric systems is an important issue that deserves consideration. This is attributed to the threats facing...
-
An Effective Multimodal Biometric System Based on Textural Feature Descriptor
AbstractIn recent years the upsurge of contemporary technical assets results in the augmented prerequisite of precise and robust security systems....
-
Random area-perimeter method for generation of unimodal and multimodal cancelable biometric templates
In recent times, biometric based authentication systems have seen a tremendous growth in various applications. However, if databases in multiple...
-
Novel approach for multimodal feature fusion to generate cancelable biometric
Biometric systems provide various benefits over traditional pin-based authentication systems. However, the issue of data privacy and theft is of...
-
Improved Periocular Recognition Through Blend of Handcrafted and Deep Features
Periocular region is the area surrounding human eye. It has emerged as an effective biometric trait due to its robust nature, requirement of less...
-
Catalog Object-Aware Nets
In this chapter, we provide the second main application of the formal framework of U-RASs to the problem of modeling and verification of complex...
-
The Logical Level
Epistemological primitives can be given formal meaning via logical formalisms, which provide the foundation for machine understandability. In this...
-
Interpolation and Amalgamation for Arrays with MaxDiff
In this paper, the theory of McCarthy’s extensional arrays enriched with a maxdiff operation (this operation returns the biggest index where two...
-
Authentication System Based on Biometric Data of Smiling Face from Stacked Autoencoder and Concatenated Reed-Solomon Codes
A new authentication system based on video frames sampled from three main phases of a user smile has been proposed. This biometric system is...
-
Ocular recognition databases and competitions: a survey
The use of the iris and periocular region as biometric traits has been extensively investigated, mainly due to the singularity of the iris features...
-
Enhanced near-infrared periocular recognition through collaborative rendering of hand crafted and deep features
Periocular recognition leverage from larger feature region and lesser user cooperation, when compared against the traditional iris recognition....
-
A Formal Approach to Microservice Architecture Deployment
Following previous work on the automated deployment of component-based applications, we present a formal model specifically tailored for reasoning on...
-
Cancelable biometric scheme based on dynamic salting of random patches
The idea of cancelable biometrics was proposed to ensure the privacy and security of user’s original biometric data, which is collected for...
-
A decidable dichotomy theorem on directed graph homomorphisms with non-negative weights
The complexity of graph homomorphism problems has been the subject of intense study for some years. In this paper, we prove a decidable complexity...
-
Finite Sequentiality of Finitely Ambiguous Max-Plus Tree Automata
We show that the finite sequentiality problem is decidable for finitely ambiguous max-plus tree automata. A max-plus tree automaton is a weighted...
-
Security Requirements Formalization with RQCODE
Security requirements vary in nature and form. These requirements may come from compliance checklists, implementation guidelines, corporate...
-
Iris Recognition Using Improved Xor-Sum Code
Iris recognition has been among the most secure and reliable biometric traits, because of its permanent and unique features. Among the various...