Mirosław Kurkowski
Mirosław Kurkowski
Associate Professor at Institute of Computer Science, St. Card. Wyszynski University, Warsaw
uksw.edu.pl의 이메일 확인됨
제목
인용
인용
연도
Handbook of finite state based models and applications
J Wang
CRC press, 2012
412012
Modern Cryptography Primer
C Kościelny, M Kurkowski, M Srebrny
Springer Verlag, 2013
272013
Applying Timed Automata to Model Checking of Security Protocols.
M Kurkowski, W Penczek
Handbook of Finite State Based Models and Applications, 223-254, 2012
212012
Verifying security protocols modelled by networks of automata
M Kurkowski, W Penczek
Fundamenta Informaticae 79 (3-4), 453-471, 2007
202007
Multifactor authentication protocol in a mobile environment
B Maciej, M Kurkowski
IEEE Access 7, 157185-157199, 2019
162019
Timed analysis of security protocols
S Szymoniak, O Siedlecka-Lamch, M Kurkowski
Information Systems Architecture and Technology: Proceedings of 37th …, 2017
162017
Probabilistic model checking of security protocols without perfect cryptography assumption
O Siedlecka-Lamch, M Kurkowski, J Piatkowski
International Conference on Computer Networks, 107-117, 2016
152016
Formalne metody weryfikacji własności protokołów zabezpieczających w sieciach komputerowych
M Kurkowski
Akademicka Oficyna Wydawnicza Exit, 2013
122013
Timed models of security protocols including delays in the network
S Szymoniak, M Kurkowski, J Piątkowski
Journal of Applied Mathematics and Computational Mechanics 14 (3), 2015
112015
Sat-based verification of security protocols via translation to networks of automata
M Kurkowski, W Penczek, A Zbrzezny
International Workshop on Model Checking and Artificial Intelligence, 146-165, 2006
102006
A quantifier-free first-order knowledge logic of authentication
M Kurkowski, M Srebrny
Fundamenta Informaticae 72 (1-3), 263-282, 2006
102006
On some time aspects in security protocols analysis
S Szymoniak, O Siedlecka-Lamch, M Kurkowski
International Conference on Computer Networks, 344-356, 2018
82018
A New E ective Approach for Modelling and Verification of Security Protocols
O Siedlecka-Lamch, M Kurkowski, H Piech
82012
Towards parallel direct SAT-based cryptanalysis
P Dudek, M Kurkowski, M Srebrny
International Conference on Parallel Processing and Applied Mathematics, 266-275, 2011
82011
ProToc-an universal language for security protocols specification,[in:] Advances in Intelligent Systems and Computing, eds. A. Wiliński, IE Fray, J. Pejas
M Kurkowski, A Grosser, J Piątkowski, S Szymoniak
Springer Verlag 342, 237-248, 2015
72015
Verifying timed security protocols via translation to timed automata
M Kurkowski, W Penczek
Fund. Inform 93 (1-3), 245-259, 2009
72009
A fast method for security protocols verification
O Siedlecka-Lamch, S Szymoniak, M Kurkowski
IFIP International Conference on Computer Information Systems and Industrial …, 2019
62019
SAT-based verification of NSPK protocol including delays in the network
S Szymoniak, O Siedlecka-Lamch, M Kurkowski
2017 IEEE 14th International Scientific Conference on Informatics, 388-393, 2017
62017
Verification of mutual authentication protocol for mobinfosec system
O Siedlecka-Lamch, I El Fray, M Kurkowski, J Pejaś
IFIP International Conference on Computer Information Systems and Industrial …, 2015
62015
Using backward induction techniques in (timed) security protocols verification
M Kurkowski, O Siedlecka-Lamch, P Dudek
IFIP International Conference on Computer Information Systems and Industrial …, 2013
62013
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–20