Automated Game-Theoretic Verification of Security Systems

DOI10.1007/978-3-030-30281-8_14MaRDI QIDQ6489006FDOQ6489006

Authors: Chunyan Mu 

Publication date: 14 March 2024

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

Mathematics Subject Classification ID

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

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)