| 講演名 | 2023-08-04 SAT技術を用いた複数画像からなる視覚暗号の構成 田光 宏章(山梨大), 盧 暁南(岐阜大), 鍋島 英知(山梨大), |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 視覚暗号(Visual Cryptography Scheme; VCS)とは，画像情報に対する秘密分散法の一種である．VCSは，平文である画像について基本行列と呼ばれる行列を使用することにより，分割情報であるシェアを生成する．本稿では，シェアの組み合わせにより複数の画像情報が現れるVCSに焦点を当て，命題論理式の充足可能性判定(SAT)技術を用いた基本行列の構成法を提案する．また，SAT技術により構成した基本行列について，画素拡大の観点から評価を行う． |
| 抄録(英) | The visual cryptography scheme (VCS) is a type of secret sharing scheme for images.The VCS uses matrices called basis matrices to generate shares, which are partitioned information for the images.In this paper, we focus on the VCS, in which multiple image information appear as a share or combinations of shares, and propose a method for constructing the basis matrices using the Boolean satisfiability (SAT) technique.Also, basis matrices constructed by the SAT technique are evaluated in terms of pixel expansion. |
| キーワード(和) | 視覚暗号 / 画素拡大 / 充足可能性判定問題 / 制約充足問題 |
| キーワード(英) | Visual cryptography scheme / Pixel expansion / Boolean satisfiability testing / Constraint satisfaction problem |
| 資料番号 | IT2023-25 |
| 発行日 | 2023-07-27 (IT) |
| 研究会情報 | |
| 研究会 | IT |
|---|---|
| 開催期間 | 2023/8/3(から2日開催) |
| 開催地（和） | 湘南工科大学 |
| 開催地（英） | Shonan Institute of Technology |
| テーマ（和） | フレッシュマンセッション，一般 |
| テーマ（英） | Freshman session, General |
| 委員長氏名（和） | 小嶋 徹也(東京高専) |
| 委員長氏名（英） | Tetsuya Kojima(Tokyo Kosen) |
| 副委員長氏名（和） | 野上 保之(岡山大) |
| 副委員長氏名（英） | Yasuyuki Nogami(Okayama Univ.) |
| 幹事氏名（和） | 細谷 剛(早大) / 眞田 亜紀子(長岡技科大) |
| 幹事氏名（英） | Gou Hosoya(Waseda Univ.) / Akiko Manada(Nagaoka Univ. of Tech.) |
| 幹事補佐氏名（和） | 松田 哲直(埼玉大) |
| 幹事補佐氏名（英） | Tetsunao Matsuta(Saitamai Univ.) |
| 講演論文情報詳細 | |
| 申込み研究会 | Technical Committee on Information Theory |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | SAT技術を用いた複数画像からなる視覚暗号の構成 |
| サブタイトル（和） | |
| タイトル（英） | Constructing Visual Cryptography Schemes for Multiple Images Using SAT Technology |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 視覚暗号 / Visual cryptography scheme |
| キーワード(2)（和/英） | 画素拡大 / Pixel expansion |
| キーワード(3)（和/英） | 充足可能性判定問題 / Boolean satisfiability testing |
| キーワード(4)（和/英） | 制約充足問題 / Constraint satisfaction problem |
| 第 1 著者 氏名（和/英） | 田光 宏章 / Tako Hiroaki |
| 第 1 著者 所属（和/英） | 山梨大学(略称：山梨大) University of Yamanashi(略称：Univ. Yamanashi) |
| 第 2 著者 氏名（和/英） | 盧 暁南 / Xiao-Nan Lu |
| 第 2 著者 所属（和/英） | 岐阜大学(略称：岐阜大) Gifu University(略称：Gifu Univ.) |
| 第 3 著者 氏名（和/英） | 鍋島 英知 / Nabeshima Hidetomo |
| 第 3 著者 所属（和/英） | 山梨大学(略称：山梨大) University of Yamanashi(略称：Univ. Yamanashi) |
| 発表年月日 | 2023-08-04 |
| 資料番号 | IT2023-25 |
| 巻番号（vol） | vol.123 |
| 号番号（no） | IT-149 |
| ページ範囲 | pp.62-67(IT), |
| ページ数 | 6 |
| 発行日 | 2023-07-27 (IT) |