A formal technique for automatic resolution of OpenFlow anomalies.
Saved in:
| Title: | A formal technique for automatic resolution of OpenFlow anomalies. |
|---|---|
| Authors: | Aryan, Ramtin1,2, ramtina@ifi.uio.no, Yazidi, Anis3, anis.yazidi@ntnu.no, Bouhoula, Adel4, a.bouhoula@agu.edu.bh, Engelstad, Paal E.1, paal.engelstad@its.uio.no |
| Source: | International Journal of Information Security; Aug2025, Vol. 24 Issue 4, p1-18, 18p |
| Database: | Applied Science & Technology Source |
| ISSN: | 16155262 |
|---|---|
| DOI: | 10.1007/s10207-025-01035-x |
