| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| KBSE | 2015-01-26 14:40 |
東京 | 機械振興会館 B3F-2 | ユースケースモデルに基づくソースコード検証のためのリバースエンジニアリング手法の検討 ～ ASP.NETアプリケーションを事例として ～ ○小形真平（信州大）・青木善貴（芝浦工大）・谷沢智史（ボイスリサーチ）・松浦佐江子（芝浦工大）  KBSE2014-42 |
ソフトウェア開発において，要求仕様書とソースコードの対応関係を保持することは容易ではなく，最終的にソースコードが要求仕様... [more] | KBSE2014-42 pp.19-24 |
| SS | 2014-03-11 15:45 |
沖縄 | てんぷす那覇：第１・２会議室 | 得点による競争原理を用いた静的解析ツールによる欠陥除去の促進 ○新井 慧（早大）・坂本一憲（NII）・鷲崎弘宜・深澤良彰（早大） SS2013-81 |
プログラムの欠陥を検出する静的解析ツールは，ソフトウェアに作りこまれた欠陥の早期発見に役立つことが知られている． 一方... [more] |
SS2013-81 pp.55-60 |
| KBSE | 2014-03-07 12:35 |
沖縄 | 沖縄県青年会館 | 細粒度の利用者情報の流出を可視化するAndroidアプリ解析法 ○坂下卓弥・小形真平・海谷治彦・海尻賢二（信州大） KBSE2013-93 |
我々はこれまで，Androidアプリケーションによる利用者情報の流出をユーザが理解しやすいように，外部送信される利用者情... [more] | KBSE2013-93 pp.85-90 |
| SS, IPSJ-SE (連催) |
2013-10-24 13:50 |
石川 | ITビジネスプラザ武蔵（金沢市内） | プログラムの関数・変数関係の一表現法 ○高橋耶真人・福原和哉・猪股俊光・新井義和・今井信太郎（岩手県立大） SS2013-40 |
車載ソフトウェアに代表される組込みソフトウェアにおいて， ソフトウェアの品質は極めて重要である． その品質を担保する... [more] |
SS2013-40 pp.49-54 |
| SS, KBSE (共催) |
2013-07-26 10:00 |
北海道 | 北海道立道民活動センター [かでる2.7] 710会議室（7階） | ［奨励講演］C言語初学者向けツールC-Helperの予備評価 ○内田公太・権藤克彦（東工大） SS2013-24 KBSE2013-24 |
本論文では著者らが開発したC-Helperを用いてC言語初学者を対象とした講習会，個人講習を行い，参加者から得たC-He... [more] | SS2013-24 KBSE2013-24 pp.67-72 |
| MSS, SS (共催) |
2013-03-06 16:40 |
福岡 | 休暇村志賀島 | コーディング規約違反の局所性に着目した自動検出不可能な違反の検出に向けて ○高井康勢（名大）・小林隆志（東工大/名大）・渥美紀寿（名大）・山本晋一郎（愛知県立大）・阿草清滋（京大） MSS2012-68 SS2012-68 |
ソフトウェア開発の現場では,コーディング時に守るべきルールであるコーディング規約が利用される事が多 い.コーディング規約... [more] | MSS2012-68 SS2012-68 pp.51-56 |
| ICSS, IA (共催) |
2012-06-22 09:50 |
東京 | 東海大学 高輪キャンパス 1号館2階 1206 教室 (1 日目) | マルウェアのオペコードに着目した高速な分類手法 ○鐘 揚・八槇博史・山口由紀子・高倉弘喜（名大） IA2012-8 ICSS2012-8 |
ワーム，ウイルス，トロイの木馬などのマルウェアはネットワークシステムのセキュリティに大きな脅威を与えている． マルウェ... [more] |
IA2012-8 ICSS2012-8 pp.43-48 |
| SS, MSS (共催) |
2012-01-26 14:15 |
高知 | 高知市文化プラザかるぽーと | 関数呼び出しを持つプログラムの非線形ループ不変式の自動生成 ○鈴木英一・坂部俊樹・酒井正彦・草刈圭一朗・西田直樹（名大） MSS2011-61 SS2011-46 |
プログラム検証において，ループ実行中に常に成り立つ論理式である不変式が重要な役割を持っている．しかし，検証に有効なループ... [more] | MSS2011-61 SS2011-46 pp.39-44 |
| SS | 2011-07-01 11:30 |
海外 | 高麗大(韓国) | Preliminary Assessment of Software Metrics based on Coding Standards Violations ○Yasunari Takai・Takashi Kobayashi・Kiyoshi Agusa（Nagoya Univ.） SS2011-12 |
Software metrics is one of promise technique to capture the ... [more] | SS2011-12 pp.63-67 |
| IA, ICSS (共催) |
2011-06-17 13:00 |
福岡 | 九州工業大学 | マルウェアアンパッキングにおけるランタイムライブラリのコード比較によるオリジナルエントリーポイント検出 ○岩本一樹（日本コンピュータセキュリティリサーチ/信州大）・和崎克己（信州大） IA2011-10 ICSS2011-10 |
多くのマルウェアはパッカーと呼ばれるコードを圧縮し難読化するプログラムでパックされており，そのままでは解析できない． ... [more] |
IA2011-10 ICSS2011-10 pp.57-62 |
| IA, ICSS (共催) |
2009-06-19 13:50 |
東京 | 機械振興会館 65号室（6階） | マルウェアの分類方法とその応用に関する考察 ○勝手壮馬（神戸大）・安本幸希（NEC）・伊沢亮一（神戸大/クリプト）・森井昌克（神戸大）・中尾康二（NICT） IA2009-19 ICSS2009-27 |
近年コンピュータネットワークが整備されるにつれ、急速に拡散し広範囲に被害を及ぼすマルウェアが大きな 問題となっている．... [more] |
IA2009-19 ICSS2009-27 pp.103-108 |
| SS | 2008-07-31 15:45 |
北海道 | 公立はこだて未来大学 | 画面遷移とデータベース処理を考慮したトランザクションファンクション識別手法の詳細化と実装 ○枝川拓人・赤池輝彦・肥後芳樹・楠本真二（阪大） SS2008-17 |
ファンクションポイント法とは, ソフトウェアが持つ機能数を基に, 規模を計測する手法である. 計測されたファンクションポ... [more] | SS2008-17 pp.25-30 |
| ISEC | 2007-12-19 17:00 |
東京 | 機械振興会館 | コンピュータウイルスのコード静的解析による特徴抽出と分類について ○岩本一樹（日本コンピュータセキュリティリサーチ）・和崎克己（信州大） ISEC2007-127 |
コンピュータウイルスの亜種判定について、コード内のAPI呼び出しや制御フローを静的解析することにより、特徴抽出と種の分類... [more] | ISEC2007-127 pp.107-113 |
| SS, KBSE (共催) |
2006-10-26 13:15 |
愛媛 | 愛媛大学 | 静的解析を用いたWebアプリケーションにおける脆弱性の検出 ○西田誠幸（拓殖大） |
本稿ではWebアプリケーションを構成する手続き型言語のプログラムを静的に解析して，SQLインジェクションやクロスサイトス... [more] | SS2006-40 KBSE2006-16 pp.1-6 |
| SS | 2005-12-19 15:15 |
高知 | 高知女子大 | 攻撃タスクを考慮した難読化による暗号プログラムの保護 ○山内寛己・神崎雄一郎・門田暁人・中村匡秀・松本健一（奈良先端大） |
本稿では，暗号プログラムに対する攻撃タスクを整理し，攻撃タスクからプログラムを保護するための難読化適用手法の検討を行う．... [more] | SS2005-59 pp.25-30 |
| SS | 2005-06-24 09:00 |
長野 | 信州大学 太田国際記念館 | XMLアクセス制御における木オートマトンを用いた静的解析 ○八木 勲・高田喜朗・関 浩之（奈良先端大） |
近年データベースセキュリティ分野において、XMLデータベースのアクセス制御が注目されている。XMLアクセス制御における静... [more] | SS2005-18 pp.1-6 |
[研究会発表申込システムのトップページに戻る]