Continuous verification of network security compliance
C Lorenz, V Clemens, M Schrötter… - IEEE Transactions on …, 2021 - ieeexplore.ieee.org
Continuous verification of network security compliance is an accepted need. Especially, the
analysis of stateful packet filters plays a central role for network security in practice. But the …
analysis of stateful packet filters plays a central role for network security in practice. But the …
Tempus: Probabilistic Network Latency Verification
Networks have exceedingly low latency requirements. Verifying network latency is crucial for
identifying any bottlenecks that may negatively impact user experience and swiftness of …
identifying any bottlenecks that may negatively impact user experience and swiftness of …
Checking intra-switch conflicts of rules during preprocessing of network verification in SDN
Y Fang, Y Lu - IEEE communications letters, 2019 - ieeexplore.ieee.org
Software defined networking (SDN) has been proposed for improving network flexibility and
programmability by decoupling control plane and data plane of the network. In SDN, the …
programmability by decoupling control plane and data plane of the network. In SDN, the …
[PDF][PDF] GRIFIN–Thesis proposal# 2 on Cognitive and Programmable
Objectives. This thesis proposes a cognitive approach to recovering from network incidents
or attacks in a future network context. In particular, the approach aims at (i) modelling the …
or attacks in a future network context. In particular, the approach aims at (i) modelling the …
誤りの効果的な説明のための反例空間解析
戸田貴久， 井上武 - 研究報告アルゴリズム(AL), 2018 - ipsj.ixsq.nii.ac.jp
論文抄録 モデル検査はハードウェアやソフトウェアの検証のための自動推論技術である.
システムのモデルに不具合がある場合, モデル検査器は, 誤りの説明として違反状態に陥る …
システムのモデルに不具合がある場合, モデル検査器は, 誤りの説明として違反状態に陥る …