北陸先端科学技術大学院大学 研究シーズ|
検索したキーワードがページ内でハイライトします。
| RESET |
研究キーワード：北陸先端科学技術大学院大学における「プロトコル」 に関係する研究一覧：3件
概要表示
折りたたむ
発表日：2025年8月2日
1
世界初！セキュリティプロトコル形式解析器の並列化に成功
－解析時間を大幅に短縮し、より安全なインターネットに貢献－
逆向き探索技術「バックワードナローウイング」の並列化に成功膨大な解析時間を要する従来手法に対し、並列化による高速化と効率化を実現多数のセキュリティプロトコルで実証済み 北陸先端科学技術大学院大学 コンピューティング科学研究領域の...
キーワード：コンピューティング/論理プログラミング/インターネット/プログラミング/プログラミング言語/プロトコル/最適化/並列化/量子計算/脆弱性/量子コンピュータ
他の関係分野：情報学環境学数物系科学
概要表示
折りたたむ
発表日：2025年5月7日
2
バグの無いソフトウェアを開発するための技術：証明スコア
証明スコアは、バグの無いソフトウェアを開発するための技術の一つとして注目されている技術過去数十年に渡り研究されてきた証明スコアによる形式検証の概観をまとめた証明スコアの弱点及び克服方法を示すとともに、より多くの研究者に普及させるための改善案の提案...
キーワード：コンピューティング/プログラミング/プログラミング言語/プロトコル/暗号プロトコル/形式検証/開発環境/論理学/量子暗号/数学モデル/インタラクティブ/データ構造/生活の質
他の関係分野：情報学複合領域数物系科学工学
概要表示
折りたたむ
発表日：2025年3月21日
3
LiNMC電極を高安定化するホウ素系電解液の開発
リチウムイオン二次電池の汎用電解液にメシチルジメトキシボラン（MDMB）を加えた３成分系電解液は非常に高いリチウムイオン輸率を示した（エチレンカーボネート（EC）：ジエチレンカーボネート（DEC）：メシチルジメトキシボラン（MDMB）＝１：１：１（v/v/v））。ホウ素を含む電解液の使用により正極上にホウ素を含む安定性の高い正極電解質界面（CEI）が形成され、正極の大幅な安定化につながった。XPS測定により正極電解質界面（CEI）へのホウ素導入が確認された。ホウ素導入の結果、電荷移動界面抵抗の顕著な低減及び電極反応の活性化エネルギーの低下につな...
キーワード：プロトコル/プロファイル/情報学/産学連携/高エネルギー/スペクトル/アニオン/溶媒和/リチウムイオン二次電池/電極界面/XPS/高電圧/電解液/温度依存性/イオン伝導/活性化エネルギー/電気伝導/電極反応/電池/インピーダンス/サイクリックボルタンメトリー/トラップ/リチウム/環境対応/自動車/添加剤/電荷移動/電解質/電気化学/二次電池/エチレン/ホウ素
他の関係分野：情報学複合領域数物系科学化学総合理工工学農学