Automated Game-Theoretic Verification of Security Systems

DOI10.1007/978-3-030-30281-8_14MaRDI QIDQ6489006zbMATH OpenFDO

Authors Chunyan Mu

Publication date 14 March 2024

Mathematics Subject Classification ID

Applications of game theory (91A80) Specification and verification (program logics, model checking, etc.) (68Q60) Computer security (68M25)

Recommendations

• Automatic verification of concurrent stochastic systems
• Towards a game theoretic view of secure computation
• A game-theoretic framework for specification and verification of cryptographic protocols
• Toward a game theoretic view of secure computation
• A rational framework for secure communication

This page was built for publication: Automated Game-Theoretic Verification of Security Systems

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