Usability aware secret protection with minimum cost

DOI10.1016/J.NAHS.2021.101111MaRDI QIDQ2074757zbMATH OpenOpenAlexFDO

Authors Shoma Matsui, Kai Cai

Publication date 10 February 2022

Published in Nonlinear Analysis. Hybrid Systems (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2102.08234

zbMATH Keywords

cyber-physical systemscybersecuritydiscrete-event systemssecret protectionsupervisory control theoryusability

Mathematics Subject Classification ID

Computer science (68-XX) Operations research, mathematical programming (90-XX)

Recommendations

• Concurrent secrets
• On cyber attacks and the maximum-weight rooted-subtree problem
• Discovering, quantifying, and displaying attacks
• Probabilistic system opacity in discrete event systems
• A supervisory control approach to dynamic cyber-security

Cites work

• Control-Theoretic Methods for Cyberphysical Security: Geometric Principles for Optimal Cross-Layer Resilient Control Systems
• Detection and mitigation of classes of attacks in supervisory control systems
• Introduction to Discrete Event Systems
• Opacity of discrete event systems and its applications
• Supervisory control of discrete-event systems
• Verification of State-Based Opacity Using Petri Nets

Cited in

(1)

• From Passive to Covert Security at Low Cost

Describes a project that uses

Uses Software

• UMDES

This page was built for publication: Usability aware secret protection with minimum cost

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2074757)