Student here — I formalized the SOC loop as axioms, could I get some advice?
Source Reddit Cybersecurity
Discussion
This content describes a student's academic project formalizing the Security Operations Center (SOC) monitoring and response loop as a set of mathematical axioms. The project, named Algebraic Security for Monitoring and Response (ASMR), proposes a formal framework to model the entire security monitoring pipeline from system state through observation, decision, and action. It is a draft manuscript with no validation against real data yet and is intended as a theoretical foundation rather than a practical security tool or vulnerability.
r/cybersecurity (opens in a new tab)u/AzzoDude0 points0 comments
I'm a student and this is my university project. I tried to write the security monitoring and response loop (state → observation → decision → action) as a formal system — 30 axioms and a few theorems (e.g. a decision threshold for when to act, and a detection bound).
It's a draft: the math is decent to publish as demo, but I haven't validated it against real data yet.
Repo: https://github.com/ChaoswareHQ/asmr
I'd really appreciate advice from people who actually work in SOCs.
Thanks.