研究会 |
発表日時 |
開催地 |
タイトル・著者 |
抄録 |
資料番号 |
KBSE |
2024-03-14 13:45 |
沖縄 |
沖縄県総合福祉センター (ハイブリッド開催,主:現地開催,副:オンライン開催) |
ユーザの性格特性に基づくシステム安全性検証に関する一考察 ○成澤瑠佳・小形真平(信州大)・青木善貴(BIPROGY)・中川博之(阪大)・小林一樹・岡野浩三(信州大) KBSE2023-72 |
人に危害を及ぼさないシステムを開発するためには,設計段階から安全性を考慮することが重要である.近年では,利用者の性格特性... [more] |
KBSE2023-72 pp.43-48 |
KBSE |
2024-03-14 15:40 |
沖縄 |
沖縄県総合福祉センター (ハイブリッド開催,主:現地開催,副:オンライン開催) |
パーソナライズされたシールディングを用いた自動運転における知覚安全性向上のためのアプローチ ○阿部凌太郎・李 家隆・蔡 金雨(早大)・本位田真一(NII)・鄭 顕志(東工大) KBSE2023-76 |
この研究では,自動運転システムにおける新しい強化学習(RL)手法,Personalized Perceived Safe... [more] |
KBSE2023-76 pp.67-72 |
KBSE |
2024-03-14 16:20 |
沖縄 |
沖縄県総合福祉センター (ハイブリッド開催,主:現地開催,副:オンライン開催) |
段階的離散制御器合成におけるStepwise Policy設計の自動化 ○山内拓人(早大)・鄭 顕志(東工大)・本位田真一(早大) KBSE2023-77 |
想定される動作環境下において安全性が保証された動作仕様を自動合成する技術として,離散制御器合成に関する研究が進められてき... [more] |
KBSE2023-77 pp.73-75 |
KBSE |
2024-03-14 16:45 |
沖縄 |
沖縄県総合福祉センター (ハイブリッド開催,主:現地開催,副:オンライン開催) |
On-the-fly探索を用いた動的更新制御器合成 ○平野貴規・山内拓人(早大)・鄭 顕志(東工大)・本位田真一(NII) KBSE2023-78 |
継続的な運用が求められる離散事象システムにおいて,運用を停止せずに更新することが求められる.動的更新制御器合成とは,更新... [more] |
KBSE2023-78 pp.76-78 |
RCC, ISEC, IT, WBS (共催) |
2024-03-13 10:45 |
大阪 |
大阪大学吹田キャンパス |
複数の伴生成局を持つIDベース暗号における緊密なIND-CCA安全性帰着の不可能性に関する考察 ○鈴木裕大・藤岡 淳(神奈川大)・永井 彰(NTT社会研) IT2023-81 ISEC2023-80 WBS2023-69 RCC2023-63 |
複数の鍵生成局を持つIDベース暗号(Identity-Based Encryption with Multiple Pr... [more] |
IT2023-81 ISEC2023-80 WBS2023-69 RCC2023-63 pp.38-43 |
RCC, ISEC, IT, WBS (共催) |
2024-03-13 11:10 |
大阪 |
大阪大学吹田キャンパス |
5パス本人確認方式の健全性の再考察 ○黒木大悟・竹牟禮 薫・サントソ バグス(電通大) IT2023-82 ISEC2023-81 WBS2023-70 RCC2023-64 |
5パス本人確認方式の安全性については、これまで、次のように大まかにしか分析されてこなかった。
まず、1ラウンドで受理さ... [more] |
IT2023-82 ISEC2023-81 WBS2023-70 RCC2023-64 pp.44-51 |
ITS, WBS, RCC (共催) |
2023-12-22 11:45 |
沖縄 |
みんなの貸会議室 那覇泉崎店 (ハイブリッド開催,主:現地開催,副:オンライン開催) |
バスの自動走行における安全性検証のためのシミュレーションに関する一検討 ○大川 彪・金 帝演(鶴岡高専)・毋 岩斌・髙橋幸也・熊谷 徹・橋本尚久(産総研) WBS2023-55 ITS2023-38 RCC2023-49 |
自動運転における実環境下での安全性検証にはコストや外部センサーの物理的制約など様々な問題がある。このような問題を解決する... [more] |
WBS2023-55 ITS2023-38 RCC2023-49 pp.138-143 |
LOIS, SITE, ISEC (共催) |
2023-11-09 13:30 |
広島 |
サテライトキャンパスひろしま 502大講義室 (ハイブリッド開催,主:現地開催,副:オンライン開催) |
Winternitz署名の最適化:Median-sum署名方式 ○本多志成・楫 勇一(名大) ISEC2023-57 SITE2023-51 LOIS2023-15 |
数論的問題に依拠した電子署名は,量子コンピュータにより危殆化される可能性がある.Winternitzワンタイム署名(OT... [more] |
ISEC2023-57 SITE2023-51 LOIS2023-15 pp.18-25 |
RCC, ISEC, IT, WBS (共催) |
2023-03-14 13:50 |
山口 |
山口大学常盤キャンパス (ハイブリッド開催,主:現地開催,副:オンライン開催) |
高精度時空間同期技術を活用した秘匿通信 ○世永公輝・志賀信泰・安田 哲・滝沢賢一・吉田真紀(NICT) IT2022-83 ISEC2022-62 WBS2022-80 RCC2022-80 |
本研究では,時空間同期技術 Wi-Wi を活用して,位相同期した無線局間における秘匿通信を実現する技術の確立を目指してい... [more] |
IT2022-83 ISEC2022-62 WBS2022-80 RCC2022-80 pp.97-102 |
RCC, ISEC, IT, WBS (共催) |
2023-03-15 13:25 |
山口 |
山口大学常盤キャンパス (ハイブリッド開催,主:現地開催,副:オンライン開催) |
一般化Unicity DistanceとそのY-00量子暗号への応用 相馬正宜(玉川大)・○廣田 修(中大) IT2022-128 ISEC2022-107 WBS2022-125 RCC2022-125 |
Shannonは暗号が原理的に解読可能かどうかを分析するため、自身が開発したエントロピー理論を利用して暗号機能を評価する... [more] |
IT2022-128 ISEC2022-107 WBS2022-125 RCC2022-125 pp.378-385 |
ITS, IEE-ITS (連催) |
2023-03-13 16:45 |
千葉 |
日本大学船橋キャンパス2号館241室 (ハイブリッド開催,主:現地開催,副:オンライン開催) |
交通モード階層分離型ラウンドアバウトの安全性について ○高木大輝・長谷川孝明(埼玉大) ITS2022-84 |
本稿では交通モード階層分離型ラウンドアバウの安全性の評価のために,総合遅延を導入した評価基盤を構築し,評価の一例を述べて... [more] |
ITS2022-84 pp.28-32 |
IN, NS (併催) |
2023-03-03 14:10 |
沖縄 |
沖縄コンベンションセンター + オンライン開催 (ハイブリッド開催,主:現地開催,副:オンライン開催) |
チェーンレス型多層合意の安全性とセキュリティに関する考察 ○柳原貴明・藤原明広(千葉工大) NS2022-240 |
近年暗号資産の多様化により,分散金融の需要が高まっている.分散金融を実現するため
に,BC上の情報を他のBCから相... [more] |
NS2022-240 pp.418-423 |
IE, ITS (共催) ITE-MMS, ITE-ME, ITE-AIT (共催) (連催) [詳細] |
2023-02-22 14:40 |
北海道 |
北海道大学 |
COVID-19のパンデミックにおける交通社会現象のシミュレーション的検証 ~ 交通需要が時間的に変化する交通流を含めた総合検討 ~ ○笠原 滉・長谷川孝明(埼玉大) ITS2022-73 IE2022-90 |
本稿では,COVID-19のパンデミックに伴う交通量の減少と交通事故の変化のデータと,一般道における交通事故を評価可能な... [more] |
ITS2022-73 IE2022-90 pp.173-178 |
SANE |
2023-01-20 13:50 |
東京 |
電子航法研究所 (ハイブリッド開催,主:現地開催,副:オンライン開催) |
羽田空港における航空機の進入時の後方乱気流に対するLIDAR観測結果について ○藤井直樹・吉原貴之・瀬之口 敦(電子航法研) SANE2022-96 |
世界的な航空需要の増大に対応して空港の処理容量を拡大するために,進入着陸間隔の短縮が求められており,その間隔を決める要因... [more] |
SANE2022-96 pp.40-45 |
MVE, VRSJ-SIG-MR, IPSJ-EC, HI-SIG-DeMO, VRSJ-SIG-CS (連催) |
2022-10-06 14:50 |
北海道 |
北海道釧路市 阿寒湖まりむ館(仮)+オンライン開催 (ハイブリッド開催,主:現地開催,副:オンライン開催) |
方向指示のための視線反応型アクティブパターンの検討 ○川田洸希・宍戸英彦・亀田能成(筑波大) MVE2022-21 |
歩行者向けのAR方式の方向提示手法として,視認性,了解性,安全性,茫覚性の四つの重要な要素を全て満たす視線反応型アクティ... [more] |
MVE2022-21 pp.18-23 |
EMM, BioX, ISEC, SITE, ICSS, HWS (共催) IPSJ-CSEC, IPSJ-SPT (連催) (連催) [詳細] |
2022-07-20 15:50 |
ONLINE |
オンライン開催 |
CCA安全性及び復号鍵漏洩耐性を持つ複数の鍵生成局を用いた鍵失効機能付きIDベース暗号 ○鈴木裕大・藤岡 淳・佐々木太良(神奈川大)・永井 彰(NTT) ISEC2022-27 SITE2022-31 BioX2022-52 HWS2022-27 ICSS2022-35 EMM2022-35 |
本研究では,複数の鍵生成局を持つ鍵失効機能付きIDベース暗号(mPKG-RIBE)の新たな安全性を定義する.
SCIS... [more] |
ISEC2022-27 SITE2022-31 BioX2022-52 HWS2022-27 ICSS2022-35 EMM2022-35 pp.118-123 |
ISEC |
2022-05-18 15:35 |
ONLINE |
オンライン開催 |
[招待講演]フォワード安全なメッセージフランキング (from ICISC 2021) ○山室宏貴(東工大)・原 啓祐(産総研/横浜国大)・手塚真徹(鶴岡高専)・吉田雄祐・田中圭介(東工大) ISEC2022-5 |
メッセージフランキングはエンドツーエンド暗号化されたメッセージサービスにおいて, 暗号学的な証拠を含めることで特定の送信... [more] |
ISEC2022-5 p.20 |
IT, ISEC, RCC, WBS (共催) |
2022-03-10 09:40 |
ONLINE |
オンライン開催 |
算術回路に対するGKW変換の構成 ○知念広太郎・穴田啓晃(長崎県立大) IT2021-88 ISEC2021-53 WBS2021-56 RCC2021-63 |
Garbled ciruitsは,Yaoによって導入された安全な二者間計算のための暗号フレームワークである.Yaoのプロ... [more] |
IT2021-88 ISEC2021-53 WBS2021-56 RCC2021-63 pp.31-37 |
IT, ISEC, RCC, WBS (共催) |
2022-03-11 09:40 |
ONLINE |
オンライン開催 |
[招待講演]暗号化制御システムの基礎とその安全性について ○小木曽公尚・寺西 郁(電通大) IT2021-110 ISEC2021-75 WBS2021-78 RCC2021-85 |
制御機器がネットワークに繋がる制御システムは,悪意のある第三者によるサイバー攻撃の脅威に常に晒されている.ネットワーク通... [more] |
IT2021-110 ISEC2021-75 WBS2021-78 RCC2021-85 p.161 |
IT, ISEC, RCC, WBS (共催) |
2022-03-11 11:10 |
ONLINE |
オンライン開催 |
改竄を修復可能なメッセージ認証コード ○古谷 勇・井上明子・峯松一彦(NEC) IT2021-114 ISEC2021-79 WBS2021-82 RCC2021-89 |
本研究では,汎用領域とセキュア領域を併用するシステムモデルを用いて,データの完全性の検証と改竄箇所の修復を可能とする手法... [more] |
IT2021-114 ISEC2021-79 WBS2021-82 RCC2021-89 pp.180-187 |