Finite-State Modeling and Testing of Image Based Authentication System

Seventh IEEE/ACIS International Conference on Computer and Information Science (icis 2008) Pub Date : 2008-05-14 DOI:10.1109/ICIS.2008.88

Nitin, D. Chauhan, V. Sehgal, Ankit Mahanot, Pallavi Singh, Sohit Ahuja, Utkarsh Shrivastava, M. Rana, V. Punjabi, S. Vinay, Nakul Sharma

{"title":"Finite-State Modeling and Testing of Image Based Authentication System","authors":"Nitin, D. Chauhan, V. Sehgal, Ankit Mahanot, Pallavi Singh, Sohit Ahuja, Utkarsh Shrivastava, M. Rana, V. Punjabi, S. Vinay, Nakul Sharma","doi":"10.1109/ICIS.2008.88","DOIUrl":null,"url":null,"abstract":"Secure environments protect their resources against unauthorized access by enforcing access control mechanisms. So when increasing security is an issue text based passwords are not enough to counter such problems. This is where image based authentication (IBA) comes into play. IBA enhances the security level in an exceptionally user friendly way. This paper is a comprehensive study and comparison of proposed Jaypee University of Information Technology-IBA System with the University of Florida-IBA System on the subject of using images as the password set. Furthermore the paper introduces a holistic view of completed finite state automation (CFSA) modeling that can be carried out as a complementary step to system modeling, enabling a precise scalability of the test process, revealing much rationalization potential. Finite-state based notions enable to introduce efficient algorithms to generate Legal Interaction Pairs (IPs), Faulty Interaction Pairs, and Regular Expression (RegEx).","PeriodicalId":382781,"journal":{"name":"Seventh IEEE/ACIS International Conference on Computer and Information Science (icis 2008)","volume":"251 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2008-05-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Seventh IEEE/ACIS International Conference on Computer and Information Science (icis 2008)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICIS.2008.88","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 2

Abstract

Secure environments protect their resources against unauthorized access by enforcing access control mechanisms. So when increasing security is an issue text based passwords are not enough to counter such problems. This is where image based authentication (IBA) comes into play. IBA enhances the security level in an exceptionally user friendly way. This paper is a comprehensive study and comparison of proposed Jaypee University of Information Technology-IBA System with the University of Florida-IBA System on the subject of using images as the password set. Furthermore the paper introduces a holistic view of completed finite state automation (CFSA) modeling that can be carried out as a complementary step to system modeling, enabling a precise scalability of the test process, revealing much rationalization potential. Finite-state based notions enable to introduce efficient algorithms to generate Legal Interaction Pairs (IPs), Faulty Interaction Pairs, and Regular Expression (RegEx).

查看原文本刊更多论文

基于图像的认证系统的有限状态建模与测试

安全环境通过实施访问控制机制来保护其资源免受未经授权的访问。因此，当提高安全性是一个问题时，基于文本的密码不足以解决此类问题。这就是基于映像的身份验证(IBA)发挥作用的地方。IBA以一种对用户非常友好的方式增强了安全级别。本文就使用图像作为密码集的主题，对所提出的Jaypee信息技术大学iba系统和佛罗里达大学iba系统进行了全面的研究和比较。此外，本文还介绍了完整有限状态自动化(CFSA)建模的整体视图，该模型可以作为系统建模的补充步骤进行，从而实现测试过程的精确可扩展性，揭示了许多合理化潜力。基于有限状态的概念能够引入有效的算法来生成合法交互对(ip)、错误交互对和正则表达式(RegEx)。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

Seventh IEEE/ACIS International Conference on Computer and Information Science (icis 2008)

自引率

0.00%

发文量