研究活動 (2015年3月2日現在)

TOP

授業関係

リンク

DBLP

研究室

情報科学科

明治大学

査読なし論文（研究会など）

• [1] 齋藤孝道, 児玉靖司, 1998,
  CafeOBJ による型推論システムの記述と自動検証の試み,
  日本ソフトウエア科学会第１５回大会
  (1998年9月8,9,10,11日開催,東京)論文集,
  pp225-228.
  
  [2] 齋藤孝道, Wu WEN, 溝口文雄, 1999,
  仕様記述言語を用いたセキュリティプロトコルの検証,
  暗号と情報セキュリティシンポジウム(SCIS'99)
  (1999年1月27,28,29日開催,神戸)予稿集,
  pp 653-658.
  
  
  [3] 齋藤孝道, Wu WEN, 溝口文雄, 1999,
  暗号プロトコルの検証解析支援システム,
  「ソフトウェアサイエンス」研究会 (SS研)(1999年7月8,9日開催,北海道大学),
  信学技法, Vol.99，No.163，pp.1-8.
  
  [4] 齋藤孝道, Wu WEN, 溝口文雄, 1999,
  パラメタ化した BAN Logic による認証プロトコルの検証
  情報セキュリティ研究会(1999年7月22,23日開催,山形大学),
  信学技報,ISEC99-34,pp69-76.
  
  [5] 月村賢司,齋藤孝道,Wu Wen, 1999,
  認証プロトコルの解析ツール,
  日本ソフトウエア科学会第１６回大会論文集(1999年9月19〜22日,和歌山),
  pp241-244.
  
  [6] Takamichi Saito, Kenji TSUKIMURA and Wu Wen, 1999,
  A Verification Tool of Authentication Protocols,
  コンピュータセキュリティシンポジウム '99 (CSS'99)論文集
  (1999年10月21,22日開催,金沢),
  pp173-177.
  
  [7] 梅澤 健太郎, 齋藤 孝道, 奥乃 博, 2000,
  SPKI (Simple Public Key Infrastructure) によるプライバシー重視の
  権限管理の提案とJavaを用いた実装,
  情報処理学会第60回全国大会, 3Q-03.
  
  [8] 梅澤 健太郎, 齋藤 孝道, 奥乃 博,2000,
  SPKIによるプライバシー保護手法とその株主優 待券の電子的実装への応用,
  電子情報通信学会技術研究報告（信学技報）,pp203-210, Vol100,No.213,
  セキュリティ研究会（情報処理学会・電子情報通信学会）, Jul. 2000.
  
  
  [9] 齋藤 孝道, 梅澤 健太郎, 奥乃 博,2000,
  個人情報の扱いを考慮したアクセス制御 ,
  コンピュータセキュリティシンポジウム2000(情報処理学会)
  
  [10] 齋藤 孝道, 梅澤 健太郎, Wu WEN, 溝口文雄,2000,
  公開鍵を用いた認証プロトコルについて ,
  コンピュータセキュリティシンポジウム2000(情報処理学会)
  
  [11] 齋藤 孝道, 萩谷昌己, 溝口文雄,2002,
  束縛を考慮した認証プロトコルについて,
  暗号と情報セキュリティシンポジウム2002予稿集 pp325-330.
  
  [12] 齋藤 孝道, 森井章夫, 古森貞, 鬼頭利之,2002,
  SPAMメール対策システムの提案と実装,
  暗号と情報セキュリティシンポジウム2002予稿集 pp639-644.
  
  [13] 古森貞, 齋藤孝道, 2002,
  さまざまな利用環境を考慮したユーザ認証付きDHCPシステム,
  暗号と情報セキュリティシンポジウム2002予稿集 pp549-554.
  
  [14] 鬼頭利之, 梅沢健太郎, 齋藤 孝道, 2002,
  Secure Shell のシステムとしての安全性,
  暗号と情報セキュリティシンポジウム2002予稿集 pp1137-1142.
  
  [15] 鬼頭利之，齋藤孝道，2002,
  SSL(Secure Socket Layer)のシステムとしての安全性の考察,
  情報処理学会研究報告, Vol.2002, No.68, pp83-88
  
  [16] 齋藤孝道，森井章夫，古森貞，鬼頭利之, 2002,
  SPAMメール対策システムの提案と実装,
  情報処理学会研究報告, Vol.2002, No.68, pp77-82
  
  [17] 鬼頭利之，齋藤孝道，2003,
  Rollback 攻撃に対する SSH の脆弱性,
  情報処理学会研究報告, Vol.2003, No.74, pp97-104
  
  [18] 古森 貞, 齋藤孝道, 2003,
  ユーザビリティを考慮した安全な無線 LAN システムの提案と実装,
  情報処理学会研究報告2003-DPS-113
  情報処理学会「マルチメディア通信と分散処理」研究会),
  pp45-50.
  
  
  [19] 古森 貞, 齋藤孝道, 2003,
  ユーザビリティを考慮した安全な無線 LAN システムの提案,
  コンピュータセキュリティシンポジウム2003 (CSS2003) 論文集
  情報処理学会 コンピュータセキュリティ研究会),
  pp403-408.
  
  [20] 古志智也, 飯田修弘, 齋藤孝道, 2003,
  安全で閉じたP2Pネットワークの構成方式の提案と実装,
  情報処理学会第65回全国大会,
  （2003年3月25,26,27日開催）予稿集 pp 501-502.
  
  [21] 古志智也, 齋藤孝道, 2003,
  安全で閉じたP2Pネットワークの構成方式の提案,
  第113回　マルチメディア通信と分散処理（DPS）
  2003年6月19,20日）情報処理学会研究報告書 pp 33-38.
  
  [22] 古志智也, 古森貞, 齋藤孝道 2004,
  安全で閉じたP2Pネットワークの構成方式の提案,
  暗号と情報セキュリティシンポジウム(SCIS 2004)
  （2004年1月27,28,29,30日開催, 仙台）予稿集 pp 395-400.
  
  [23] 初谷良輔, 鬼頭利之, 古志智也, 齋藤孝道, 2004,
  HTTPS利用時のパスワード奪取攻撃と攻撃ツールの実装,
  暗号と情報セキュリティシンポジウム(SCIS2004)
  (2004年1月27,28,29,30日開催, 仙台) 予稿集, p107-112
  
  [24] AbdelNasir ALSHAMSI, Takamichi SAITO, 2004,
  A Technical Comparison of IPSec and SSL,
  Symposium on Cryptography and Information Security (SCIS'2004)
  Jan 27 through Jan 30th, Sendai, Japan, pp 1379-1384.
  
  [25] 齋藤孝道, 萩谷昌己, 溝口文雄, 2004
  束縛のタイミングを考慮した認証プロトコルについての考察,
  暗号と情報セキュリティシンポジウム(SCIS2004)
  (2004年1月27,28,29,30日開催, 仙台) 予稿集, p417-422.
  
  [26] 初谷良輔, 鬼頭利之, 古志智也, 齋藤孝道, 2004,
  HTTPS利用時のパスワード奪取攻撃と攻撃ツールの実装,
  情報処理学会 第66回全国大会
  

国際会議などの予稿集（査読あり）

• [1] Takamichi Saito, Wu Wen and Fumio Mizoguchi, 1999,
  Incremental Analysis and Verification of Authentication Protocols,
  Proc. of the IEEE 8th International Workshops on Enabling Technologies:
  Infrastructure for Collaborative Enterprise(WETICE'99),
  Enterprise Security Workshop(June 16,17,18 Stanford/California) ,
  pp 192-193, ISBN 0-7695-0365-9, IEEE Computer Society.
  
  [2] Takamichi Saito, Wu Wen and Fumio Mizoguchi, 1999,
  A Deduction Engine for Security Logic, Proc. of
  The International Symposium on Future Software Technology
  ISFST-99(October 26-30, in Nanjing, China),
  pp18-23, ISBN 4-916227-07-7, Software Engineers Association.
  
  [3] Takamichi Saito, Kentaro Umesawa, Wu Wen and Hiroshi G.Okuno, 2000,
  Access Control by SPKI Certificate, Proc. of the
  Joint Workshop on Information Security and Cryptology 2000
  (January 25-28, Okinawa),
  pp143-150.
  
  [4] W. Wen, T. Saito and F. Mizoguchi, 2000,
  Security of Public-Key Based Authentication Protocol,
  Lecture Notes in Computer Science 1751 (2000), pp196-209,
  ISBN 3-540-66967-1, Springer-Verlag, 2000.
  
  [5] Takamichi Saito, Kentaro Umesawa, and Hiroshi G.Okuno, 2000,
  Privacy Enhanced Access Control by SPKI,
  Proc. of the Seventh International Conference on Parallel and
  Distributed Systems: International Workshop on Next-Generation
  Internet Technologies and Applications 2000 (NGITA00), pp301-306,
  ISBN 0-7695-0571-6, IEEE Computer Society, Iwate, July 2000.
  
  [6] Takamichi Saito, Kentaro Umesawa, and Hiroshi G.Okuno, 2000,
  Privacy-Enhanced Access Control by SPKI and Its Application to Web Server,
  Proc. of the IEEE 9th International Workshops on Enabling Technologies:
  Infrastructure for Collaborative Enterprise(WETICE2000),
  Enterprise Security Workshop(June 14-16,2000, NIST/Gaithersburg, Maryland) ,
  pp 201-206, ISBN 0-7695-0798-0, IEEE Computer Society.
  
  
  [7] 齋藤 孝道, 梅澤 健太郎, 奥乃 博,2000
  個人情報の扱いを考慮したアクセス制御の一方法,
  インターネットコンファレンス2000,慶應義塾大学 矢上キャンパス,2000年11月
  
  
  [8] Takamichi Saito, Kentaro Umesawa, and Hiroshi G.Okuno, 2001,
  An Access Control with Handling Private Information,
  Proc. of the 15th International Parallel & Distributed Processing Symposium 2001,
  ISBN 0-7695-0990-8, IEEE Computer Society,
  23-27 April 2001, San Francisco, California.
  
  [9] Takamichi SAITO, Toshiyuki KITO, Kentaro UMESAWA, Fumio MIZOGUCHI,
  Architectural Defects of the Secure Shell,
  Proc. of the 13th International Workshop on Data and Expert Systems Applications,
  pp.22-28, ISBN 0-7695-1668-8, IEEE Computer Society,
  2-6 September 2002, Aix-en-Provence, France.
  pdf file
  
  [10] T.Komori, T.Saito,
  The Secure DHCP System with User Authentication,
  Proc. of the 27th Conference on Local Computer Networks,
  pp123-131, ISBN 0-7695-1591-6, IEEE Computer Society,
  6-8 Nov 2002, Tampa, Florida, USA.
  
  [11] Masami Haigya, Ryo Takemura, Koichi Takahashi, and Takamichi Saito,
  Verification of Authentication Protocols Based on the Binding Relation,
  Software Security -- Theories and Systems, Mext-NSF-JSPS Internationa
  Symposium , ISSS 2002, Tokyo, Japan, November 2002, Revised papers,
  Lecture Notes in Computer Science Vol.2609, Springer-Verlag, pp.299-316.
  
  [12] Takamichi Saito, Kentaro Umesawa, Toshiyuki Kito, Hiroshi Okuno,
  Privacy-Enhanced SPKI Access Control on PKIX and Its Application to Web Server,
  Proc. of the 17th International Conference on Advanced Information Networking and
  Applications (2003), pp.696-703, IEEE Computer Society.
  
  [13] T.Komori, T.Saito,
  A Secure Wireless LAN System Retaining Privacy,
  Proc. of the 18th International Conference on Advanced Information Networking,
  pp370-375, ISBN 0-7695-2051-0, IEEE Computer Society,
  29-31 Mar 2004, Fukuoka, Japan.
  
  [14] AbdelNasir Alshamsi, Takamichi SAITO, 2005,
  A Technical Comparison of IPSec and SSL, Proc. of the 19th International Conference on
  Advanced Information Networking and Applications (AINA 2005), pp.395-398,
  IEEE Computer Society.
  
  [15] Takamichi SAITO, 2005,
  Anti-SPAM System: Another Way of Preventing SPAM, Proc. of 16th International
  Workshop on Database and Expert Systems Applications (DEXA 2005), pp. 57-61,
  IEEE Computer Society.
  
  [16] Takamichi SAITO, Ryosuke HATSUGAI, Toshiyuki KITO, 2006,
  On Compromising Password-Based Authentication over HTTPS,
  Proc. of the 20th International Conference on Advanced Information
  Networking and Applications (2006), pp.869-874, IEEE Computer Society.
  
  [17] Takamichi SAITO, 2007,
  A Scenario-Based Protocol Checker for Public-Key Authentication Scheme,
  Proc. of IPDPS 2007, IEEE Computer Society.
  
  [18]Ryosuke HATSUGAI, Takamichi SAITO, 2007,
  Load-Balancing SSL Cluster Using Session Migration,
  Proc. of Advanced Information Networking and Applications 2007 (AINA07),
  IEEE Computer Society.
  
  [19]黒羽 秀一, 齋藤 孝道, 2007,
  IXP425におけるXScale 利用時の暗号モジュールへの影響,
  組込みシステムシンポジウム 2007予稿集.
  
  [20] Takamichi SAITO, Kiyomi SEKIGUCHI, Ryosuke HATSUGAI,
  Authentication Binding between TLS and HTTP,
  Lecture Notes in Computer Science 5186, pp.252-262,
  ISBN 978-3-540-85692-4, Springer-Verlag, 2008.
  
  [21] 杉浦，齋藤，大釜，羅，関口，
  Cell/B.E.でのAES処理のオフロードの実装と評価，
  組込みシステムシンポジウム2008(ESS2008) 予稿集
  
  [22] 羅 鏡栄, 大釜 正裕, 杉浦 寛, 関口 聖美, 齋藤 孝道,
  MPC8272における暗号モジュールの利用と評価，
  マルチメディア通信と分散処理ワークショップ論文集
  
  [23]大釜 正裕, 杉浦 寛, 羅 鏡栄, 関口 聖美, 黒羽 秀一, 齋藤 孝道，
  IXP425 上での暗号ミドルウェアOCF のスケジューラの実装と評価，
  マルチメディア通信と分散処理ワークショップ論文集
  
  [24] 杉浦 寛, 大釜 正裕, 羅 鏡栄, 齋藤 孝道，
  Cell/B.E.でのOpenSSL暗号処理のオフロードの実装と評価，
  マルチメディア通信と分散処理ワークショップ論文集
  
  [25]　Satoshi Shimazaki and Takamichi Saito,
  SSL Connection Failover in Web Clusters and its Evaluation,
  Proc. of the 12th International Conference on Network-Based Information Systems (NBiS) 2009, IEEE Computer Society, pp.254-259
  
  [26]　Tomosuke Murakami, Ryuta Kasahara and Takamichi Saito,
  An Implementation and its Evaluation of Password Cracking Tool Parallelized on GPGPU，
  Proc. of the International Symposium on Communications and Information Technologies (ISCIT) 2010， IEEE Computer Society, pp.534-538
  
  Aug, 2015
  [27] Yohei Kaneko, Takamichi Saito, Hiroaki Kikuchi,
  Cryptographic Operation Load-balancing between Cryptographic Module and CPU,
  Proc. of the 29th IEEE International Conference on Advanced Information Networking and Applications (AINA) 2015, IEEE Computer Society, to appear.
  
  Aug, 2015
  [28] Yuto Iso and Takamichi Saito,
  A Proposal and Implementation of an ID Federation That Conceals a Web Service from an Authentication Server,
  Proc. of the 29th IEEE International Conference on Advanced Information Networking and Applications (AINA) 2015, IEEE Computer Society, to appear.
  
  Aug, 2015
  [29] Hiroaki Kikuchi, Takamichi Saito, Hideki Hashimoto, Hideo Yasunagawa,
  Scalability of Privacy-Preserving Linear Regression in Epidemiological Studies,
  Proc. of the 29th IEEE International Conference on Advanced Information Networking and Applications (AINA) 2015, IEEE Computer Society, to appear.

論文誌（査読あり）

• [1] Wu WEN, Takamichi Saito, Fumio MIZOGUCHI, 2000,
  Attack on Authentication Protocols with Compromised Certificates and How to Fix Them,
  IPSJ(情報処理学会) Journal, Vol.41, No.8, pp2110-2120.
  
  [2] 月村賢司,齋藤孝道,Wu Wen, 2000,
  認証プロトコルの検証ツール,
  コンピュータソフトウエア (日本ソフトウエア科学会), Vol.17, No6, pp43-46.
  
  [3] 齋藤孝道, Wu WEN, 溝口文雄, 2001,
  認証プロトコルの完全性を自動検証するシステム,
  電子情報通信学会 論文誌 (A), Vol. J85-A No.2 pp.207-213.
  
  [4] 梅澤 健太郎, 齋藤 孝道, 奥乃 博, 2001,
  プライバシを重視したアクセス制御機構の提案,
  情報処理学会 論文誌, Vol.42, No.8, pp2067-2076
  
  [5] 齋藤孝道, 萩谷昌己, 溝口文雄, 2001,
  公開鍵を用いた認証プロトコルについて,
  情報処理学会 論文誌, Vol.42, No.8, pp2040-2048
  
  [6] 齋藤 孝道, 梅澤 健太郎, 奥乃 博, 2001,
  プライバシーを重視するアクセス制御システムの一方式,
  電子情報通信学会 論文誌(D-I), Vol. J84-D-I, No.11, pp.1553-1562.
  
  [7] 梅澤 健太郎, 齋藤 孝道, 奥乃 博, 2002,
  権限証明書とSSLの相互認証による匿名アクセス制御方式,
  情報処理学会 論文誌, Vol.43, No.8, pp2578-2597.
  
  [8] 齋藤孝道, 古森 貞, 溝口文雄,
  ユーザ認証付きDHCP (UA-DHCP) の提案と実装,
  情報処理学会 論文誌, Vol.43, No.8, pp2578-2597.
  
  [9] 齋藤 孝道,
  認証プロトコルの基礎,
  コンピュータソフトウエア (日本ソフトウエア科学会 論文誌),
  Vol. 19, No.4 (2002), pp.52-63.
  
  [10] 齋藤 孝道,
  認証プロトコルの機能と構成,
  コンピュータソフトウエア (日本ソフトウエア科学会 論文誌),
  Vol. 19, No.5 (2002), pp.60-73.
  
  [11] 齋藤孝道, 森井章夫, 古森 貞, 鬼頭利之, 溝口文雄,
  SPAM メール対策システムの提案と実装,
  電子情報通信学会 論文誌 (D-I), Vol. J86-D-I,
  No.7 (2003), pp.480-489.
  
  [12] 萩谷昌己, 竹村 亮, 高橋孝一, 齋藤孝道,
  コンピュータソフトウエア (日本ソフトウエア科学会 論文誌),
  束縛関係に基づく認証プロトコルの検証,
  Vol. 20, No.3 (2003), pp.17-29.
  
  [13] 鬼頭利之, 齋藤孝道
  SSHに対する2つのRollback 攻撃と対策について,
  情報処理学会論文誌, Vol.47, No.4 (2006), pp1108-1117.
  
  [14] 齋藤孝道, 鬼頭利之, 萩谷昌己, 溝口文雄,
  SSH パスワードユーザ認証の脆弱性とその考察,
  情報処理学会 論文誌, Vol.47, No.4 (2006), pp. 1118-1126.
  
  [15] 初谷良輔, 齋藤孝道
  セッションマイグレーションを用いた負荷分散SSLクラスタの提案と評価
  情報処理学会 論文誌, Vol.48, No.9 (2007), pp. 3099-3109.
  
  [16] 齋藤孝道
  A Scenario-Based Protocol Checker for the Public-Key Authentication Scheme,
  IEICE TRANSACTIONS on Information and Systems Vol.E92-D No.6 pp.1268-1279.
  
  [17] 齋藤孝道，大釜正裕，羅 鏡栄，杉浦 寛
  IXP425 における暗号処理の効率的なオフロード方式の実装と評価，
  情報処理学会 論文誌, Vol.51 No.9 (2010), pp.1530-1541.
  
  [18] 齋藤孝道，杉浦 寛，
  「Cell/B.E.における暗号処理の効率的なオフロード方式の提案と実装」，
  情報処理学会 論文誌，Vol.53, No.2 (2012), pp.815-824.
  
  [19] Takamichi Saito, Kiyomi Sekiguchi, and Ryosuke Hatsugai,
  Authentication Binding between SSL/TLS and HTTP,
  IEICE TRANSACTIONS on Information and Systems Vol.E95-D,No.3, pp 786-796.

その他

論文

[1] Takamichi Saito, Kentaro Umesawa, and Hiroshi G.Okuno,
A Privacy-Enhanced Access Control,
Systems and Computers in Japan, Vol.37, No.5 (2006), pp.77-86.

[2] Takamichi Saito, Toshiyuki KITO, and Fumio MIZOGUCHI,
Anti SPAM Mail System,
Systems and Computers in Japan, Vol.37, No.13 (2006), pp.480-489.

科学研究費（代表になっているもの）

• 暗号モジュールを持つマルチコアCPUでの暗号処理の効率的なオフロードに関する研究
• 組込みシステム用暗号ミドルウェア開発に関する研究
• 利用者のプライバシーを考慮したネットワーク・アクセス制御方式の開発研究
• Web Browserの電子的足跡・指紋に関する基礎的研究

書籍

• [1] 「マスタリングTCP/IP」シリーズの「SSL/TLS編」（オーム社） (監訳本)
  [2] OpenSSL ―暗号・PKI・SSL/TLSライブラリの詳細― （監訳本）
  　　　オライリーの Network Security with OpenSSL の翻訳本です．
  [3] Building Secure Software （監訳本）
• [4] マスタリングTCP/IP 情報セキュリティ編（オーム社）

TOP

授業関係

リンク

DBLP

研究室

情報科学科

明治大学

斉藤孝道 斎藤孝道 齊藤孝道