Run-time verification for observational determinism using dynamic program slicing

DOI10.1007/978-3-319-69659-1_22MaRDI QIDQ2092484zbMATH OpenOpenAlexFDO

Authors Mohammad Ghorbani, Mehran S. Fallah

Publication date 2 November 2022

Full work available at URL https://doi.org/10.1007/978-3-319-69659-1_22

zbMATH Keywords

concurrent programsdynamic program slicinginformation flow securityobservational determinismrun-time verification

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• Security for multithreaded programs under cooperative scheduling
• scientific article; zbMATH DE number 1330436
• Securing interaction between threads and the scheduler in the presence of synchronization
• Quantitative security analysis for multi-threaded programs
• Multi-run Security

Cited in

(1)

• Model checking the observational determinism security property using PROMELA and SPIN

This page was built for publication: Run-time verification for observational determinism using dynamic program slicing

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