"Yoshiaki Kitaguchi,Yong Jin,Masahiko Tomoishi","Implementation and Evaluation of a Configuration Management System for Campus Network Operation Automation","第62回 インターネットと運用技術 (IOT) 研究会","IPSJ SIG Technical Reports","Information Processing Society of Japan","Vol. 2023-IOT-62","No. 17","pp. 1-6",2023,July "Yoshiaki Kitaguchi,Yong Jin,Masahiko Tomoishi","Configuration Management System for Campus Network using OSS","第58回 インターネットと運用技術 (IOT) 研究会","IPSJ SIG Technical Reports","Information Processing Society of Japan","Vol. 2022-IOT-58","No. 16","pp. 1-6",2022,July "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",,,,,,2021,May "陸子健,Yong Jin,山井成良,MASAHIKO TOMOISHI","家庭向けの遠隔ヘルスケアにおけるDNSを活用した監視システムの試作","情報処理学会インターネットと運用技術研究会",,,"Vol. 2021-IOT-52","No. 11","pp. 1-6",2021,Mar. "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",,,,,,2020,Oct. "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",2020,Feb. "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)",,,,,,2019,Dec. "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)",,,,,,2019,Nov. "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)",,,,,,2019,Oct. "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",,,,,,2019,Aug. "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)",,,,,,2019,July "Kento Mori,Masahiro Ishii,Satoshi Matsuura,Yong Jin,Yoshiaki Kitaguchi,Masahiko Tomoishi","セキュリティ事案における知見の蓄積・活用を可能とする対応フローの提案と実装","第46回 インターネットと運用技術 (IOT) 研究会","研究報告インターネットと運用技術(IOT)","Information Processing Society of Japan","Vol. 2019-IOT-46","No. 2","pp. 1-8",2019,June "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)",,,,,,2019,May "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)",,,,,,2019,Jan. "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",2018,Oct. "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",2018,Oct. "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",2018,Oct. "Masahiro Ishii,Kento Mori,Satoshi Matsuura,Yong Jin,Yoshiaki Kitaguchi,MASAHIKO TOMOISHI","東工大CERTにおけるインシデント対応の分析とその自動化に関する考察","第43回 インターネットと運用技術 (IOT) 研究会","研究報告インターネットと運用技術(IOT)","Information Processing Society of Japan","Vol. 2018-IOT-43","No. 2","pp. 1-8",2018,Sept. "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)",,,,,,2018,July "栫 邦雄,山井 成良,Yong Jin,北川 直哉,MASAHIKO TOMOISHI","出口対策としてのDNS問合せに基づく端末用不審アクセス検知・遮断システム","情報処理学会 第42回インターネットと運用技術研究発表会","研究報告インターネットと運用技術(IOT)",,"vol. 2018-IOT-42","no. 9","pp. 1-6",2018,June "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",2018,Mar. "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)",,,,,,2017,Oct. "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",,,,,2017,Aug. "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)",,,,,,2017,July "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)",,,,,,2017,July "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)",,,,,2017,Mar. "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)",,,,,2017,Feb. "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)",,,,,,2016,Oct. "森健人,Satoshi Matsuura,Yong Jin,MASAHIKO TOMOISHI","オンプレミスで実現する業務効率化のためのOSS基盤環境構築","情報処理学会インターネットと運用技術研究会",,,,,,2016,Sept. "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)",,,,,,2016,Aug. "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)",,,,,,2016,June "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)",,,,,,2016,June "栫邦雄,Yong Jin,山井成良,北川直哉,MASAHIKO TOMOISHI","端末上で動作するDNSSEC検証及び警告システムの設計と実装","情報処理学会インターネットと運用技術研究会",,,,,,2016,May "Satoshi Matsuura,森健人,Yong Jin,MASAHIKO TOMOISHI","拡張性を考慮した小規模仮想化基盤の構築","情報処理学会インターネットと運用技術研究会",,,,,,2016,Mar. "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)",,,,,2015,Aug. "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",2015,Mar. "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",2014,Mar. "Shinichiro Takizawa,SATOSHI MATSUOKA,MASAHIKO TOMOISHI,Hitoshi Sato,Manabu Higashida","An E-Science Distributed Environment Composed by Federated Point-of-Presences","Internet Conference 2011",,,,,,2011,Oct. "Shin'ichiro Takizawa,Satoshi Matsuoka,Hitoshi Sato,Manabu Higashida,Masahiko Tomoishi","Resource Federation for e-science by a Point-of-Presence",,"広帯域ネットワーク利用に関するワークショップ (ADVNET2010)予稿集",,,,,2010,Sept. "Shin'ichiro Takizawa,Satoshi Matsuoka,Hitoshi Sato,Manabu Higashida,Masahiko Tomoishi,Hideyuki Jitsumoto","POP(Point-of-Presence) Linkage between Computer Centers as an E-Science Infrastructure",,"並列/分散/協調処理に関するサマー・ワークショップ(SWoPP2010) 予稿集",,,,,2010,Aug. "Masahiko Tomoishi,Kenji Masui,KATSUYOSHI IIDA","仮想ネットワーク技術を用いたキャンパスネットワークの設計と構築",,"電子情報通信学会・技術研究報告",,"vol. 109","no. 438","pp. 207-212",2010,Mar. "MASAHIKO TOMOISHI,Shin-ichi Yoshida,Toshiya Itoh","無線LAN におけるセキュリティ技術の動向","SITE2004-1","電子情報通信学会技術研究報告[技術と社会・倫理]",,"Vol. 104","No. 96","pp. 1--6",2008,June "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",,,,,2001,Oct. "増井健司,MASAHIKO TOMOISHI,NAOKI YONEZAKI","送受信メッセージのパターン解析によるhttpアクセス制御",,"日本ソフトウェア科学会第18回大会",,,,,2001,Sept. "増井健司,MASAHIKO TOMOISHI,NAOKI YONEZAKI","送受信内容の相関を利用したhttpアクセス制御のためのプロキシ",,"マルチメディア、分散、協調とモバイル(DICOMO2001)シンポジウム",,,,,2001,June "増井健司,MASAHIKO TOMOISHI,NAOKI YONEZAKI","パスワードクラック防止のためのunixのパスワードシステムの改善",,"情報処理学会第62回全国大会論文集(CD-ROM)",,,,,2001,Mar. "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, "Shigeki Hagihara,MASAHIKO TOMOISHI,NAOKI YONEZAKI","有限フレームを意味的基礎として持つ様相論理に対する分解証明法",,"コンピュータソフトウェア",,"Vol. 18","No. 0","pp. 78-91",2000,Dec. "増井健司,MASAHIKO TOMOISHI,NAOKI YONEZAKI","リレーサーバを用いたpop before smtpのセキュアな実現法とその解析",,"日本ソフトウェア科学会第17回大会講演論文集",,,,,2000,Sept. "増井健司,友石正彦,米崎直樹","リレーサーバを用いたpop before smtpのセキュアな実現法とその解析",,"日本ソフトウェア科学会第17回大会講演論文集",,,,"pp. 15-19",2000, "Masahiko Tomoishi,Naoki Yonezaki","Evolutional tableau method for temporal logic specification",,"International Symposium on Principles of Software Evolution (ISPSE2000)",,,,"pp. 181-188",2000, "萩原茂樹,友石正彦,米崎直樹","有限フレームを意味的基礎として持つ様相論理に対する分解証明法",,"コンピュータソフトウェア別冊 ソフトウェア発展",,,,"pp. 78-91",2000, "MASAHIKO TOMOISHI,NAOKI YONEZAKI","合成可能なタブロによる仕様の差分的無矛盾修正について","プログラム変換と記号・数式処理","数理解析研究所講究録",,"Vol. 1125","No. 2000","pp. 142-149",1999,Nov. "増井健司,MASAHIKO TOMOISHI,NAOKI YONEZAKI","UNIXシステムにおけるroot権限の階層化",,"日本ソフトウェア科学会第16回大会論文集",,,,"pp. 45-48",1999,Sept. "MASAHIKO TOMOISHI,NAOKI YONEZAKI","段階的充足不能なリアクティブシステムの原因について",,"日本ソフトウェア科学会第16回大会論文集",,,,"pp. 429-432",1999,Sept. "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","段階的充足不能なリアクティブシステムの原因について",,"日本ソフトウェア科学会第16回大会論文集",,,,"pp. 429-432",1999, "Masahiko Tomoishi,Naoki Yonezaki","合成可能なタブロによる仕様の差分的無矛盾性判定について",,"Program Translation, Symbolic Computation and Algebraic Manipulation(PSF99)",,,,"pp. 142-149",1999, "増井健司,友石正彦,米崎直樹","UNIXシステムにおけるroot権限の階層化",,"日本ソフトウェア科学会第16回大会論文集",,,,"pp. 45-48",1999, "Shigeki Hagihara,MASAHIKO TOMOISHI,NAOKI YONEZAKI","有礎構造を意味論にもつ様相論理の分解証明法",,"日本ソフトウェア科学会第15回大会論文集",,,,"pp. 145-148",1998,Sept. "MASAHIKO TOMOISHI,Shigeki Hagihara,NAOKI YONEZAKI","初等的でないフレームを持つ様相論理の統一化による証明法",,"情報処理学会第55回全国大会講演論文集",,"Vol. 2",,"pp. 559-560",1997,Sept. "MASAHIKO TOMOISHI","時相論理分解証明法の完全性",,,,,,,1994, "MASAHIKO TOMOISHI,NAOKI YONEZAKI","動作仕様の差分的無矛盾性判定",,"日本ソフトウェア科学会第9回大会論文集",,,,,1993,June "MASAHIKO TOMOISHI,NAOKI YONEZAKI","時相オペレータの統一化を用いる時相論理証明法",,"日本ソフトウェア科学会第9回大会論文集",,,,"pp. 181-188",1992,Sept. "NAOKI YONEZAKI,MASAHIKO TOMOISHI","順序関係を記述する論理の完全性の研究",,"人工知能学会研究会資料 SIG-FAI-8901-4",,,,"pp. 31-40",1989,Jan.