コロキアムB発表

日時: 9月9日 (月) 5限目(16:50-18:20)


会場: L1

司会: 中畑 裕
比賀江 文子 D, 中間発表 数理情報学 池田 和司 笠原 正治 久保 孝富 日永田 智絵
title:Mechanism of inflammation process reproduction and detoxication using mesoscale model
abstract:Upon stimulation by IFN γ and LPS, macrophages are polarized to the M1 type and produce O2•− and •NO via NOX and iNOS, respectively, as well as inflammatory cytokines and other metabolites.ONOO is produced from O2 and NO and may exer tstrong antimicrobial and tumoricidal action, but also cytotoxic action. This is the process of cytekine storm which is most of distorders are proimflammatory.For this purpose, to reproduce proflammatory and neurodegeneratives occur and after detoxication using molecular dynamics and machine learning.
language of the presentation: Japanese
発表題目:炎症発生から疾病進行過程の再現と毒性分解のメソレベルシミュレーションモデル構築
発表概要:炎症起因の疾病はサイトカイン等から誘発されたiNOSから発生するNOと活性酸素が反応して発生するONOO-等による求核攻撃による炎症が発端であり、微細な変化は実験で捉えることが難しい領域でもある。本研究では、分子動力学シミュレーションと機械学習による粗子化シミュレーションモデルを用いてまず炎症発生までのプロセスを再現する。その後、炎症から神経変性症が発病し病状の進行を再現させ、現状の環境に応じた毒性分解シミュレーションモデルを構築する。
 
林 秀樹 M, 2回目発表 数理情報学 池田 和司 笠原 正治 久保 孝富 日永田 智絵 Li Yuzhe
title: *** Dynamic Origin-Destination Matrices Inference using Topic Model***
abstract: *** For the optimization of public transportation services, it is essential to estimate the origin-destination (OD) distribution. However, much research focuses on static modeling of OD matrices, such as the traditional four-step method. From the perspective of service providers, it is crucial to understand 1) when, 2) where, and 3) what types of ODs aggregate throughout the day. In this study, we apply Latent Dirichlet Allocation (LDA) for comprehensive inference and conduct experiments using bike-sharing data. The results demonstrate that the proposed model successfully captures the dynamic distribution of ODs. ***
language of the presentation: *** Japanese ***
発表題目: *** トピックモデルによる動的OD行列推論 ***
発表概要: *** 公共交通サービスの最適化には, 起点-終点(OD)分布の推定が必要となる. しかし, 多くの研究は伝統的な4ステップ法のような静的なOD行列のモデリングに焦点を当てている. サービス提供者の視点では, 1)いつ, 2)どこで, 3)どのような種類のODが一日に集約されるのかを理解するのが肝心である. 本研究では, 包括的な推論のために潜在ディリクレ配分(LDA)を適用し, バイクシェアリングデータを用いた実験を行った. 結果として, 提案モデルがODの動的分布を効果的に捉えることが確認された. ***
 
小澤 海斗 M, 2回目発表 数理情報学 池田 和司 荒牧 英治 久保 孝富 日永田 智絵 Li Yuzhe
title:Zero/few-shot classification of dog emotions from images
abstract:This study attempted to estimate dog emotions using zero-shot and few-shot learning methods to verify the possibility of classifying dog emotions from images without relying on annotated data . For this purpose, we employed the CLIP model as a large-scale pre-trained model for dog emotion classification and compared the results with the conventional method, EfficientNet. Both methods achieved significant classification accuracy, but EfficientNet demonstrated relatively higher accuracy. This paper also discusses the representations in the intermediate layers of the CLIP model.
language of the presentation:Japanese
発表題目:画像中のイヌに対するゼロショット・フューショットでの感情分類
発表概要:アノテーションデータに依存せずにイヌの感情を画像から分類可能か検証するため,ゼロショット・フューショット学習手法を用いたイヌの感情推定を試みた.本研究では,大規模事前学習モデルとして CLIPモデル を利用してイヌの感情分類を実施し,その結果を従来法である EfficientNet と比較を行った.両手法とも有意な分類精度を得られたが, EfficientNet の方が相対的に高い分類精度を示した.本稿では,CLIPモデル の中間層での表現についても述べる.
 

会場: L2

