Petri nets-based models for basic authentication procedure

被引:0
|
作者
Capek, J. [1 ]
Hub, M. [1 ]
Myskova, R. [1 ]
Roudny, R. [1 ]
机构
[1] Univ Pardubice, Fac Econ & Adm, Pardubice, Czech Republic
关键词
Authentication; keystroke dynamics; passwords; Petri nets; user name;
D O I
暂无
中图分类号
T [工业技术];
学科分类号
08 ;
摘要
This paper presents results of user name, passwords and keystroke dynamics authentication research. In this study as a tool was Petri net technique chosen. Experiments were made with two groups of models. One consists of combination of the User name and password with and/or without repeating. The second group consist of the user name, password and keystroke dynamics with and/or without repeating. The goal of this paper is to demonstrate that possibility to repeating leads to decreasing security.
引用
收藏
页码:57 / 61
页数:5
相关论文
共 50 条
  • [1] A Novel Petri Nets-based Modeling for the correctness of interactive Business Process Models
    Nouioua, Maroua
    Alti, Adel
    Zouari, Belhassen
    [J]. VISION 2020: SUSTAINABLE ECONOMIC DEVELOPMENT AND APPLICATION OF INNOVATION MANAGEMENT, 2018, : 2392 - 2401
  • [2] Towards Evolving Petri Nets: a Symmetric Nets-based Framework
    Capra, Lorenzo
    Camilli, Matteo
    [J]. IFAC PAPERSONLINE, 2018, 51 (07): : 480 - 485
  • [3] A Petri nets-based approach to modeling SCORM sequence
    Lin, HW
    Shih, TK
    Chang, WC
    Yang, CH
    Wang, CC
    [J]. 2004 IEEE INTERNATIONAL CONFERENCE ON MULTIMEDIA AND EXP (ICME), VOLS 1-3, 2004, : 1247 - 1250
  • [4] Petri nets-based model for the analysis of NORIA protocol
    Macia, H.
    Ruiz, M. C.
    Mateo, J. A.
    Calleja, J. L.
    [J]. CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2015, 27 (17): : 4704 - 4715
  • [5] Petri nets-based discrete system simulation method
    Liu, Jin
    [J]. Shu Ju Cai Ji Yu Chu Li/Journal of Data Acquisition & Processing, 1998, 13 (03): : 241 - 246
  • [6] State Space Generation for Petri nets-based GALS Systems
    Moutinho, Filipe
    Gomes, Luis
    [J]. 2012 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY (ICIT), 2012, : 620 - 625
  • [7] A Petri nets-based framework for whole-cell modeling
    Liu, Fei
    Assaf, George
    Chen, Ming
    Heiner, Monika
    [J]. BIOSYSTEMS, 2021, 210
  • [8] Petri nets-based super scalar computing in programmable controllers
    Seoul Natl Univ, Seoul, Korea, Republic of
    [J]. IEICE Trans Fund Electron Commun Comput Sci, 11 (1511-1518):
  • [9] A Petri nets-based scheduling methodology for multipurpose batch plants
    Riera, D
    Narciso, M
    Benqlilou, C
    [J]. SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL, 2005, 81 (09): : 613 - 623
  • [10] A PETRI NETS-BASED PROCESS PLANNING SYSTEM FOR WASTEWATER TREATMENT
    Yao, Albert W. L.
    Ji, Zhiming
    Liao, H. T.
    [J]. ASIAN JOURNAL OF CONTROL, 2010, 12 (03) : 281 - 291