奥尔加·西德莱卡·拉奇
人员信息
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年–今天
2023 [第17条] 奥尔加·西德莱卡·拉奇 , 萨宾娜·西莫尼亚克 :
区块链技术在医疗数据处理中的应用及其潜在效益研究。 启用 2023 : 664-671 [c16] 奥尔加·西德莱卡·拉奇 :
使用区块链技术确保医疗数据存储安全。 KES公司 2023 : 961-968 2022 [注2] 马西耶·巴特洛米耶奇克 , 伊梅德·埃尔·弗雷 , 米罗斯瓦夫·库尔科夫斯基 , 萨宾娜·西莫尼亚克 , 奥尔加·西德莱卡·拉奇 :
基于移动环境位置因子的用户认证协议。 IEEE接入 10 : 16439-16455 ( 2022 ) 2021 [j1] 萨宾娜·西莫尼亚克 , 奥尔加·西德莱卡·拉奇 , 阿格涅斯卡·兹布热兹尼 , 安德烈·兹布热兹尼 , 米罗斯瓦夫·库尔科夫斯基 :
基于SAT和SMT的安全协议验证,包括时间方面。 传感器 21 ( 9 ) : 3055 ( 2021 ) 2020 [c15] 阿格涅斯卡·兹布热兹尼 , 安德烈·兹布热兹尼 , 萨宾娜·西莫尼亚克 , 奥尔加·西德莱卡·拉奇 , 米罗斯瓦夫·库尔科夫斯基 :
VerSecTis-安全协议的基于代理的模型检查器。 美国原子能机构 2020 : 2123-2125 [第14条] Olga Siedlecka Lamch公司 :
安全协议的概率和时间分析。 CISIS公司 2020 : 142-151 [第13条] 奥尔加·西德莱卡·拉奇 , 萨宾娜·西莫尼亚克 , 米罗斯瓦夫·库尔科夫斯基 , 伊梅德·埃尔·弗雷 :
非定时安全协议验证的最有效方法。 太平洋信息系统 2020 : 189
2010 – 2019
2019 [第12条] 奥尔加·西德莱卡·拉奇 , 萨宾娜·西莫尼亚克 , 米罗斯瓦夫·库尔科夫斯基 :
一种快速的安全协议验证方法。 CISIM公司 2019 : 523-534 [第11条] 阿格涅斯卡·兹布热兹尼 , Olga Siedlecka Lamch公司 , 萨宾娜·西莫尼亚克 , 米罗斯瓦夫·库尔科夫斯基 :
SMT解算器是安全协议自动时间属性验证的有效工具。 PDCAT公司 2019 : 320-327 2018 [第10条] 萨宾娜·西莫尼亚克 , 奥尔加·西德莱卡·拉奇 , 米罗斯瓦夫·库尔科夫斯基 :
安全协议分析中的一些时间方面。 中国 2018 : 344-356 2016 【c9】 奥尔加·西德莱卡·拉奇 , 米罗斯瓦夫·库尔科夫斯基 , 雅切克·皮亚科夫斯基 :
无完美密码假设的安全协议概率模型检查。 中国 2016 : 107-117 【c8】 萨宾娜·西莫尼亚克 , 奥尔加·西德莱卡·拉奇 , 米罗斯瓦夫·库尔科夫斯基 :
安全协议的定时分析。 ISAT(2) 2016 : 53-63 【c7】 米罗斯瓦夫·库尔科夫斯基 , 亚当·科扎基维奇 , 奥尔加·西德莱卡·拉奇 :
关于安全协议验证工具的一些备注。 ISAT(2) 2016 : 65-75 2015 【c6】 奥尔加·西德莱卡·拉奇 , 伊梅德·埃尔·弗雷 , 米罗斯瓦夫·库尔科夫斯基 , Jerzy Pejas公司 :
MobInfoSec系统相互认证协议验证。 CISIM公司 2015 : 461-474 2013 【c5】 米罗斯瓦夫·库尔科夫斯基 , 奥尔加·西德莱卡·拉奇 , 巴维尔·杜德克 :
在(定时)安全协议验证中使用反向归纳技术。 CISIM公司 2013 : 265-276 【c4】 米罗斯瓦夫·库尔科夫斯基 , 奥尔加·西德莱卡·拉奇 , 萨宾娜·西莫尼亚克 , 亨利克·皮奇 :
安全协议的并行有界模型检查。 PPAM(1) 2013 : 224-234 2012 【c3】 奥尔加·西德莱卡·拉奇 , 米罗斯瓦夫·库尔科夫斯基 , 亨利克·皮奇 :
一种新的有效的安全协议建模和验证方法。 CS&P公司 2012 : 191-202 【c2】 亨利克·皮奇 , 奥尔加·西德莱卡·拉奇 :
概率自动机中状态转移的区间概率。 ICAISC(2) 2012 : 688-696 2011 【c1】 亨利克·皮奇 , 奥尔加·西德莱卡·拉奇 :
求Saaty矩阵一致性的并行量子算法。 PPAM(1) 2011 : 102-111
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)