Concepedia
Statistics
Publications
5
Citations
90
H-Index
Active since
2006
Affiliations
Jan Długosz University(Current)
Institute of Mathematics
Institute of Computer Science
West Pomeranian University of Technology
Cardinal Stefan Wyszyński University in Warsaw
Mirosław Kurkowski is an author at Jan Długosz University specializing in data security, engineering, and cryptography.
Top concepts
EngineeringCryptographyData SecurityComputer ScienceInformation SecurityVerificationFormal MethodsFormal VerificationBiometricsData Privacy
Publications per year
2006–2022
Multifactor Authentication Protocol in a Mobile Environment
Maciej Bartłomiejczyk, Imed El Fray, Mirosław Kurkowski · IEEE Access · 2019 · 34 citations · Full text
Authentication Authorization, Mobile Security, Engineering +18
Verifying Security Protocols Modelled by Networks of Automata
Mirosław Kurkowski, Wojciech Penczek · Fundamenta Informaticae · 2008 · 17 citations
Engineering, Information Security, Verification +17
User Authentication Protocol Based on the Location Factor for a Mobile Environment
Maciej Bartłomiejczyk, Imed El Fray, Mirosław Kurkowski et al. · IEEE Access · 2022 · 16 citations · Full text
Authentication Authorization, Mobile Security, Engineering +20
A Quantifier-free First-order Knowledge Logic of Authentication
Mirosław Kurkowski, Marian Srebrny · Fundamenta Informaticae · 2006 · 12 citations
New Logic, Engineering, Automated Reasoning +12
Timed Automata Based Model Checking of Timed Security Protocols
Mirosław Kurkowski, Wojciech Penczek · Fundamenta Informaticae · 2009 · 11 citations
Rows per page
1–5 of 5