logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
R

Riccardo Sisto

Polytechnic University of Turin

24H指数
173论文数
2.1K被引数
收录论文 27
发表时间
logo
Toward Correctness by Construction for Network Security Configuration通过构造实现网络安全配置的正确性
errMOBILE INTERNET SECURITY, MOBISEC 2024
IF0
err2026-01-01
err0
PREAI
errBringhenti, Daniele; Sisto, Riccardo; Valenza, Fulvio
err分享
err收藏
Intent-Driven Network Isolation for the Cloud Computing Continuum意图驱动的云 computing continuum 网络隔离
errJournal of Network and Systems Management
IF3.9
err2025-10-17
err0
errOAAI
errFrancesco Pizzato; Daniele Bringhenti; Riccardo Sisto; Fulvio Valenza
err分享
err收藏
Formal verification of a V2X scheme mixing traditional PKI and group signatures
errJOURNAL OF INFORMATION SECURITY AND APPLICATIONS
IF3.7
err2025-03-01
err0
errOAAI
errBussa, Simone; Sisto, Riccardo; Valenza, Fulvio
err分享
err收藏
Automating VPN Configuration in Computer Networks
errIEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING
IF7.5
err2025-01-01
err0
errOAAI
errBringhenti, Daniele; Sisto, Riccardo; Valenza, Fulvio
err分享
err收藏
Automation for Network Security Configuration: State of the Art and Research Trends
errACM COMPUTING SURVEYS
IF28
err2023-10-05
err11
errOAAI
errBringhenti, Daniele; Marchetto, Guido; Sisto, Riccardo; Valenza, Fulvio
err分享
err收藏
Automated Firewall Configuration in Virtual Networks
errIEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING
IF7.5
err2023-03-01
err21
errOAAI
errBringhenti, Daniele; Marchetto, Guido; Sisto, Riccardo; Valenza, Fulvio; Yusupov, Jalolliddin
err分享
err收藏
A Formal Approach to Verify Connectivity and Optimize VNF Placement in Industrial Networks
errIEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS
IF9.9
err2021-02-01
err9
PREAI
errMarchetto, Guido; Sisto, Riccardo; Valenza, Fulvio; Yusupov, Jalolliddin; Ksentini, Adlen
err分享
err收藏
Securing SOME/IP for In-Vehicle Service Protection
errIEEE TRANSACTIONS ON VEHICULAR TECHNOLOGY
IF7.1
err2020-11-01
err27
PREAI
errIorio, Marco; Reineri, Massimo; Risso, Fulvio; Sisto, Riccardo; Valenza, Fulvio
err分享
err收藏
Protecting In-Vehicle Services: Security-Enabled SOME/IP Middleware
errIEEE VEHICULAR TECHNOLOGY MAGAZINE
IF7.2
err2020-09-01
err18
PREAI
errIorio, Marco; Buttiglieri, Alberto; Reineri, Massimo; Risso, Fulvio; Sisto, Riccardo; Valenza, Fulvio
err分享
err收藏
(User-friendly) formal requirements verification in the context of ISO26262
errENGINEERING SCIENCE AND TECHNOLOGY-AN INTERNATIONAL JOURNAL-JESTECH
IF5.4
err2020-06-01
err3
errOAAI
errMakartetskiy, Denis; Marchetto, Guido; Sisto, Riccardo; Valenza, Fulvio; Virgilio, Matteo; Leri, Denise; Denti, Paolo; Finizio, Roberto
err分享
err收藏
Multipoint Passive Monitoring in Packet Networks
errIEEE-ACM TRANSACTIONS ON NETWORKING
IF3.6
err2019-12-01
err10
PREAI
errCociglio, Mauro; Fioccola, Giuseppe; Marchetto, Guido; Sapio, Amedeo; Sisto, Riccardo
err分享
err收藏
Formally specifying and checking policies and anomalies in service function chaining
errJOURNAL OF NETWORK AND COMPUTER APPLICATIONS
IF8
err2019-11-01
err14
errOAAI
errValenza, Fulvio; Spinoso, Serena; Sisto, Riccardo
err分享
err收藏
A Framework for Verification-Oriented User-Friendly Network Function Modeling
errIEEE ACCESS
IF3.6
err2019-01-01
err5
errOAAI
errMarchetto, Guido; Sisto, Riccardo; Valenza, Fulvio; Yusupov, Jalolliddin
err分享
err收藏
An efficient data exchange mechanism for chained network functions一种高效的链式网络函数数据交换机制
errJOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING
IF4
err2018-04-01
err1
errOAAI
errCerrato, Ivan; Marchetto, Guido; Risso, Fulvio; Sisto, Riccardo; Virgilio, Matteo; Bonafiglia, Roberto
err分享
err收藏
Seamless Configuration of Virtual Network Functions in Data Center Provider Networks在数据中心提供商网络中无缝配置虚拟网络功能
errJOURNAL OF NETWORK AND SYSTEMS MANAGEMENT
IF3.9
err2017-06-10
err3
PREAI
errSpinoso, Serena; Leogrande, Marco; Risso, Fulvio; Singh, Sushil; Sisto, Riccardo
err分享
err收藏
Formal verification of LTE-UMTS and LTE-LTE handover procedures
errCOMPUTER STANDARDS & INTERFACES
IF3.1
err2017-02-01
err13
errOAAI
errCopet, Piergiuseppe Bettassa; Marchetto, Guido; Sisto, Riccardo; Costa, Luciana
err分享
err收藏
Scalable Algorithms for NFA Multi-Striding and NFA-Based Deep Packet Inspection on GPUs
errIEEE-ACM TRANSACTIONS ON NETWORKING
IF3.6
err2016-06-01
err16
errOAAI
errAvalle, Matteo; Risso, Fulvio; Sisto, Riccardo
err分享
err收藏
Formally based semi-automatic implementation of an open security protocol
errJOURNAL OF SYSTEMS AND SOFTWARE
IF4.1
err2012-04-01
err9
errOAAI
errPironti, Alfredo; Pozza, Davide; Sisto, Riccardo
err分享
err收藏
Formal Vulnerability Analysis of a Security System for Remote Fieldbus Access
errIEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS
IF9.9
err2011-02-01
err32
errOAAI
errCheminod, Manuel; Pironti, Alfredo; Sisto, Riccardo
err分享
err收藏
SPAF: Stateless FSA-Based Packet Filters
errIEEE-ACM TRANSACTIONS ON NETWORKING
IF3.6
err2011-02-01
err6
errOAAI
errRolando, Pierluigi; Sisto, Riccardo; Risso, Fulvio
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
A
Adlen Ksentini
H 指数: 49 · 论文数: 354
P
Paolo Maggi
H 指数: 39 · 论文数: 290
P
Paolo Denti
H 指数: 36 · 论文数: 244
A
A. Pironti
H 指数: 31 · 论文数: 264
S
Sushil Kumar Singh
H 指数: 30 · 论文数: 91
查看更多