Quantitative security analysis for multi-threaded programs

MaRDI QIDQ4992523zbMATH OpenFDO

Authors Tri Minh Ngo, Marieke Huisman

Publication date 9 June 2021

Full work available at URL https://arxiv.org/abs/1306.2693, http://eptcs.web.cse.unsw.edu.au/paper.cgi?QAPL2013.3

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1330436
• Information theory and security: Quantitative information flow
• An automated quantitative information flow analysis for concurrent programs
• Precise quantitative information flow analysis -- a symbolic approach
• Security for multithreaded programs under cooperative scheduling

Cited in

(7)

• Risk assessment for one-counter threads
• Run-time verification for observational determinism using dynamic program slicing
• Security for multithreaded programs under cooperative scheduling
• scientific article; zbMATH DE number 1330436 (Why is no real title available?)
• The optimum leakage principle for analyzing multi-threaded programs
• An automated quantitative information flow analysis for concurrent programs
• Quantitative aspects of programming languages and systems over the past 2⁴ years and beyond

This page was built for publication: Quantitative security analysis for multi-threaded programs

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