論文

• Yong Jin, Masahiko Tomoishi, Satoshi Matsuura, Yoshiaki Kitaguchi. A Secure In-Depth File System Concealed by GPS-Based Mounting Authentication for Mobile Devices, IEICE Transactions on Information and Systems, The Institute of Electronics, Information and Communication Engineers, Vol. E101-D, No. 11, pp. 2612-2621, Oct. 2018.  公式リンク  
  
• Y. Jin, k. Kakoi, N. Yamai, N. Kitagawa, M. Tomoishi. A Client Based DNSSEC Validation System with Adaptive Alert Mechanism Considering Minimal Client Timeout, IEICE Transactions on Information and Systems, Aug. 2017.
• MASAHIKO TOMOISHI. Design of UNIX System for the Prevention of Damage Propagation by Intrusion and Implementation Based on 4.4BSD, Information Security, LNCS, Vol. 2200, pp. 536-552, 2001.
• 萩原茂樹, 友石正彦, 米崎直樹. 有限フレームを意味的基礎として持つ様相論理に対する分解証明法, コンピュータソフトウェア, Vol. 18, No. 0, pp. 78-91, Dec. 2000.
• 萩原茂樹, 友石正彦, 米崎直樹. 有限フレームを意味的基礎として持つ様相論理に対する分解証明法, コンピュータソフトウェア別冊 ソフトウェア発展, pp. 78-91, 2000.
• Masahiko Tomoishi, Naoki Yonezaki. Evolutional tableau method for temporal logic specification, International Symposium on Principles of Software Evolution (ISPSE2000), pp. 181-188, 2000.
• 増井健司, 友石正彦, 米崎直樹. リレーサーバを用いたpop before smtpのセキュアな実現法とその解析, 日本ソフトウェア科学会第17回大会講演論文集, pp. 15-19, 2000.
• Masahiko Tomoishi, Naoki Yonezaki. 段階的充足不能なリアクティブシステムの原因について, 日本ソフトウェア科学会第16回大会論文集, pp. 429-432, 1999.
• 増井健司, 友石正彦, 米崎直樹. UNIXシステムにおけるroot権限の階層化, 日本ソフトウェア科学会第16回大会論文集, pp. 45-48, 1999.
• Masahiko Tomoishi, Naoki Yonezaki. Specifying the defective parts for modification of reactive system specifications, International Workshop on the Principles of Software Evolution(IWPSE99), pp. 1-7, 1999.
• Masahiko Tomoishi, Naoki Yonezaki. Finding the causes of un-realizability in temporal specifications, International Workshop on Specification and Verification of Timed Systems (IWTS99), pp. 0, 1999.
• Masahiko Tomoishi, Naoki Yonezaki. 合成可能なタブロによる仕様の差分的無矛盾性判定について, Program Translation, Symbolic Computation and Algebraic Manipulation(PSF99), pp. 142-149, 1999.

国際会議発表 (査読有り)

