crashRT のブログ

インフラとwebとデザインと色々

Rabbit + Tamarin Prover をWSLで動かしてみた

ネットワークシステムのセキュリティに関する性質を検証するためのモデリング言語 Rabbit *1 をWSLで動かしたのでその環境構築の手順を残しておきます. 構築した環境は以下のとおりです. OS:Ubuntu 20.04.6 LTS(アップデートしないと...) CPU:Intel Co…

devstackでOpenStack構築してみた

devstackを使えばブラックボックスにはなるけどOpenStackを使ってみることができるという話を聞いてみたので使ってみました.

自宅ネットワーク紹介~物理・L2/L3編~

新しい機器も増え,自宅のネットワークを色々改造したので新しい構成を紹介します. まずは物理構成とL2/L3について紹介します. 見た目 棚の2段分をネットワーク・サーバースペースにしていて,こんな感じの見た目になっています. LANケーブルにはマーカー…

KeaDHCP とDockerでDHCPサーバーを構築してみた

DHCPサーバーを立ててみた - crashRT のブログ で立てたisc-dhcp-serverがEOLだったのでKeaDHCPを構築しました。 構築したのは結構前だったのですが書いていなかったので残しておきます。 追記 2025.5.27 色々あって作り直しました.以下のブログで紹介して…

ヤフオクで3560CXを買ったけど使えなかった話

この前ヤフオクでciscoの Catalyst 3560CXを落札しました しかし、起動してコンソールケーブルを繋いでもなかなかログインプロンプトが表示されず... 出力を眺めていると、どうやら起動時のテストに失敗していたみたいです。 動作確認が通電OKだけだとこうい…

Knot Resolver と Docker でDNSキャッシュサーバーをたててみた

自宅環境内にDNSキャッシュサーバーをたてました。 Knot Resolver がモダンでステキらしい ので、これを使ってみることにしました。 公式サイト www.knot-resolver.cz ドキュメント www.knot-resolver.cz latest と stable の2つのバージョンが選べるのです…

DHCPサーバーを立ててみた

自宅環境にDHCPサーバーを立ててみました.構築の手順のメモです. 追記 (2024.10.28) www.isc.org どうやら isc-dhcp はメンテナンスが終了しているみたいです。 ISC has announced the end of maintenance for ISC DHCP as of the end of 2022. かわりに K…