约斯尔·贾拉亚
人员信息
其他同名人员
约斯拉·贾拉亚 -突尼斯斯法克斯大学
优化列表
![笔记](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
2020年–今天
2024 [公元35年] Mahmood Gholipourcoubeh公司 , 雨果·科尔马本·博宾内克 , 苏里亚迪普塔·马朱姆达尔 , 约斯尔·贾拉亚 , 王玲玉 , 布巴克尔·努尔 , Makan Pourzandi公司 :
CCSM:为涉及多个Kubernetes集群的边缘核心环境构建跨集群安全模型。 CODASPY代码 2024 : 79-90 2023 [公元34年] 莫门·欧卡利 , 苏里亚迪普塔·马朱姆达尔 , 王玲玉 , 穆罕默德·埃克拉穆尔·卡比尔 , 约斯尔·贾拉亚 , A.S.M.阿萨杜贾曼 , Makan Pourzandi公司 , 穆拉德·德巴比 :
基于租户的两阶段方法,用于审核托管在第三方云上的虚拟网络功能链的完整性。 鳕鱼 2023 : 79-90 [公元33年] 西蒙·巴赫里 , 雨果·科尔马本·博宾内克 , 苏里亚迪普塔·马朱姆达尔 , 约斯尔·贾拉亚 , 王玲玉 , Makan Pourzandi公司 :
扭曲防御时间线:Kubernetes集群的无中断主动攻击缓解。 国际商会 2023 : 777-782 2022 [公元12年] 马久姆达尔苏里亚迪普塔 , Gagandeep Singh Chawla先生 , 阿米尔·阿利穆罕默德法尔 , 塔乌斯·马迪 , 约斯尔·贾拉亚 , Makan Pourzandi公司 , 王玲玉 , 穆拉德·德巴比 :
ProSAS:云主动安全审计系统。 IEEE传输。 可靠的安全。 计算。 19 ( 4 ) : 2517-2534 ( 2022 ) [公元32年] A.S.M.阿萨杜贾曼 , 穆罕默德·埃克拉穆尔·卡比尔 , Hinddeep Purohit公司 , 苏里亚迪普塔·马朱姆达尔 , 王玲玉 , 约斯尔·贾拉亚 , Makan Pourzandi公司 :
5GFIVer:5G云端网络功能的功能完整性验证。 云通信 2022 : 162-169 [公元31年] 雨果·科尔马本·博宾内克 , Mahmood Gholipourcoubeh公司 , 西蒙·巴赫里 , 苏里亚迪普塔·马朱姆达尔 , 约瑟·贾拉亚 , Makan Pourzandi公司 , 王玲玉 :
ProSPEC:针对容器的主动安全策略实施。 CODASPY代码 2022 : 155-166 [公元30年] 阿拉·欧卡利 , 约斯尔·贾拉亚 , 王玲玉 , Makan Pourzandi公司 , 苏里亚迪普塔·马朱姆达尔 :
MLFM:机器学习符合网络功能虚拟化(NFV)中快速识别安全漏洞的形式化方法。 内分泌(3) 2022 : 466-489 [公元29年] 阿扎德·塔比班 , 合阳赵 , 约斯尔·贾拉亚 , Makan Pourzandi公司 , 张梦远(Mengyuan Zhang) , 王玲玉 :
ProvTalk:网络功能虚拟化(NFV)中可解释的多层次来源分析。 NDSS公司 2022 [公元28年] 阿扎德·塔比班 , 合阳赵 , 约斯尔·贾拉亚 , Makan Pourzandi公司 , 王玲玉 :
VinciDecoder:使用OpenStack应用程序将产地图自动解释为文本取证报告。 北欧证券 2022 : 346-367 [i1] 梅萨姆·穆罕默德 , 韩旺(Han Wang) , 王玲玉 , 张梦远(Mengyuan Zhang) , 约斯尔·贾拉亚 , 苏里亚迪普塔·马朱姆达尔 , Makan Pourzandi公司 , 穆拉德·德巴比 , 袁宏(音) :
DPOAD:通过迭代敏感性学习对异常检测进行差异化私有外包。 CoRR公司 abs/2206.13046 ( 2022 ) 2021 [公元11年] Gagandeep Singh Chawla先生 , 张梦远(Mengyuan Zhang) , 苏里亚迪普塔·马朱姆达尔 , 约斯尔·贾拉亚 , 马坎·波尔赞迪 , 王玲玉 , 穆拉德·德巴比 :
VMGuard:基于状态的主动验证虚拟网络隔离,并应用于NFV。 IEEE传输。 可靠的安全。 计算。 18 ( 4 ) : 1553-1567 ( 2021 ) [公元10年] 莫门·欧卡利 , 约斯尔·贾拉亚 , 梅萨姆·穆罕默德 , 苏里亚迪普塔·马朱姆达尔 , Makan Pourzandi公司 , 王玲玉 , 穆拉德·德巴比 :
SegGuard:基于分段的云网络数据匿名化,用于隐私保护安全审计。 IEEE传输。 可靠的安全。 计算。 18 ( 5 ) : 2486-2505 ( 2021 ) [公元27年] A.S.M.阿萨杜贾曼 , 莫门·欧卡利 , 约瑟·贾拉亚 , 苏里亚迪普塔·马朱姆达尔 , Makan Pourzandi公司 , 王玲玉 , 穆拉德·德巴比 :
人工分组对空分散(APPD):验证NFV服务链完整性的黑箱方法。 中枢神经系统 2021 : 245-253 2020 [公元26年] 阿拉·欧卡利 , 苏台山L.T , 约斯尔·贾拉亚 , 苏里亚迪普塔·马朱姆达尔 , 张梦远(Mengyuan Zhang) , Makan Pourzandi公司 , 王玲玉 , 穆拉德·德巴比 :
NFVGuard:验证多级网络功能虚拟化(NFV)堆栈的安全性。 云通信 2020 : 33-40 [公元25年] 阿扎德·塔比班 , 约斯尔·贾拉亚 , 张梦远(Mengyuan Zhang) , Makan Pourzandi公司 , 王玲玉 , 穆拉德·德巴比 :
捕捉倒下的多米诺骨牌:云管理级别的来源分析与OpenStack的应用。 中枢神经系统 2020 : 1-9
2010 – 2019
2019 【b2】 苏里亚迪普塔·马朱姆达尔 , 塔乌斯·马迪 , 王玉顺 , 阿扎德·塔比班 , 莫门·欧卡利 , 阿米尔·阿利穆罕默德法尔 , 约斯尔·贾拉亚 , Makan Pourzandi公司 , 王玲玉 , 穆拉德·德巴比 :
云安全审核。 信息安全进展 76, 施普林格 2019 ,国际标准图书编号 978-3-030-23127-9 ,第1-159页 [公元9年] 苏里亚迪普塔·马朱姆达尔 , 阿扎德·塔比班 , 约斯尔·贾拉亚 , 莫门·欧卡利 , 阿米尔·阿利穆罕默德法尔 , Makan Pourzandi公司 , 王玲玉 , 穆拉德·德巴比 :
学习事件之间的概率依赖关系,以便在云中进行主动安全审计。 J.计算。 安全。 27 ( 2 ) : 165-202 ( 2019 ) [j8] 塔乌斯·马迪 , 约斯尔·贾拉亚 , 阿米尔·阿里穆罕默德 , 苏里亚迪普塔·马朱姆达尔 , 王玉顺 , Makan Pourzandi公司 , 王玲玉 , 穆拉德·德巴比 :
ISOTOP:审核OpenStack中跨云层的虚拟网络隔离。 ACM事务处理。 私人安全。 22 ( 1 ) : 1:1-1:35 ( 2019 ) [j7] Alireza Shameli-Sendi公司 , 约斯尔·贾拉亚 , Makan Pourzandi公司 , 穆罕默德·切丽特 :
使用网络安全防御模式高效提供安全服务功能链。 IEEE传输。 服务。 计算。 12 ( 4 ) : 534-549 ( 2019 ) [公元24年] 苏里亚迪普塔·马朱姆达尔 , 阿扎德·塔比班 , 梅萨姆·穆罕默德 , 阿拉·欧卡利 , 约斯尔·贾拉亚 , Makan Pourzandi公司 , 王玲玉 , 穆拉德·德巴比 :
云的多级主动安全审计。 DSC公司 2019 : 1-8 【c23】 苏里亚迪普塔·马朱姆达尔 , 阿扎德·塔比班 , 梅萨姆·穆罕默德 , 阿拉·欧卡利 , 约斯尔·贾拉亚 , Makan Pourzandi公司 , 王玲玉 , 穆拉德·德巴比 :
Proactivizer:将现有的验证工具转换为高效的运行时安全实施解决方案。 ESORICS(2) 2019 : 239-262 [公元22年] 妈妈Oqaily , 约斯尔·贾拉亚 , 张梦远(Mengyuan Zhang) , 王玲玉 , Makan Pourzandi公司 , 穆拉德·德巴比 :
iCAT:一种交互式可定制匿名工具。 ESORICS(1) 2019 : 658-680 2018 [j6] 苏里亚迪普塔·马朱姆达尔 , 塔乌斯·马迪 , 王玉顺 , 约斯尔·贾拉亚 , Makan Pourzandi公司 , 王玲玉 , 穆拉德·德巴比 :
云的用户级运行时安全审计。 IEEE传输。 Inf.法医安全。 13 ( 5 ) : 1185-1199 ( 2018 ) 【c21】 塔乌斯·马迪 , 张梦远(Mengyuan Zhang) , 约斯尔·贾拉亚 , 阿米尔·阿利穆罕默德法尔 , Makan Pourzandi公司 , 王玲玉 , 穆拉德·德巴比 :
QuantiC:公共云中评估多租户威胁的距离度量。 云通信 2018 : 163-170 [公元20年] 阿米尔·阿利穆罕默德法尔 , 苏里亚迪普塔·马朱姆达尔 , 塔乌斯·马迪 , 约斯尔·贾拉亚 , Makan Pourzandi公司 , 王玲玉 , 穆拉德·德巴巴比 :
基于秘密探测的验证(SPV):一种保护软件定义网络免受拓扑中毒攻击的主动方法。 ESORICS(2) 2018 : 463-484 [第19条] 苏里亚迪普塔·马朱姆达尔 , 塔乌斯·马迪 , 约斯尔·贾拉亚 , Makan Pourzandi公司 , 王玲玉 , 穆拉德·德巴比 :
云安全审计:主要方法和现有挑战。 FPS(FPS) 2018 : 61-77 2017 [第18条] 苏里亚迪普塔·马朱姆达尔 , 约斯尔·贾拉亚 , 莫门·欧卡利 , 阿米尔·阿利穆罕默德法尔 , Makan Pourzandi公司 , 王玲玉 , 穆拉德·德巴巴比 :
LeaPS:基于学习的云主动安全审计。 ESORICS(2) 2017 : 265-285 [第17条] 王玉顺 , 塔乌斯·马迪 , 苏里亚迪普塔·马朱姆达尔 , 约斯尔·贾拉亚 , 阿米尔·阿里穆罕默德 , Makan Pourzandi公司 , 王玲玉 , 穆拉德·德巴比 :
TenantGuard:云范围虚拟机级别网络隔离的可扩展运行时验证。 NDSS公司 2017 2016 [第16条] 塔乌斯·马迪 , 苏里亚迪普塔·马朱姆达尔 , 王玉顺 , 约斯尔·贾拉亚 , 马坎·波尔赞迪 , 王玲玉 :
审核云中虚拟化基础设施的安全合规性:应用程序到OpenStack。 CODASPY代码 2016 : 195-206 [第15条] 苏里亚迪普塔·马朱姆达尔 , 约斯尔·贾拉亚 , 塔乌斯·马迪 , 阿米尔·阿利穆罕默德法尔 , Makan Pourzandi公司 , 王玲玉 , 穆拉德·德巴比 :
通过预计算主动验证云的安全合规性:应用于OpenStack。 ESORICS(1) 2016 : 47-66 2015 [j5] 约斯尔·贾拉亚 , 阿拉什·埃格特萨迪 , 萨巴·萨德里 , 穆拉德·德巴巴比 , 马坎·波尔赞迪 :
验证云中虚拟机迁移的防火墙重新配置。 计算。 网络 93 : 480-491 ( 2015 ) [第14条] 约斯尔·贾拉亚 , Alireza Shameli-Sendi公司 , Makan Pourzandi公司 , 穆罕默德·切丽特 :
多级OCDO:基于SDN的云中的可扩展安全配置优化。 云 2015 : 572-579 [第13条] 苏里亚迪普塔·马朱姆达尔 , 塔乌斯·马迪 , 王玉顺 , 约斯尔·贾拉亚 , Makan Pourzandi公司 , 王玲玉 , 穆拉德·德巴比 :
云中身份和访问管理的安全合规性审核:OpenStack的应用程序。 云通信 2015 : 58-65 [第12条] Alireza Shameli-Sendi公司 , 约斯尔·贾拉亚 , 穆罕默德·费基·艾哈迈德 , Makan Pourzandi公司 , 查姆塞丁·塔利 , 穆罕默德·切丽特 :
按顺序排列的虚拟安全设备在云中的最佳位置。 感应电动机 2015 : 818-821 [第11条] 萨巴·萨德里 , 约斯尔·贾拉亚 , 阿拉什·埃格特萨迪 , 穆拉德·德巴比 :
面向迁移软件定义网络中虚拟机的安全策略。 NetSoft公司 2015 : 1-9 2014 【j4】 约瑟·贾拉亚 , 塔乌斯·马迪 , 穆拉德·德巴比 :
软件定义网络的调查和分层分类。 IEEE通信。 Surv公司。 教程 16 ( 4 ) : 1955-1980 ( 2014 ) [j3] 约斯尔·贾拉亚 , 穆拉德·德巴比 :
SysML活动图的定量和定性分析。 国际期刊软件。 技术工具。 Transf公司。 16 ( 4 ) : 399-419 ( 2014 ) [第10条] 阿拉什·埃格特萨迪 , 约斯尔·贾拉亚 , 穆拉德·德巴比 , Makan Pourzandi公司 :
云中安全配置的保护。 IC2E公司 2014 : 17-26 2013 【c9】 约斯尔·贾拉亚 , 苏霍伊·雷 , 安德烈·索亚努 , 穆拉德·德巴比 , 穆罕默德·阿洛奇 , 让·伯杰 :
走向分布式计划执行监控框架。 ANT/SEIT公司 2013 : 1034-1039 2012 [注2] 萨米尔·欧沙尼 , 约斯尔·贾拉亚 , 奥特曼·阿伊特·穆罕默德 , 穆拉德·德巴比 :
评估通信协议策略的概率攻击场景。 J.软件。 7 ( 7 ) : 1488-1495 ( 2012 ) 【c8】 约斯尔·贾拉亚 , 阿拉什·埃赫特萨迪 , 穆拉德·德巴比 , 张颖(音) , Makan Pourzandi公司 :
云演算:弹性云计算平台中的安全验证。 CTS公司 2012 : 447-454 【c7】 约斯尔·贾拉亚 , 阿拉什·埃格特萨迪 , 穆拉德·德巴巴比 , 张颖(音) , Makan Pourzandi公司 :
正式验证云中迁移虚拟机的安全保护。 SSS系统 2012 : 111-125 【c6】 约斯尔·贾拉亚 , 穆拉德·德巴比 :
SysML活动图的形式化规范和概率验证。 TASE公司 2012 : 17-24 2011 [c5] 萨米尔·欧沙尼 , 约瑟·贾拉亚 , 奥特曼·阿伊特·穆罕默德 :
基于模型的系统安全量化。 太平洋标准时间 2011 : 142-149 2010 【b1】 穆拉德·德巴比 , 法齐·哈萨因 , 约斯尔·贾拉亚 , 安德烈·索亚努 , Luay Alawneh公司 :
系统工程中的验证与确认——评估UML/SysML设计模型。 施普林格 2010 ,国际标准图书编号 978-3-642-15227-6 第I-XXVI页,1-248页
2000 – 2009
2009 [j1] 约斯尔·贾拉亚 , 安德烈·索亚努 , Luay Alawneh公司 , 穆拉德·德巴比 , 法齐·哈萨因 :
系统和软件工程模型的协同验证和确认。 国际通用系统杂志。 38 ( 7 ) : 719-746 ( 2009 ) 【c4】 约斯尔·贾拉亚 , 穆拉德·德巴比 , 贾马尔·本塔哈 :
关于SysML活动图的含义。 欧洲商业银行 2009 : 95-105 2007 【c3】 约斯尔·贾拉亚 , 安德烈·索亚努 , 穆拉德·德巴比 , 法齐·哈萨因 :
时间约束SysML活动图的自动验证和性能分析。 欧洲商业银行 2007 : 515-522 2006 【c2】 Luay Alawneh公司 , 穆拉德·德巴巴比 , 约斯尔·贾拉亚 , 安德烈·索亚努 , 法齐·哈萨因 :
系统和软件工程模型验证和确认的统一方法。 欧洲商业银行 2006 : 409-418 【c1】 Luay Alawneh公司 , 穆拉德·德巴比 , 法齐·哈萨因 , 约斯尔·贾拉亚 , 巴亚姆·沙希 , 安德烈·索亚努 :
系统工程设计模型验证与确认的统一范式。 IASTED软件工程会议 2006 : 282-287
合著者索引
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)