Verifying Data Integrity for Multi-Threaded Programs

Imran Pinjari, Michael Shin, Pushkar Ogale

2023

Abstract

This paper describes the Integrity Breach Conditions (IBCs) to identify security spots that might contain malicious codes in message communications in multi-threaded programs. An attacker can inject malicious code into a program so that the code would tamper with sensitive data handled by the program. The IBCs indicate what functions might encapsulate malicious code if the defined IBC conditions hold true. This paper describes the IBCs for multi-threaded based synchronous and asynchronous message communications in which two threads communicate via message queues or message buffers. A prototype tool was developed by implementing the IBCs to identify security spots in multi-threaded programs. An online shopping system was implemented to validate the IBCs using the prototype tool.

Paper Citation

in Harvard Style

Pinjari I., Shin M. and Ogale P. (2023). Verifying Data Integrity for Multi-Threaded Programs. In Proceedings of the 18th International Conference on Software Technologies - Volume 1: ICSOFT; ISBN 978-989-758-665-1, SciTePress, pages 588-595. DOI: 10.5220/0012130000003538

in Bibtex Style

@conference{icsoft23,
author={Imran Pinjari and Michael Shin and Pushkar Ogale},
title={Verifying Data Integrity for Multi-Threaded Programs},
booktitle={Proceedings of the 18th International Conference on Software Technologies - Volume 1: ICSOFT},
year={2023},
pages={588-595},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0012130000003538},
isbn={978-989-758-665-1},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 18th International Conference on Software Technologies - Volume 1: ICSOFT
TI - Verifying Data Integrity for Multi-Threaded Programs
SN - 978-989-758-665-1
AU - Pinjari I.
AU - Shin M.
AU - Ogale P.
PY - 2023
SP - 588
EP - 595
DO - 10.5220/0012130000003538
PB - SciTePress