Applying Infinite Petri Nets to the Cybersecurity of Intelligent Networks, Grids and Clouds
Correctness of networking protocols represents the principal requirement of cybersecurity. Correctness of protocols is established via the procedures of their verification. A classical communication system includes a pair of interacting systems. Recent developments of computing and communication gri...
محفوظ في:
| المؤلفون الرئيسيون: | , , |
|---|---|
| التنسيق: | Artigo |
| اللغة: | Inglês |
| منشور في: |
MDPI AG
2021-12-01
|
| سلاسل: | Applied Sciences |
| الموضوعات: | |
| الوصول للمادة أونلاين: | https://www.mdpi.com/2076-3417/11/24/11870 |
| الوسوم: |
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|