Mirosław Kurkowski

MaRDI QIDQ2201274zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
On security properties of RC5 cipher's non standard modifications Scientific Issues Jan Długosz University in Częstochowa. Mathematics	2022-10-17	Paper
Some remarks of different aggregation modes applications within the framework of intuitionistic fuzzy weights Scientific Issues Jan Długosz University in Częstochowa. Mathematics	2022-10-17	Paper
An approach to exponentiation with interval-valued power Journal of Applied Mathematics and Computational Mechanics	2021-03-26	Paper
Using probabilistic automata for security protocols verification Journal of Applied Mathematics and Computational Mechanics	2020-09-28	Paper
scientific article; zbMATH DE number 6705432 (Why is no real title available?)	2017-04-12	Paper
A new mathematical model for analytical risk assessment and prediction in IT systems	2014-12-09	Paper
scientific article; zbMATH DE number 6300104 (Why is no real title available?)	2014-06-03	Paper
On some time properties of untimed propositional implication	2014-04-23	Paper
scientific article; zbMATH DE number 6280000 (Why is no real title available?)	2014-04-04	Paper
Modern cryptography primer. Theoretical foundations and practical applications	2013-12-06	Paper
Timed automata based model checking of timed security protocols	2009-08-10	Paper
SAT-Based Verification of Security Protocols Via Translation to Networks of Automata Model Checking and Artificial Intelligence	2007-11-01	Paper
Verifying security protocols modelled by networks of automata	2007-10-17	Paper
A quantifier-free first-order knowledge logic of authentication	2006-09-06	Paper

Research outcomes over time

This page was built for person: Mirosław Kurkowski