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

来源：

COMMUNICATION AND MANAGEMENT IN TECHNOLOGICAL INNOVATION AND ACADEMIC GLOBALIZATION | 2010年

关键词：

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 条

[21] A high-level Petri nets-based approach to verifying task structures
Lee, J
Lai, LF
[J]. IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 2002, 14 (02) : 316 - 335
[22] Functional Verification Methodology Using Hierarchical Coloured Petri Nets-based Testbenches
Rodrigues, Cassio L.
Morais, Fabio J.
Silva, Leandro M. L.
da Silva, Karina R. G.
de Figueiredo, Jorge C. A.
Guerrero, Dalton D. S.
Melcher, Elmar
[J]. 2008 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS (SMC), VOLS 1-6, 2008, : 2092 - +
[23] Fuzzy coloured petri nets-based method to analyse and verify the functionality of software
Chavoshi, Mina
Babamir, Seyed Morteza
[J]. CAAI TRANSACTIONS ON INTELLIGENCE TECHNOLOGY, 2023, 8 (03) : 863 - 879
[24] Modelling and Verification of Interorganizational Workflows with Security Constraints: A Petri Nets-Based Approach
Captarencu, Oana Otilia
[J]. ADVANCED INFORMATION SYSTEMS ENGINEERING WORKSHOPS, CAISE 2012, 2012, 112 : 486 - 493
[25] Improved Basic Inference Models of Fuzzy Petri Nets
Yuan, Jie
Shi, Haibo
Liu, Chang
Shang, Wenli
[J]. 2008 7TH WORLD CONGRESS ON INTELLIGENT CONTROL AND AUTOMATION, VOLS 1-23, 2008, : 1488 - 1493
[26] Petri Nets-based Design of Real-Time Reconfigurable Networks on Chips
Ben Salah, Hela
Benzina, Adel
Khalgui, Mohamed
[J]. 2015 IEEE/ACIS 14TH INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION SCIENCE (ICIS), 2015, : 597 - 604
[27] A Petri nets-based formal approach to multifacetted modelling and simulation of complex production systems
Bobeanu, CV
Alla, H
[J]. LARGE SCALE SYSTEMS: THEORY AND APPLICATIONS 1998 (LSS'98), VOL 1, 1999, : 373 - 379
[28] Modeling & simulation of a Petri Nets-based diffusion cell controller in an IC CIM system
Feng, CC
Hong, WC
[J]. SMC '97 CONFERENCE PROCEEDINGS - 1997 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5: CONFERENCE THEME: COMPUTATIONAL CYBERNETICS AND SIMULATION, 1997, : 1180 - 1185
[29] A hybrid Petri nets-based simulation model for evaluating the design of railway transit stations
Kaakai, Fateh
Hayat, Said
Moudni, Abdellah El
[J]. SIMULATION MODELLING PRACTICE AND THEORY, 2007, 15 (08) : 935 - 969
[30] Petri nets-based digital twin drives dual-arm cooperative manipulation
Hu, Fuwen
Wang, Wei
Zhou, Jinghua
[J]. COMPUTERS IN INDUSTRY, 2023, 147

← 1 2 3 4 5 →