司会: Isidro Butaslac
大岡 冬偉 M, 2回目発表 サイバーレジリエンス構成学 門林 雄基 林 優一 妙中 雄三
title: Proposal to Automate Secure Organization Certification through ACME Extension
abstract: Public Key Infrastructure (PKI) is an infrastructure technology for secure communication between third parties on the Internet, in which a specially trusted organization called a Certification Authority issues public key certificates that guarantee the ownership of public keys. Specifically for the Web, a TLS certificate, a type of public-key certificate, is issued for a Web server's domain, and a Web browser can verify the TLS certificate to confirm that the Web server it is communicating with is the intended recipient. The OV certificate, a type of TLS certificate, guarantees the domain name of the organization that manages the Web server and its legal existence by verifying the retention of the Web server's domain name and authenticating the organization to confirm that it is a real organization. The ACME protocol is an automated certificate issuance protocol that automates the vetting and issuance of certificates by communicating between the ACME server provided by the CA and the ACME client requesting a certificate. However, ACME does not automate the organization authentication required for automated issuance of OV certificates, which is currently performed manually by humans. There is a previous study that proposes an extension of the ACME protocol to automate organizational authentication using Verifiable Credentials (VC), which is a verifiable data model and digital certificate that can be used for various purposes such as identification and academic credentials. In the proposal of the previous study, the authenticity of the VC is guaranteed by passing the secret information used for authentication in the ACME protocol to a third party. Therefore, if the third party has malicious intentions, there is a risk that the client's secret information may be used illegally. In addition, since revocation confirmation is not performed, there is a risk that VCs that have been revoked in the past may be used illegally. Therefore, we propose an ACME protocol that can guarantee the authenticity of VCs without revealing secret information to a third party. The proposed protocol guarantees authenticity by using a fresh token with a short expiration date, and eliminates the threat of secret information leakage to a third party by eliminating the need for a revocation mechanism. The proposed protocol is qualitatively evaluated by STRIDE to confirm that it is a secure protocol.
language of the presentation: Japanese
発表題目: ACME 拡張による安全な組織認証の自動化の提案
発表概要: 公開鍵基盤 (PKI) はインターネット上において第三者同士での安全な通信の実現を目的とする基盤技術である.PKI では認証局という特別に信頼された組織が公開鍵の持ち主を保証する公開鍵証明書を発行する.特に Web においては,公開鍵証明書の一種である TLS 証明書が Web サーバーの持つドメインに対して発行され, Web ブラウザは TLS 証明書を検証することで通信相手である Web サーバーが意図した通信相手であることを確認できる.TLS 証明書の一種である OV 証明書は, Web サーバーのドメイン名の保持確認と,実在する組織であるかを確認する組織認証を行うことで Web サーバーを管理する組織のドメインの保持と法的な実在性を保証する. ACME プロトコルは証明書の自動発行プロトコルであり,認証局の提供する ACME サーバーと,証明書を取得したい ACME クライアントが通信することでドメイン保持の確認などの審査や証明書の発行を自動化している.しかし,OV 証明書の自動発行に必要な組織認証の自動化は ACME では実現されておらず,現在は人間による手作業で行われている. ACME プロトコルの拡張として,Verifiable Credentials (VC) を利用した組織認証の自動化を提案している先行研究が存在する.VC は検証可能なデータモデルであり,身分証明や学歴証明など様々な目的で利用できるデジタル証明書である.先行研究の提案では,ACME プロトコルでの認証に用いる秘密情報を第三者に渡すことでVCの真正性の保証を行っている.そのため,第三者に悪意が合った場合, クライアントの秘密情報を不正に利用される脅威がある.加えて失効確認を行わないため,過去に失効した VC が不正に利用される危険がある. そこで本研究では,秘密情報を第三者に渡すことなく VC の真正性保証が可能な ACME プロトコルを提案する.提案プロトコルでは有効期限が短く新鮮なトークンを利用することで真正性を保証しつつ,失効の仕組みは不要とし,第三者に秘密情報が漏洩する脅威を除外する.提案プロトコルに対して STRIDE による定性的評価を行うことで安全なプロトコルであることを確認する.
 
NDALAMA FESTUS EDWARD M, 2回目発表 サイバーレジリエンス構成学 門林 雄基 林 優一 妙中 雄三 HOSSAIN, Md Delwar
title: Continuous Authentication in Internet Banking Using Behavioral Biometrics
abstract: With the increasing reliance on Internet banking services, this research evaluates the feasibility and effectiveness of continuous authentication through behavioral biometrics in the context of Internet banking. Focusing on user interactions via web browsers, the study analyzes behavior patterns such as keystroke dynamics and mouse movements. The goal is to establish a reliable and non-intrusive authentication mechanism that adapts to evolving user behavior. By utilizing advanced machine learning techniques, this research aims to provide valuable insights for financial institutions seeking sophisticated and user-friendly security measures. A rigorous evaluation against various attack scenarios, including impersonation, replay, phishing attempts, and machine learning adversary attacks, will be conducted to prevent unauthorized access. The findings are expected to enhance security while maintaining a seamless user experience in Internet banking transactions.
language of the presentation: English