Achieving Private Verification in Multi-stakeholder Environment and Application to Stable Matching

Toru Nakamura, Hiroki Okada, Kazuhide Fukushima, Takamasa Isohara

2023

Abstract

Services to support decision-making, such as resource allocation and recommendations, are becoming popular and essential. This paper focuses on two-sided matching as a form of decision-making support. The stable marriage problem has been thoroughly studied as an exciting research topic related to two-sided matching. Stability is a property in which there is no man and woman who would agree to leave their assigned partner, and this property is recognized as an ideal condition for participants. This paper assumes a system where participants provide their preference orders to an assignee, and the assignee provides them with a stable matching. When considering a multi-stakeholder environment, not only the participants’ requirements but also the assignee’s intention should be respected. That is, the assignee should be given the discretion to select the matching which is the best for the assignee among all the stable matchings. However, there is a possibility that if the assignee is malicious, he/she falsifies and provides an unstable matching in order to maximize his/her benefit with ignoring the participants’ requirements. It is difficult for the participants to detect it if they want to keep their preference orders secret from others. This paper proposes a solution of protocol including a private verification algorithm to judge whether the received matching is stable while keeping their preference orders private. The proposed protocol is based on fully homomorphic encryption (FHE) and assumes the use of a semi-honest third-party server. This paper also proposes a general solution that does not limit to specific requirements from participants.

Paper Citation

in Harvard Style

Nakamura T., Okada H., Fukushima K. and Isohara T. (2023). Achieving Private Verification in Multi-stakeholder Environment and Application to Stable Matching. In Proceedings of the 25th International Conference on Enterprise Information Systems - Volume 1: ICEIS, ISBN 978-989-758-648-4, SciTePress, pages 768-775. DOI: 10.5220/0011995800003467

in Bibtex Style

@conference{iceis23,
author={Toru Nakamura and Hiroki Okada and Kazuhide Fukushima and Takamasa Isohara},
title={Achieving Private Verification in Multi-stakeholder Environment and Application to Stable Matching},
booktitle={Proceedings of the 25th International Conference on Enterprise Information Systems - Volume 1: ICEIS,},
year={2023},
pages={768-775},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0011995800003467},
isbn={978-989-758-648-4},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 25th International Conference on Enterprise Information Systems - Volume 1: ICEIS,
TI - Achieving Private Verification in Multi-stakeholder Environment and Application to Stable Matching
SN - 978-989-758-648-4
AU - Nakamura T.
AU - Okada H.
AU - Fukushima K.
AU - Isohara T.
PY - 2023
SP - 768
EP - 775
DO - 10.5220/0011995800003467
PB - SciTePress