法国国立工艺学院联合学院：

活动预告：2021东莞理工学院国际学术周中法联合学院讲座及课程

讲座报告GAWS202102 面向智能网络、网格和云的网络安全的Petri网

Infinite Petri Nets for Cybersecurity of Intelligent Networks, Grid, and Clouds

国际学术周讲座ID：GAWS202102

主办学院：东莞理工学院法国国立工艺学院联合学院

协办学院：学生社区知行学院

讲座/报告名称：面向智能网络、网格和云的网络安全的Petri网

Infinite Petri Nets for Cybersecurity of Intelligent Networks, Grid, and Clouds

讲座报告时间安排表：9月13日星期一 19:00-21:00

直播间席位数上限：100人

学分设置：参与本次讲座可获得0.2知行活动学分。

授课平台：腾讯会议：会议 ID：642 949 949 会议密码：0913

讲座/报告内容简介：

网络协议的正确性是网络安全的首要要求。介绍和研究了一类新的无限Petri网，用于现代网络、集群、计算网格和云的建模。无限Petri网的参数化描述，计算位置/转移不变量的无限线性系统的参数化表示，以及以参数形式求解它们，使得无限Petri网模型的不变性证明成为可能。提出了一些基于传输图和阻塞图的附加分析技术。复杂的死锁已经被揭示出来并被分类为：一个阻塞循环；一连串的封锁在一个已经封锁的顶点结束；因为被相邻的阻塞设备隔离。结果推广到在超级计算机、集群和片上网络的通信子系统中起关键作用的多维结构，如超立方体和超立方体。Petri网模型的生成器已经开发出来，并在GitHub上公开使用。由于复杂的死锁泄漏，通过恶意流量进行网络阻塞的可能性已经被揭示。

Correctness of networking protocols represents the principal requirement of cybersecurity. A new class of infinite Petri nets has been introduced and studied for modeling modern networks, clusters, computing grids, and clouds. Parametric description of infinite Petri nets, parametric representation of infinite linear systems for the calculation of place/transition invariants, and solving them in parametric form allowed the invariance proof for infinite Petri net models. Some additional analysis techniques based on graphs of transmissions and blockings are presented. Complex deadlocks has been revealed and classifies as: a loop of blockings; a chain of blockings ended on an already blocked vertex; because of isolation by neighboring blocked devices. Results are generalized on multidimensional structures such as hypercube and hypertorus which play a key role in communication subsystems of supercomputers, clusters, and networks on chip. Generators of Petri net models has been developed and put on GitHub for public use. As a result of complex deadlocks disclosure, a possibility of network blocking via ill-intentioned traffic has been revealed.

主讲教师及简介：

Dmitry A. Zaitsev，乌克兰籍，国际计算机协会、电气与电子工程师协会资深会员；乌克兰敖德萨国立环境大学教授；西班牙超算中心。

讲座联系人：刘晓彤，硕士，东莞理工学院法国国立工艺学院联合学院外事秘书。