主要セキュリティモデルの比較：Biba完全性モデル、Clark-Wilsonモデル、Brewer-Nashモデル、Bell-LaPadulaモデル

2024-06-16

`DDD`(ドメイン駆動設計)の集約においてトランザクションよりも不変条件の方が重要という話

2024-06-06

CISSP：セキュリティガバナンスにおける主要フレームワークの比較

2024-06-06

トランザクションの分離レベル(`isolation`)と防げる不整合

2024-05-18

TypeScriptにおいてnever型を使ってswitch文の網羅性を保証する

2024-05-05