Presentation 2019-07-11
Scalable method for impact range detection against additional network rules
Yutaka Takita, Masatake Miyabe, Hiroshi Tomonaga, Naoki Oguchi,
PDF Download Page PDF download Page Link
Abstract(in Japanese) (See Japanese page)
Abstract(in English) We propose the scalable and strict impact-range detection method for network verification, utilizing the concept of “Packet equivalent class.” Through evaluation for the practical large-scale network which contains over 80,000 of network rules, we confirmed valid impact-range action of about 600 seconds, and confirmed a prospect of practical use.
Keyword(in Japanese) (See Japanese page)
Keyword(in English) Network verification / Access control rules / AC rules / Forwarding rules / Packet Equivalence class / PEC / Hasse diagram
Paper # ICM2019-7
Date of Issue 2019-07-04 (ICM)

Conference Information
Committee ICM
Conference Date 2019/7/11(2days)
Place (in Japanese) (See Japanese page)
Place (in English)
Topics (in Japanese) (See Japanese page)
Topics (in English)
Chair Kiyohito Yoshihara(KDDI Research)
Vice Chair Takumi Miyoshi(Shibaura Inst. of Tech.) / Yoichi Sato(NEC)
Secretary Takumi Miyoshi(NTT) / Yoichi Sato(NTT)
Assistant Hiroki Nakayama(BOSCO Technologies)

Paper Information
Registration To Technical Committee on Information and Communication Management
Language JPN
Title (in Japanese) (See Japanese page)
Sub Title (in Japanese) (See Japanese page)
Title (in English) Scalable method for impact range detection against additional network rules
Sub Title (in English)
Keyword(1) Network verification
Keyword(2) Access control rules
Keyword(3) AC rules
Keyword(4) Forwarding rules
Keyword(5) Packet Equivalence class
Keyword(6) PEC
Keyword(7) Hasse diagram
Keyword(8)
1st Author's Name Yutaka Takita
1st Author's Affiliation Fujitsu Laboratories Limited(Fujitsu Labs)
2nd Author's Name Masatake Miyabe
2nd Author's Affiliation Fujitsu Laboratories Limited(Fujitsu Labs)
3rd Author's Name Hiroshi Tomonaga
3rd Author's Affiliation Fujitsu Laboratories Limited(Fujitsu Labs)
4th Author's Name Naoki Oguchi
4th Author's Affiliation Fujitsu Laboratories Limited(Fujitsu Labs)
Date 2019-07-11
Paper # ICM2019-7
Volume (vol) vol.119
Number (no) ICM-111
Page pp.pp.7-12(ICM),
#Pages 6
Date of Issue 2019-07-04 (ICM)