SymNetという Network Verification システムがあります。 このSymNetを手元で動かしたのでそのメモを残します。 SymNet 概要 シンボリック実行を用いてネットワークのdata planeを検証するシステムです。 似た手法としてHeader Space Analysisがありますが…
ヤフオクで落札したSEIL/X1を使うためにコンソールケーブルを用意したのでその紹介をします。 SEIL/X1はコンソールポートのピンアサインがCiscoなどとは異なっているため、いつものコンソールケーブルは使うことができません。 そこで、SEIL/X1を使うための…
先日、Internet Week ショーケース in 奈良にて、Team Shirankedo のメンバーとして会場Wi-Fiを提供するNOCチームに参加しました。 主に以下の2点に携わりました。構成についてはNOCメンバーの発表資料に載っています。 サーバーチームとしてDNS、DHCP、監視…
プロバイダと接続するルーターとして今までbuffaloの家庭用ルーターを使っていたのですが，NECのIX2215に切り替えました． せっかくなのでSNMPでNAPTセッション数を取得し，Grafanaで表示してみました． 使ったのは Grafana Prometheus snmp_exporter です．…
DHCPサーバーをKea DHCPで構築し，StorkとGrafana+Prometheusでリースアドレス数などを監視できるようにしました． 以前Dockerを用いてKea DHCPを構築していましたが， 色々試してみるとDockerでの構築はあまり想定されていない使い方のようだったので*1，今…
ネットワークシステムのセキュリティに関する性質を検証するためのモデリング言語 Rabbit *1 をWSLで動かしたのでその環境構築の手順を残しておきます． 構築した環境は以下のとおりです． OS：Ubuntu 20.04.6 LTS（アップデートしないと...） CPU：Intel Co…
devstackを使えばブラックボックスにはなるけどOpenStackを使ってみることができるという話を聞いてみたので使ってみました．
