On Efficient Framework for Data-plane Verification with Geometric Windowing Queries

• Takeru INOUE

• Toru MANO

• Kimihiro MIZUTANI

• Hisashi NAGATA

• Osamu AKASHI

Bibliographic Information

Other Title

• 情報ネットワーク
• ジョウホウ ネットワーク

Journal

• 電子情報通信学会技術研究報告 = IEICE technical report : 信学技報

  電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 116 (251), 25-30, 2016-10

  東京 : 電子情報通信学会

Keywords

• network verification
• computational geometry
• data-plane configuration
• network policy

Details

• CRID: 1520290882362902912
• NII Article ID: 40020991526
• NII Book ID: AA1123312X
• ISSN: 09135685
• NDL BIB ID: 027720146
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I027720146
• Text Lang: en
• NDL Source Classification:
  • ZN33(科学技術--電気工学・電気機械工業--電子工学・電気通信)
• Data Source:
  • NDL
  • CiNii Articles