Formal Verification
Kaniの探索が終わらないとき — 境界を狭める前に記録すること
探索量を減らす変更が、確かめる性質を変えていないかを追跡する。
- Formal Verification
- Reliability
Field Notes
フィールドノート
調査や運用で立ち止まる、一つの論点を短く整理します。検証が終わらないとき、監視が役に立たないとき、権限や復旧の判断に迷うときに、条件と限界を見直すためのノートです。
7 Articles
Formal Verification
Tamarinモデルと実装の距離 — 対応関係をどこに残すか
モデルの証明結果を実装へ移すには、イベントとコードの対応を別途点検する。
- Formal Verification
- Security
Observability
OpenTelemetryを入れた後の問い — 障害を説明できる信号になっているか
計装の有無より、利用者の症状から関連する処理を追えるかを確認する。
- Observability
- Operations
Observability
監視基盤の停止を誰が知るか — Kubernetesの外に観測点を置く
監視対象と同じ障害で失われない通知経路を設ける。
- Observability
- Reliability
Identity
Cloudflare Zero TrustとEntra — Conditional Accessの判定責任を分ける
ログイン時とセッション継続時の判定を分け、各製品が見ている状態を確認する。
- Identity
- Security
Storage
Object Lockの保持期間を決める前に — 復旧期間・費用・削除要件
保持期間はストレージ設定より先に、復旧に必要な期間と削除制約から定める。
- Storage
- Security
AI
AIエージェントにSaaSを操作させる — 誰の権限で何を確定するか
利用者の依頼と、ツールが実行できる操作の上限を別々に管理する。
- AI
- Identity
- Security
該当する記事はありません。別のトピックをお選びください。