• Y. Jin, M. Tomoishi. A Privacy-Preserved End Terminal Characterization Mechanism by Collaborative Traffic Analysis, 2023 22nd International Symposium on Communications and Information Technologies (ISCIT), Nov. 2023.
• Y. Jin, M. Tomoishi. A Named-Entity-based TTP-free Authentication and Authorization Architecture for IoT Systems, 2023 IEEE 47th Annual Computers, Software, and Applications Conference (COMPSAC), June 2023.
• Y. Jin, S. Matsuura, T. Kondo, T. Hosokawa, M. Tomoishi. A Lightweight Abnormality Detection Mechanism by Stray Packets Analysis, 2023 ACM SIGUCCS Annual Conference (SIGUCCS '23), Mar. 2023.
• Y. Jin, M. Tomoishi, N. Yamai. Trigger-based Blocking Mechanism for Access to Email-derived Phishing URLs with User Alert, 2023 International Conference on Electronics, Information, and Communication (ICEIC), Feb. 2023.
• Y. Jin, M. Tomoishi, S. Matsuura. Forged Cache Isolation on DNS Full-Service Resolvers and Identification of Infected End Clients, 2022 The 14th International Conference Future Computer and Communication (ICFCC), Feb. 2022.
• Y. Jin, K. Iguchi, N. Yamai, M. Tomoishi. Acceleration of a Client Based DNSSEC Validation System in Parallel with Two Full-Service Resolvers, 2022 The 24th International Conference on Advanced Communication Technology, (ICACT), Feb. 2022.
• Y. Jin, M. Tomoishi, N. Yamai. Secure Remote Monitoring and Cipher Data Sharing for IoT Healthcare System with Privacy Preservation, 2021 The 5th International Conference on Cloud and Big Data Computing (ICCBDC), Aug. 2021.
• Yong Jin, Masahiko Tomoishi, Nariyoshi Yamai. Anomaly Detection on User Terminals Based on Outbound Traffic Filtering by DNS Query Monitoring and Application Program Identification, 2021 6th International Conference on Information and Network Technologies, May 2021.
• Y. Jin, M. Tomoishi, N. Yamai. A Detour Strategy for Visiting Phishing URLs Based on Dynamic DNS Response Policy Zone, 2020 IEEE International Symposium on Networks, Computers and Communications, Oct. 2020.
• Masahiro Ishii, Satoshi Matsuura, Kento Mori, Masahiko Tomoishi, Yong Jin, Yoshiaki Kitaguchi. A Study of Classification of Texts into Categories of Cybersecurity Incident and Attack with Topic Models, Proceedings of the 6th International Conference on Information Systems Security and Privacy (ICISSP 2020), pp. 639-646, Feb. 2020.  公式リンク  
  
• Y. Jin, M. Tomoishi, S. Matsuura. Detection of Hijacked Authoritative DNS Servers by Name Resolution Traffic Classification, 2019 IEEE International Conference on Big Data (IEEE BigData2019), Dec. 2019.
• Y. Jin, M. Tomoishi. A Secure End-to-End Key Exchange Mechanism by Cooperation of Multiple Devices Using QR Codes, IEEE International Telecommunication Networks and Applications Conference (ITNAC 2019), Nov. 2019.
• Y. Jin, M. Tomoishi, S. Matsuura. A Detection Method Against DNS Cache Poisoning Attacks Using Machine Learning Techniques, The 18th IEEE International Symposium on Network Computing and Applications (NCA 2019), Oct. 2019.
• Y. Jin, M. Tomoishi, N. Yamai. Anomaly Detection by Monitoring Unintended DNS Traffic on Wireless Network, 2019 IEEE Pacific Rim Conference on Communications, Computers and Signal Processing, Aug. 2019.
• Y. Jin, M. Tomoishi. Encrypted QR Code Based Optical Challenge-Response Authentication by Mobile Devices for Mounting Concealed File System, 2019 IEEE 43rd Annual Computer Software and Applications Conference (COMPSAC), July 2019.
• Y. Jin, M. Tomoishi, K. Fujikawa, V. P. Kafle. Poster: Privacy-Preserving IoT Remote Control using DNS with LTE based On-Demand Triggering, IEEE Workshop on the Internet of Safe Things (SafeThings2019), May 2019.
• Yong Jin, Kunitaka Kakoi, Nariyoshi Yamai, Naoya Kitagawa, Masahiko Tomoishi. A Client based Anomaly Traffic Detection and Blocking Mechanism by Monitoring DNS Name Resolution With User Alerting Feature, 2018 International Conference on Cyberworlds, pp. 351-356, Oct. 2018.
• Yong Jin, Masahiko Tomoishi, Nariyoshi Yamai. A Client Based DNSSEC Validation Mechanism with Recursive DNS Server Separation, The 9th International Conference on Information and Communication Technology Convergence, pp. 148-153, Oct. 2018.
• Y. Jin, M. Tomoishi, S. Matsuura. An In-depth Concealed File System with GPS Authentication Adaptable for Multiple Locations, 2017 IEEE 41st Annual Computer Software and Applications Conference (COMPSAC), July 2018.
• Yong Jin, Masahiko Tomoishi, Satoshi Matsuura, Yoshiaki Kitaguchi. A Secure Container-based Backup Mechanism to Survive Destructive Ransomware Attacks, The 2018 Workshop on Computing, Networking and Communications (CNC2018), Proc. of the 2018 Workshop on Computing, Networking and Communications (CNC2018), pp. 1-6, Mar. 2018.  公式リンク  
  
• Y. Jin, K. Kakoi, M. tomoishi, N. Yamai. Efficient detction of suspicious DNS traffic by resolver separation per application program, 2017 International Conference on Information and Communication Technology Convergence (ICTC), Oct. 2017.
• Y. Jin, M. Tomoishi, N. Yamai. A secure and Lightweight IoT Device Remote Monitoring and Control Mechanism Using DNS, IEEE 41th Annual Computer Software and Applications Conference (COMPSAC), July 2017.
• K. Kakoi, Y. Jin, N. Yamai, N. Kitagawa, M. Tomoishi. Cache Function Activation on a Client Based DNSSEC Validation and Alert System by Multithreading, 2017 IEEE 41th Annual Computer Software and Applications Conference (COMPSAC), July 2017.
• Shigeki Hagihara, Masahiko Tomoishi, Masaya Shimakawa, Naoki Yonezaki. Combining Unification and Rewriting in Proofs for Modal Logics with First-order Undefinable Frames, 5th International Conference on Computer Science, Electronics Technology and Automation (ICCSETA 2017), Preproceedings of 5th International Conference on Computer Science, Electronics Technology and Automation (ICCSETA 2017), Mar. 2017.
• Shigeki Hagihara, Yoshiharu Fushihara, Masaya Shimakawa, Masahiko Tomoishi, Naoki Yonezaki. Web server access trend analysis based on the Poisson distribution, 6th International Conference on Software and Computer Applications (ICSCA 2017), Preproceedings of 6th International Conference on Software and Computer Applications (ICSCA 2017), Feb. 2017.
• Yong Jin, Masahiko Tomoishi, Nariyoshi Yamai. An advanced client based DNSSEC validation and preliminary evaluations toward realization, 2016 International Conference on Information and Communication Technology Convergence (ICTC), Oct. 2016.
• Y. Jin, M. Tomoishi, S. Matsuura. Enhancement of VPN Authentication Using GPS Information with Geo-Privacy Protection, 2016 25th International Conference on Computer Communication and Networks (ICCCN), Aug. 2016.
• Y. Jin, M. Tomoishi, S. Matsuura. Design of a Concealed File System Adapted for Mobile Devices Based on GPS Information, 2016 IEEE 40th Annual Computer Software and Applications Conference (COMPSAC), June 2016.
• K. Kakoi, Y. Jin, N. Yamai, N. Kitagawa, M. Tomoishi. Design and Implementation of a Client Based DNSSEC Validation and Alert System, 2016 IEEE 40th Annual Computer Software and Applications Conference (COMPSAC), June 2016.
• Yong Jin, Masahiko Tomoishi. Web server performance enhancement by suppressing network traffic for high performance client, 2015 17th Asia-Pacific Network Operations and Management Symposium (APNOMS), 2015 17th Asia-Pacific Network Operations and Management Symposium (APNOMS), Aug. 2015.
• Yoshiharu Fushihara, Shigeki Hagihara, Masahiko Tomoishi, Naoki Yonezaki. A new approach to analysis of access tendency of web server using Poisson distribution, 15h Philippine Computing Science Congress (PCSC 2015), Proceedings of the 15th Philippine Computing Science Congress, pp. 14-19, Mar. 2015.
• Shigeki Hagihara, Masahiko Tomoishi, Naoki Yonezaki. On Constructing Unification-based Proof Methods for Modal Logics with First-order Undefinable Frames, 14th Philippine Computing Science Congress (PCSC 2014), Proceedings of the 14th Philippine Computing Science Congress, pp. 22-27, Mar. 2014.
• Kenji Masui, Masahiko Tomoishi, Naoki Yonezaki. Design of unix system for the prevention of damage propagation by intrusion and its implementation based on 4.4BSD, Information Security Conference 2001, Oct. 2001.

国内会議発表 (査読有り)

• 滝澤真一朗, 松岡聡, 友石正彦, 佐藤仁, 東田 学. Point-of-Presence連携によるe-サイエンス分散環境, インターネットカンファレンス2011, Oct. 2011.
• 増井健司, 友石正彦, 米崎直樹. 送受信内容の相関を利用したhttpアクセス制御のためのプロキシ, マルチメディア、分散、協調とモバイル(DICOMO2001)シンポジウム, June 2001.

国際会議発表 (査読なし・不明)

• Y. Jin, M. Tomoishi, K. Fujikawa, V. P. Kafle. A Lightweight and Secure IoT Remote Monitoring Mechanism Using DNS with Privacy Preservation, 2019 16th IEEE Annual Consumer Communications & Networking Conference (CCNC), Jan. 2019.

国内会議発表 (査読なし・不明)

• 北口 善明, 金 勇, 友石 正彦. キャンパスネットワーク運用自動化に向けた構成管理システムの実装と評価, 第62回 インターネットと運用技術 (IOT) 研究会, 情報処理学会研究報告, 一般社団法人 情報処理学会, Vol. 2023-IOT-62, No. 17, pp. 1-6, July 2023.  公式リンク  
  
• 北口 善明, 金 勇, 友石 正彦. OSSを活用したキャンパスネットワークの構成管理システム, 第58回 インターネットと運用技術 (IOT) 研究会, 情報処理学会研究報告, 一般社団法人 情報処理学会, Vol. 2022-IOT-58, No. 16, pp. 1-6, July 2022.  公式リンク  
  
• 陸子健, 金勇, 山井成良, 友石正彦. 家庭向けの遠隔ヘルスケアにおけるDNSを活用した監視システムの試作, 情報処理学会インターネットと運用技術研究会, Vol. 2021-IOT-52, No. 11, pp. 1-6, Mar. 2021.
• 森 健人, 石井 将大, 松浦 知史, 金 勇, 北口 善明, 友石 正彦. セキュリティ事案における知見の蓄積・活用を可能とする対応フローの提案と実装, 第46回 インターネットと運用技術 (IOT) 研究会, 研究報告インターネットと運用技術（IOT）, 一般社団法人 情報処理学会, Vol. 2019-IOT-46, No. 2, pp. 1-8, June 2019.  公式リンク  
  
• 石井 将大, 森 健人, 松浦 知史, 金 勇, 北口 善明, 友石 正彦. 東工大CERTにおけるインシデント対応の分析とその自動化に関する考察, 第43回 インターネットと運用技術 (IOT) 研究会, 研究報告インターネットと運用技術（IOT）, 一般社団法人 情報処理学会, Vol. 2018-IOT-43, No. 2, pp. 1-8, Sept. 2018.  公式リンク  
  
• 栫 邦雄, 山井 成良, 金 勇, 北川 直哉, 友石 正彦. 出口対策としてのDNS問合せに基づく端末用不審アクセス検知・遮断システム, 情報処理学会 第42回インターネットと運用技術研究発表会, 研究報告インターネットと運用技術（IOT）, vol. 2018-IOT-42, no. 9, pp. 1-6, June 2018.
• 森健人, 松浦知史, 金勇, 友石正彦. オンプレミスで実現する業務効率化のためのOSS基盤環境構築, 情報処理学会インターネットと運用技術研究会, Sept. 2016.
• 栫邦雄, 金勇, 山井成良, 北川直哉, 友石正彦. 端末上で動作するDNSSEC検証及び警告システムの設計と実装, 情報処理学会インターネットと運用技術研究会, May 2016.
• 松浦知史, 森健人, 金勇, 友石正彦. 拡張性を考慮した小規模仮想化基盤の構築, 情報処理学会インターネットと運用技術研究会, Mar. 2016.
• 滝澤真一朗, 松岡聡, 佐藤仁, 東田学, 友石正彦. PoP(Point of Presence)によるe-サイエンスリソース連携, 広帯域ネットワーク利用に関するワークショップ (ADVNET2010)予稿集, Sept. 2010.
• 滝澤真一朗, 松岡聡, 佐藤仁, 東田学, 友石正彦, 實本英之. e-サイエンス基盤としての計算機センターPOP(Point-of-Presence) 連携, 並列/分散/協調処理に関するサマー・ワークショップ(SWoPP2010) 予稿集, Aug. 2010.
• 友石正彦, 益井賢次, 飯田勝吉. 仮想ネットワーク技術を用いたキャンパスネットワークの設計と構築, 電子情報通信学会・技術研究報告, vol. 109, no. 438, pp. 207-212, Mar. 2010.
• 友石正彦, 吉田真一, 伊東利哉. 無線LAN におけるセキュリティ技術の動向, SITE2004-1, 電子情報通信学会技術研究報告[技術と社会・倫理], Vol. 104, No. 96, pp. 1--6, June 2008.
• 増井健司, 友石正彦, 米崎直樹. 送受信メッセージのパターン解析によるhttpアクセス制御, 日本ソフトウェア科学会第18回大会, Sept. 2001.
• 増井健司, 友石正彦, 米崎直樹. パスワードクラック防止のためのunixのパスワードシステムの改善, 情報処理学会第62回全国大会論文集(CD-ROM), Mar. 2001.
• 増井健司, 友石正彦, 米崎直樹. リレーサーバを用いたpop before smtpのセキュアな実現法とその解析, 日本ソフトウェア科学会第17回大会講演論文集, Sept. 2000.
• 友石正彦, 米崎直樹. 合成可能なタブロによる仕様の差分的無矛盾修正について, プログラム変換と記号・数式処理, 数理解析研究所講究録, Vol. 1125, No. 2000, pp. 142-149, Nov. 1999.
• 友石正彦, 米崎直樹. 段階的充足不能なリアクティブシステムの原因について, 日本ソフトウェア科学会第16回大会論文集, pp. 429-432, Sept. 1999.
• 増井健司, 友石正彦, 米崎直樹. UNIXシステムにおけるroot権限の階層化, 日本ソフトウェア科学会第16回大会論文集, pp. 45-48, Sept. 1999.
• 萩原茂樹, 友石正彦, 米崎直樹. 有礎構造を意味論にもつ様相論理の分解証明法, 日本ソフトウェア科学会第15回大会論文集, pp. 145-148, Sept. 1998.
• 友石正彦, 萩原茂樹, 米崎直樹. 初等的でないフレームを持つ様相論理の統一化による証明法, 情報処理学会第55回全国大会講演論文集, Vol. 2, pp. 559-560, Sept. 1997.
• 友石正彦, 米崎直樹. 動作仕様の差分的無矛盾性判定, 日本ソフトウェア科学会第9回大会論文集, June 1993.
• 友石正彦, 米崎直樹. 時相オペレータの統一化を用いる時相論理証明法, 日本ソフトウェア科学会第9回大会論文集, pp. 181-188, Sept. 1992.
• 米崎直樹, 友石正彦. 順序関係を記述する論理の完全性の研究, 人工知能学会研究会資料 SIG-FAI-8901-4, pp. 31-40, Jan. 1989.

学位論文

• 時相論理分解証明法の完全性,  Master of Engineering,  東京工業大学,  1994/--/--, 

[ BibTeX 形式で保存 ]    [ 論文・著書をCSV形式で保存 ]    [ 特許をCSV形式で保存 ]