팔로우
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
422012
Modern Cryptography Primer
C Kościelny, M Kurkowski, M Srebrny
Springer Verlag, 2013
252013
Applying timed automata to model checking of security protocols
M Kurkowski, W Penczek
Handbook of Finite State Based Models and Applications, 235-266, 2016
242016
Multifactor authentication protocol in a mobile environment
B Maciej, M Kurkowski
IEEE Access 7, 157185-157199, 2019
232019
Verifying security protocols modelled by networks of automata
M Kurkowski, W Penczek
Fundamenta Informaticae 79 (3-4), 453-471, 2007
222007
Timed analysis of security protocols
S Szymoniak, O Siedlecka-Lamch, M Kurkowski
Information Systems Architecture and Technology: Proceedings of 37th …, 2017
182017
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
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), 127--139, 2015
122015
Formalne metody weryfikacji własności protokołów zabezpieczających w sieciach komputerowych
M Kurkowski
Akademicka Oficyna Wydawnicza Exit, 2013
122013
A quantifier-free first-order knowledge logic of authentication
M Kurkowski, M Srebrny
Fundamenta Informaticae 72 (1-3), 263-282, 2006
122006
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
112006
A new effective approach for modeling and verification of security protocols
M Kurkowski, O Siedlecka-Lamch, H Piech
Proceedings of CS&P 12, 191-202, 2012
92012
Towards parallel direct SAT-based cryptanalysis
P Dudek, M Kurkowski, M Srebrny
International Conference on Parallel Processing and Applied Mathematics, 266-275, 2011
92011
Verifying timed security protocols via translation to timed automata
M Kurkowski, W Penczek
Fundamenta Informaticae 93 (1-3), 245-259, 2009
92009
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 fast method for security protocols verification
O Siedlecka-Lamch, S Szymoniak, M Kurkowski
IFIP International Conference on Computer Information Systems and Industrial …, 2019
72019
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
72017
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
A new mathematical model for analytical risk assessment and prediction in IT systems
IE Fray, M Kurkowski, J Pejaś, W Maćków
Control and Cybernetics 41 (1), 241-268, 2012
72012
A propositional logic for access control policy in distributed systems
M Kurkowski, J Pejaś
Artificial Intelligence and Security in Computing Systems, 175-189, 2003
72003
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–20