Per-flow entry verification for legacy SDN.

Sakiko Kawai Tomoya Hibi Yoshihiro Nakajima Hirokazu Takahashi Yukio Tsukishima Hitoshi Masutani

Published in: APCC (2016)

Keyphrases

model checking
process algebra
asynchronous circuits
flow patterns
reverse engineering
concurrent systems
formal analysis
data sets
face verification
person identification
artificial intelligence
flow field
information flow
formal specification
mobile phone
image segmentation
website
high security
neural network