3 papers
cs.CR2026
Shortest Path Problem with Subnormal Gaussian Fuzzy Costs
Hande Günay Akdemir, Murat Moran
This paper addresses the fuzzy shortest path problem in directed graphs, where edge costs are modeled as generalized fuzzy numbers with Gaussian membership functions. We interpret…
cs.CR2026
Risk Averse Alert Prioritization for IDS Using Subnormal Gaussian Fuzzy Models
Murat Moran
Modern intrusion detection systems generate thousands of alerts daily, but alert fatigue severely limits security operations effectiveness due to too many false positives or low-im…
cs.CR2026
Graded Symbolic Verification with a Fuzzy Dolev-Yao Attacker Model
Murat Moran
Classical symbolic protocol verification under Dolev--Yao uses binary attacker knowledge (known/unknown). This abstraction misses cumulative side-channel settings, where repeated n…