JP7306724B2 - 変換装置、変換方法及びプログラム - Google Patents
変換装置、変換方法及びプログラム Download PDFInfo
- Publication number
- JP7306724B2 JP7306724B2 JP2020547531A JP2020547531A JP7306724B2 JP 7306724 B2 JP7306724 B2 JP 7306724B2 JP 2020547531 A JP2020547531 A JP 2020547531A JP 2020547531 A JP2020547531 A JP 2020547531A JP 7306724 B2 JP7306724 B2 JP 7306724B2
- Authority
- JP
- Japan
- Prior art keywords
- secure
- conversion
- source code
- code
- input
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Active
Links
Images
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/40—Transformation of program code
- G06F8/41—Compilation
- G06F8/44—Encoding
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F21/00—Security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
- G06F21/60—Protecting data
- G06F21/62—Protecting access to data via a platform, e.g. using keys or access control rules
- G06F21/6218—Protecting access to data via a platform, e.g. using keys or access control rules to a system of files or objects, e.g. local or distributed file system or database
- G06F21/6245—Protecting personal data, e.g. for financial or medical purposes
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/40—Transformation of program code
- G06F8/41—Compilation
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/40—Transformation of program code
- G06F8/51—Source to source
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- General Engineering & Computer Science (AREA)
- Software Systems (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Health & Medical Sciences (AREA)
- Bioethics (AREA)
- General Health & Medical Sciences (AREA)
- Medical Informatics (AREA)
- Databases & Information Systems (AREA)
- Computer Hardware Design (AREA)
- Computer Security & Cryptography (AREA)
- Storage Device Security (AREA)
- Devices For Executing Special Programs (AREA)
Description
メモリに記憶されたプログラムに基づき、プロセッサを介して、ソースコードを入力する処理と、複数の秘密計算サーバに実行させる秘密計算に関する設定情報に基づき、前記入力されたソースコードを秘密計算コンパイラが処理可能な秘密計算専用コードに変換する処理と、をコンピュータに実行させる。
なお、このプログラムは、コンピュータが読み取り可能な記憶媒体に記録することができる。記憶媒体は、半導体メモリ、ハードディスク、磁気記録媒体、光記録媒体等の非トランジェント(non-transient)なものとすることができる。本発明は、コンピュータプログラム製品として具現することも可能である。
第1の実施形態について、図面を用いてより詳細に説明する。
図3は、第1の実施形態に係る秘密計算サーバ10の処理構成(処理モジュール)の一例を示す図である。図3を参照すると、秘密計算サーバ10は、通信制御部201と、秘密計算実行部202と、記憶部203と、を含んで構成される。
図4は、第1の実施形態に係るコード生成装置20の処理構成(処理モジュール)の一例を示す図である。図4を参照すると、コード生成装置20は、通信制御部301と、秘密計算コンパイル部302と、記憶部303と、を含んで構成される。
図5は、第1の実施形態に係るコード変換装置30の処理構成(処理モジュール)の一例を示す図である。図5を参照すると、コード変換装置30は、入力部401と、変換部402と、出力部403と、記憶部404と、を含んで構成される。
ユーザ装置40は、秘密計算サーバ10に秘密計算させる処理の入力データを提供する装置である。あるいは、ユーザ装置40は、秘密計算サーバ10による秘密計算の結果を取得してもよい。ユーザ装置40の構成及び動作は、当業者に取って明らかであるため、その詳細な説明を省略する。
続いて、秘密計算システムをなす各装置のハードウェア構成について説明する。
図11は、第1の実施形態に係る秘密計算システムの動作の一例を示すシーケンス図である。
続いて、第2の実施形態について図面を参照して詳細に説明する。
なお、第1及び第2の実施形態にて説明した秘密計算システムの構成及び動作は例示であって、種々の変形が可能である。例えば、図2に示すコード生成装置20の機能とコード変換装置30の機能が同じ装置により実現されてもよい。つまり、コード生成装置20に「コード変換機能」が含まれていてもよいし、コード変換装置30に「コード生成機能」が含まれていてもよい。
20 コード生成装置
30 コード変換装置
31 CPU(Central Processing Unit)
32 メモリ
33 入出力インターフェイス
34 NIC(Network Interface Card)
40 ユーザ装置
100 変換装置
101、401 入力部
102、402 変換部
201、301 通信制御部
202 秘密計算実行部
211 秘密分散データ生成部
212 秘密計算部
213 秘密分散データ復元部
203、302、404 記憶部
302 秘密計算コンパイル部
403 出力部
Claims (12)
- ソースコードを入力する、入力部と、
入力関数、出力関数の変換処理に関する規則および、パラメータや型に関する変換処理に関する規則が含まれる設定情報を記憶している記憶部と、
変換部を備え、
前記変換部は、メモリに記憶されたプログラムに基づき、プロセッサを介して、
前記入力されたソースコードを前記設定情報に記載されている規則に従って秘密計算コンパイラが処理可能な秘密計算専用コードに変換するよう構成され、
ユーザ装置及び秘密計算サーバにデータの送受信可能に接続可能である、変換装置。 - 前記変換部は、
前記設定情報に基づき、前記ソースコードに含まれる所定の入力関数を秘密計算用の入力関数に置換する、請求項1に記載の変換装置。 - 前記変換部は、
前記秘密計算用の入力関数に、前記複数の秘密計算サーバのうち秘密分散するデータを取得する秘密計算サーバの情報を設定する、請求項2に記載の変換装置。 - 前記変換部は、
前記所定の入力関数により取得されるデータの格納先となる第1パラメータを秘密分散の対象に設定し、前記第1パラメータが秘密分散されるように前記ソースコードを変換する、請求項2又は3に記載の変換装置。 - 前記変換部は、
前記第1パラメータから影響を受ける第2パラメータを秘密分散の対象に設定し、前記第2パラメータが秘密分散されるように前記ソースコードを変換する、請求項4に記載の変換装置。 - 前記変換部は、
前記第1及び第2パラメータとは異なる第3パラメータと、前記ソースコードに含まれる定数と、を秘密分散の対象に設定し、前記秘密分散の対象に設定された第3パラメータ及び定数が秘密分散されるように前記ソースコードを変換する、請求項5に記載の変換装置。 - 前記入力部は、秘密分散の対象となるパラメータ、定数を指定するリストを入力し、
前記変換部は、前記リストにより指定されたパラメータ、定数が秘密分散されるように前記ソースコードを変換する、請求項1乃至6のいずれか一項に記載の変換装置。 - 前記変換部は、ユーザから指定されたパラメータ、定数が秘密分散されるように前記ソースコードを変換する、請求項1乃至7のいずれか一項に記載の変換装置。
- 前記変換部は、
前記ソースコードに含まれる所定の出力関数を秘密計算用の出力関数に置換する、請求項1乃至8のいずれか一項に記載の変換装置。 - 前記変換部は、
前記複数の秘密計算サーバにより実行された秘密計算の結果を復号する秘密計算サーバの情報を前記秘密計算用の出力関数に設定する、請求項9に記載の変換装置。 - ユーザ装置及び秘密計算サーバにデータの送受信可能に接続可能である、変換装置により実行され、
ソースコードを入力するステップと、
入力関数、出力関数の変換処理に関する規則および、パラメータや型に関する変換処理に関する規則が含まれる設定情報を参照するステップと、
前記入力されたソースコードを前記設定情報に記載されている規則に従って秘密計算コンパイラが処理可能な秘密計算専用コードに変換するステップと、
を含む、変換方法。 - ユーザ装置及び秘密計算サーバにデータの送受信可能に接続可能である、変換装置により実行されるプログラムであって、
メモリに記憶されたプログラムに基づき、プロセッサを介して、
ソースコードを入力する処理と、
入力関数、出力関数の変換処理に関する規則および、パラメータや型に関する変換処理に関する規則が含まれる設定情報を参照する処理と、
前記入力されたソースコードを前記設定情報に記載されている規則に従って秘密計算コンパイラが処理可能な秘密計算専用コードに変換する処理と、
をコンピュータに実行させるプログラム。
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
PCT/JP2018/034722 WO2020059063A1 (ja) | 2018-09-20 | 2018-09-20 | 変換装置、変換方法及びプログラム |
Publications (2)
Publication Number | Publication Date |
---|---|
JPWO2020059063A1 JPWO2020059063A1 (ja) | 2021-08-30 |
JP7306724B2 true JP7306724B2 (ja) | 2023-07-11 |
Family
ID=69887039
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2020547531A Active JP7306724B2 (ja) | 2018-09-20 | 2018-09-20 | 変換装置、変換方法及びプログラム |
Country Status (4)
Country | Link |
---|---|
US (1) | US11435988B2 (ja) |
JP (1) | JP7306724B2 (ja) |
DE (1) | DE112018008000T5 (ja) |
WO (1) | WO2020059063A1 (ja) |
Family Cites Families (12)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP4629555B2 (ja) | 2005-11-07 | 2011-02-09 | インターナショナル・ビジネス・マシーンズ・コーポレーション | 復元装置、プログラム、情報システム、復元方法、保管装置、保管システム及び保管方法 |
US20080104699A1 (en) * | 2006-09-28 | 2008-05-01 | Microsoft Corporation | Secure service computation |
US20080083031A1 (en) * | 2006-12-20 | 2008-04-03 | Microsoft Corporation | Secure service computation |
JP2008250931A (ja) | 2007-03-30 | 2008-10-16 | Toshiba Corp | 分散情報復元システム、情報利用装置、および、検証装置 |
JP5281774B2 (ja) * | 2007-09-03 | 2013-09-04 | 株式会社Kddi研究所 | 暗号プロトコル実行装置、暗号プロトコル実行方法およびプログラム |
JP4538585B2 (ja) | 2008-08-15 | 2010-09-08 | 学校法人東京電機大学 | ネットワークシステム |
US8839410B2 (en) * | 2012-11-20 | 2014-09-16 | Sap Ag | Type-system for mixed protocol secure computation |
WO2015114947A1 (ja) | 2014-01-28 | 2015-08-06 | 日本電信電話株式会社 | 秘密計算方法、秘密計算システム、秘密計算サーバ、登録者端末、利用者端末及びプログラム |
ES2949399T3 (es) * | 2014-11-12 | 2023-09-28 | Calctopia Ltd | Computación segura multiparte en hojas de cálculo |
JP2017111749A (ja) * | 2015-12-18 | 2017-06-22 | 国立大学法人京都大学 | 計算コード生成装置、方法及びプログラム |
JP6781397B2 (ja) | 2016-09-13 | 2020-11-04 | 日本電気株式会社 | 秘密分散システム |
SG11202001591UA (en) * | 2017-08-30 | 2020-03-30 | Inpher Inc | High-precision privacy-preserving real-valued function evaluation |
-
2018
- 2018-09-20 JP JP2020547531A patent/JP7306724B2/ja active Active
- 2018-09-20 WO PCT/JP2018/034722 patent/WO2020059063A1/ja active Application Filing
- 2018-09-20 US US17/276,200 patent/US11435988B2/en active Active
- 2018-09-20 DE DE112018008000.5T patent/DE112018008000T5/de active Pending
Non-Patent Citations (1)
Title |
---|
Zhang,Yihua et al.,PICCO:A General-Purpose Compiler for Private Distributed Computation, The Proceedings of the 2013 ACM SIGSAC Conference on Computer and Communications Security (CCS’13), ACM,2013年11月4日,pp.813-825 |
Also Published As
Publication number | Publication date |
---|---|
JPWO2020059063A1 (ja) | 2021-08-30 |
US11435988B2 (en) | 2022-09-06 |
US20220035608A1 (en) | 2022-02-03 |
WO2020059063A1 (ja) | 2020-03-26 |
DE112018008000T5 (de) | 2021-06-10 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US20190188417A1 (en) | Data masking systems and methods | |
JP6626823B2 (ja) | サブグラフから構成されるデータフローグラフ用のインターフェースの管理 | |
Kim et al. | Provenance trails in the wings/pegasus system | |
KR101495575B1 (ko) | 그래프 기반 연산에서의 분배 서비스 | |
GB2576461A (en) | Financial derivative contract execution platform, system and method | |
TW442759B (en) | Improving the portability of digital images | |
US9043766B2 (en) | Language translation using preprocessor macros | |
US10628128B2 (en) | Discovery and modeling of deployment actions for multiple deployment engine providers | |
JP2019113777A (ja) | 処理装置、処理方法、処理プログラム、及び暗号処理システム | |
US20210149723A1 (en) | Method and apparatus for microservice architecture reconfiguration | |
JP2011086288A (ja) | 遡及イベント処理パターン言語及び実行モデルの拡張 | |
WO2019160008A1 (ja) | アプリケーション分割装置、方法およびプログラム | |
Abbas et al. | A model-driven framework for security labs using blockchain methodology | |
JP7306724B2 (ja) | 変換装置、変換方法及びプログラム | |
CN102289367B (zh) | 根据模式的命令行外壳命令生成 | |
JP6972783B2 (ja) | 分散システム、バックエンドサービス、エッジサーバ、及びその方法 | |
Pallas et al. | Redcastle: Practically applicable ks-anonymity for iot streaming data at the edge in node-red | |
Ta et al. | A study on gas cost of ethereum smart contracts and performance of blockchain on simulation tool | |
CN114385158A (zh) | 一种数据交互系统构建方法、装置及设备 | |
Lee et al. | Performance-aware scale analysis with reserve for homomorphic encryption | |
Son et al. | MCCFG: an MOF-based multiple condition control flow graph for automatic test case generation | |
JP5809220B2 (ja) | データセット転送プロトコルを用いた多重要請処理方法 | |
JP7184096B2 (ja) | 検証装置、秘密計算検証システム、秘密計算実行コードの検証方法及びプログラム | |
Ferreira et al. | Global optimization of capacity expansion and flow assignment in multicommodity networks | |
WO2011090032A1 (ja) | 並列処理プログラム生成方法、並列処理プログラム生成プログラム、及び並列処理プログラム生成装置 |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20210318 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20220208 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20220316 |
|
A02 | Decision of refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A02 Effective date: 20220809 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20221018 |
|
C60 | Trial request (containing other claim documents, opposition documents) |
Free format text: JAPANESE INTERMEDIATE CODE: C60 Effective date: 20221018 |
|
A911 | Transfer to examiner for re-examination before appeal (zenchi) |
Free format text: JAPANESE INTERMEDIATE CODE: A911 Effective date: 20221027 |
|
C21 | Notice of transfer of a case for reconsideration by examiners before appeal proceedings |
Free format text: JAPANESE INTERMEDIATE CODE: C21 Effective date: 20221101 |
|
A912 | Re-examination (zenchi) completed and case transferred to appeal board |
Free format text: JAPANESE INTERMEDIATE CODE: A912 Effective date: 20221228 |
|
C211 | Notice of termination of reconsideration by examiners before appeal proceedings |
Free format text: JAPANESE INTERMEDIATE CODE: C211 Effective date: 20230110 |
|
C22 | Notice of designation (change) of administrative judge |
Free format text: JAPANESE INTERMEDIATE CODE: C22 Effective date: 20230207 |
|
C22 | Notice of designation (change) of administrative judge |
Free format text: JAPANESE INTERMEDIATE CODE: C22 Effective date: 20230228 |
|
C22 | Notice of designation (change) of administrative judge |
Free format text: JAPANESE INTERMEDIATE CODE: C22 Effective date: 20230404 |
|
C23 | Notice of termination of proceedings |
Free format text: JAPANESE INTERMEDIATE CODE: C23 Effective date: 20230418 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20230622 |
|
R151 | Written notification of patent or utility model registration |
Ref document number: 7306724 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R151 |