Home | Notifications | New Note | Local | Federated | Search | Logout

Note Detail

おだら@s3_odara@mastodon.hakurei.win (2026-10-26 19:50:55)
「認可の不備が発生しない」を「情報漏洩が起きない」と言い換える人の作った形式手法を信頼できないかも
https://x.com/banr1_/status/2114639107129540644?s=20
---Reply---
おだら@s3_odara@mastodon.hakurei.win (2026-10-26 19:52:18)
認可安全性定理って何なんだ、聞いたことがないけど情報工学ではよく知られた定理なんですか