Mathematical Basis of Ring-Finding Algorithms in CIDS | Synapse