@article{CTT100875625,
  author = {Yong Jin and Masahiko Tomoishi and Satoshi Matsuura and Yoshiaki Kitaguchi},
  title = {A Secure In-Depth File System Concealed by GPS-Based Mounting Authentication for Mobile Devices},
  journal = {IEICE Transactions on Information and Systems},
  year = 2018,
}

@article{CTT100773941,
  author = {Y. Jin and k. Kakoi and N. Yamai and N. Kitagawa and M. Tomoishi},
  title = {A Client Based DNSSEC Validation System with Adaptive Alert Mechanism Considering Minimal Client Timeout},
  journal = {IEICE Transactions on Information and Systems},
  year = 2017,
}

@article{CTT100459474,
  author = {MASAHIKO TOMOISHI},
  title = {Design of UNIX System for the Prevention of Damage Propagation by Intrusion and Implementation Based on 4.4BSD},
  journal = {Information Security, LNCS},
  year = 2001,
}

@article{CTT100548421,
  author = {Shigeki Hagihara and MASAHIKO TOMOISHI and NAOKI YONEZAKI},
  title = {有限フレームを意味的基礎として持つ様相論理に対する分解証明法},
  journal = {コンピュータソフトウェア},
  year = 2000,
}

@article{CTT100445354,
  author = {増井健司 and 友石正彦 and 米崎直樹},
  title = {リレーサーバを用いたpop before smtpのセキュアな実現法とその解析},
  journal = {日本ソフトウェア科学会第17回大会講演論文集},
  year = 2000,
}

@article{CTT100445353,
  author = {Masahiko Tomoishi and Naoki Yonezaki},
  title = {Evolutional tableau method for temporal logic specification},
  journal = {International Symposium on Principles of Software Evolution (ISPSE2000)},
  year = 2000,
}

@article{CTT100445355,
  author = {萩原茂樹 and 友石正彦 and 米崎直樹},
  title = {有限フレームを意味的基礎として持つ様相論理に対する分解証明法},
  journal = {コンピュータソフトウェア別冊 ソフトウェア発展},
  year = 2000,
}

@article{CTT100432443,
  author = {Masahiko Tomoishi and Naoki Yonezaki},
  title = {Specifying the defective parts for modification of reactive system specifications},
  journal = {International Workshop on the Principles of Software Evolution(IWPSE99)},
  year = 1999,
}

@article{CTT100432444,
  author = {Masahiko Tomoishi and Naoki Yonezaki},
  title = {Finding the causes of un-realizability in temporal specifications},
  journal = {International Workshop on Specification and Verification of Timed Systems (IWTS99)},
  year = 1999,
}

@article{CTT100432446,
  author = {Masahiko Tomoishi and Naoki Yonezaki},
  title = {段階的充足不能なリアクティブシステムの原因について},
  journal = {日本ソフトウェア科学会第16回大会論文集},
  year = 1999,
}

@article{CTT100432062,
  author = {Masahiko Tomoishi and Naoki Yonezaki},
  title = {合成可能なタブロによる仕様の差分的無矛盾性判定について},
  journal = {Program Translation, Symbolic Computation and Algebraic Manipulation(PSF99)},
  year = 1999,
}

@article{CTT100432445,
  author = {増井健司 and 友石正彦 and 米崎直樹},
  title = {UNIXシステムにおけるroot権限の階層化},
  journal = {日本ソフトウェア科学会第16回大会論文集},
  year = 1999,
}

@inproceedings{CTT100892392,
  author = {Yoshiaki Kitaguchi and Yong Jin and Masahiko Tomoishi},
  title = {Implementation and Evaluation of a Configuration Management System for Campus Network Operation Automation},
  booktitle = {IPSJ SIG Technical Reports},
  year = 2023,
}

@inproceedings{CTT100883709,
  author = {Yoshiaki Kitaguchi and Yong Jin and Masahiko Tomoishi},
  title = {Configuration Management System for Campus Network using OSS},
  booktitle = {IPSJ SIG Technical Reports},
  year = 2022,
}

@inproceedings{CTT100851786,
  author = {Yong Jin and Masahiko Tomoishi and Nariyoshi Yamai},
  title = {Anomaly Detection on User Terminals Based on Outbound Traffic Filtering by DNS Query Monitoring and Application Program Identification},
  booktitle = {},
  year = 2021,
}

@inproceedings{CTT100851805,
  author = {陸子健 and Yong Jin and 山井成良 and MASAHIKO TOMOISHI},
  title = {家庭向けの遠隔ヘルスケアにおけるDNSを活用した監視システムの試作},
  booktitle = {},
  year = 2021,
}

@inproceedings{CTT100836160,
  author = {Y. Jin and M. Tomoishi and N. Yamai},
  title = {A Detour Strategy for Visiting Phishing URLs Based on Dynamic DNS Response Policy Zone},
  booktitle = {},
  year = 2020,
}

@inproceedings{CTT100819651,
  author = {Masahiro Ishii and Satoshi Matsuura and Kento Mori and Masahiko Tomoishi and Yong Jin and Yoshiaki Kitaguchi},
  title = {A Study of Classification of Texts into Categories of Cybersecurity Incident and Attack with Topic Models},
  booktitle = {Proceedings of the 6th International Conference on Information Systems Security and Privacy (ICISSP 2020)},
  year = 2020,
}

@inproceedings{CTT100809322,
  author = {Y. Jin and M. Tomoishi and S. Matsuura},
  title = {Detection of Hijacked Authoritative DNS Servers by Name Resolution Traffic Classification},
  booktitle = {},
  year = 2019,
}

@inproceedings{CTT100809321,
  author = {Y. Jin and M. Tomoishi},
  title = {A Secure End-to-End Key Exchange Mechanism by Cooperation of Multiple Devices Using QR Codes},
  booktitle = {},
  year = 2019,
}

@inproceedings{CTT100809320,
  author = {Y. Jin and M. Tomoishi and S. Matsuura},
  title = {A Detection Method Against DNS Cache Poisoning Attacks Using Machine Learning Techniques},
  booktitle = {},
  year = 2019,
}

@inproceedings{CTT100809319,
  author = {Y. Jin and M. Tomoishi and N. Yamai},
  title = {Anomaly Detection by Monitoring Unintended DNS Traffic on Wireless Network},
  booktitle = {},
  year = 2019,
}

@inproceedings{CTT100809318,
  author = {Y. Jin and M. Tomoishi},
  title = {Encrypted QR Code Based Optical Challenge-Response Authentication by Mobile Devices for Mounting Concealed File System},
  booktitle = {},
  year = 2019,
}

@inproceedings{CTT100808658,
  author = {Kento Mori and Masahiro Ishii and Satoshi Matsuura and Yong Jin and Yoshiaki Kitaguchi and Masahiko Tomoishi},
  title = {セキュリティ事案における知見の蓄積・活用を可能とする対応フローの提案と実装},
  booktitle = {研究報告インターネットと運用技術（IOT）},
  year = 2019,
}

@inproceedings{CTT100809317,
  author = {Y. Jin and M. Tomoishi and K. Fujikawa and V. P. Kafle},
  title = {Poster: Privacy-Preserving IoT Remote Control using DNS with LTE based On-Demand Triggering},
  booktitle = {},
  year = 2019,
}

@inproceedings{CTT100809316,
  author = {Y. Jin and M. Tomoishi and K. Fujikawa and V. P. Kafle},
  title = {A Lightweight and Secure IoT Remote Monitoring Mechanism Using DNS with Privacy Preservation},
  booktitle = {},
  year = 2019,
}

@inproceedings{CTT100775578,
  author = {Yong Jin and Masahiko Tomoishi and Nariyoshi Yamai},
  title = {A Client Based DNSSEC Validation Mechanism with Recursive DNS Server Separation},
  booktitle = {},
  year = 2018,
}

@inproceedings{CTT100775577,
  author = {Yong Jin and Kunitaka Kakoi and Nariyoshi Yamai and Naoya Kitagawa and Masahiko Tomoishi},
  title = {A Client based Anomaly Traffic Detection and Blocking Mechanism by Monitoring DNS Name Resolution With User Alerting Feature},
  booktitle = {},
  year = 2018,
}

@inproceedings{CTT100772373,
  author = {Masahiro Ishii and Kento Mori and Satoshi Matsuura and Yong Jin and Yoshiaki Kitaguchi and MASAHIKO TOMOISHI},
  title = {東工大CERTにおけるインシデント対応の分析とその自動化に関する考察},
  booktitle = {研究報告インターネットと運用技術（IOT）},
  year = 2018,
}

@inproceedings{CTT100773938,
  author = {Y. Jin and M. Tomoishi and S. Matsuura},
  title = {An In-depth Concealed File System with GPS Authentication Adaptable for Multiple Locations},
  booktitle = {},
  year = 2018,
}

@inproceedings{CTT100775576,
  author = {栫 邦雄 and 山井 成良 and Yong Jin and 北川 直哉 and MASAHIKO TOMOISHI},
  title = {出口対策としてのDNS問合せに基づく端末用不審アクセス検知・遮断システム},
  booktitle = {研究報告インターネットと運用技術（IOT）},
  year = 2018,
}

@inproceedings{CTT100773940,
  author = {Yong Jin and Masahiko Tomoishi and Satoshi Matsuura and Yoshiaki Kitaguchi},
  title = {A Secure Container-based Backup Mechanism to Survive Destructive Ransomware Attacks},
  booktitle = {Proc. of the 2018 Workshop on Computing, Networking and Communications (CNC2018)},
  year = 2018,
}

@inproceedings{CTT100773939,
  author = {Y. Jin and K. Kakoi and M. tomoishi and N. Yamai},
  title = {Efficient detction of suspicious DNS traffic by resolver separation per application program},
  booktitle = {},
  year = 2017,
}

@inproceedings{CTT100773810,
  author = {K. Kakoi and Y. Jin and N. Yamai and N. Kitagawa and M. Tomoishi},
  title = {Cache Function Activation on a Client Based DNSSEC Validation and Alert System by Multithreading},
  booktitle = {},
  year = 2017,
}

@inproceedings{CTT100773809,
  author = {Y. Jin and M. Tomoishi and N. Yamai},
  title = {A secure and Lightweight IoT Device Remote Monitoring and Control Mechanism Using DNS},
  booktitle = {},
  year = 2017,
}

@inproceedings{CTT100737462,
  author = {Shigeki Hagihara and Masahiko Tomoishi and Masaya Shimakawa and Naoki Yonezaki},
  title = {Combining Unification and Rewriting in Proofs for Modal Logics with First-order Undefinable Frames},
  booktitle = {Preproceedings of 5th International Conference on Computer Science, Electronics Technology and Automation (ICCSETA 2017)},
  year = 2017,
}

@inproceedings{CTT100737460,
  author = {Shigeki Hagihara and Yoshiharu Fushihara and Masaya Shimakawa and Masahiko Tomoishi and Naoki Yonezaki},
  title = {Web server access trend analysis based on the Poisson distribution},
  booktitle = {Preproceedings of 6th International Conference on Software and Computer Applications (ICSCA 2017)},
  year = 2017,
}

@inproceedings{CTT100748144,
  author = {Yong Jin and Masahiko Tomoishi and Nariyoshi  Yamai},
  title = {An advanced client based DNSSEC validation and preliminary evaluations toward realization},
  booktitle = {},
  year = 2016,
}

@inproceedings{CTT100748184,
  author = {森健人 and Satoshi Matsuura and Yong Jin and MASAHIKO TOMOISHI},
  title = {オンプレミスで実現する業務効率化のためのOSS基盤環境構築},
  booktitle = {},
  year = 2016,
}

@inproceedings{CTT100748145,
  author = {Y. Jin and M. Tomoishi and S. Matsuura},
  title = {Enhancement of VPN Authentication Using GPS Information with Geo-Privacy Protection},
  booktitle = {},
  year = 2016,
}

@inproceedings{CTT100748149,
  author = {K. Kakoi and Y. Jin and N. Yamai and N. Kitagawa and M. Tomoishi},
  title = {Design and Implementation of a Client Based DNSSEC Validation and Alert System},
  booktitle = {},
  year = 2016,
}

@inproceedings{CTT100748148,
  author = {Y. Jin and M. Tomoishi and S. Matsuura},
  title = {Design of a Concealed File System Adapted for Mobile Devices Based on GPS Information},
  booktitle = {},
  year = 2016,
}

@inproceedings{CTT100748186,
  author = {栫邦雄 and Yong Jin and 山井成良 and 北川直哉 and MASAHIKO TOMOISHI},
  title = {端末上で動作するDNSSEC検証及び警告システムの設計と実装},
  booktitle = {},
  year = 2016,
}

@inproceedings{CTT100748187,
  author = {Satoshi Matsuura and 森健人 and Yong Jin and MASAHIKO TOMOISHI},
  title = {拡張性を考慮した小規模仮想化基盤の構築},
  booktitle = {},
  year = 2016,
}

@inproceedings{CTT100715065,
  author = {Yong Jin and Masahiko Tomoishi},
  title = {Web server performance enhancement by suppressing network traffic for high performance client},
  booktitle = {2015 17th Asia-Pacific Network Operations and Management Symposium (APNOMS)},
  year = 2015,
}

@inproceedings{CTT100684803,
  author = {Yoshiharu Fushihara and Shigeki Hagihara and Masahiko Tomoishi and Naoki Yonezaki},
  title = {A new approach to analysis of access tendency of web server using Poisson distribution},
  booktitle = {Proceedings of the 15th Philippine Computing Science Congress},
  year = 2015,
}

@inproceedings{CTT100667994,
  author = {Shigeki Hagihara and Masahiko Tomoishi and Naoki Yonezaki},
  title = {On Constructing Unification-based Proof Methods for Modal Logics with First-order Undefinable Frames},
  booktitle = {Proceedings of the 14th Philippine Computing Science Congress},
  year = 2014,
}

@inproceedings{CTT100632688,
  author = {Shinichiro Takizawa and SATOSHI MATSUOKA and MASAHIKO TOMOISHI and Hitoshi Sato and Manabu Higashida},
  title = {An E-Science Distributed Environment Composed by Federated Point-of-Presences},
  booktitle = {},
  year = 2011,
}

@inproceedings{CTT100617237,
  author = {Shin'ichiro Takizawa and Satoshi Matsuoka and Hitoshi Sato and Manabu Higashida and Masahiko Tomoishi},
  title = {Resource Federation for e-science by a Point-of-Presence},
  booktitle = {広帯域ネットワーク利用に関するワークショップ (ADVNET2010)予稿集},
  year = 2010,
}

@inproceedings{CTT100617235,
  author = {Shin'ichiro Takizawa and Satoshi Matsuoka and Hitoshi Sato and Manabu Higashida and Masahiko Tomoishi and Hideyuki Jitsumoto},
  title = {POP(Point-of-Presence) Linkage between Computer Centers as an E-Science Infrastructure},
  booktitle = {並列/分散/協調処理に関するサマー・ワークショップ(SWoPP2010) 予稿集},
  year = 2010,
}

@inproceedings{CTT100604029,
  author = {Masahiko Tomoishi and Kenji Masui and KATSUYOSHI IIDA},
  title = {仮想ネットワーク技術を用いたキャンパスネットワークの設計と構築},
  booktitle = {電子情報通信学会・技術研究報告},
  year = 2010,
}

@inproceedings{CTT100560706,
  author = {MASAHIKO TOMOISHI and Shin-ichi Yoshida and Toshiya Itoh},
  title = {無線LAN におけるセキュリティ技術の動向},
  booktitle = {電子情報通信学会技術研究報告[技術と社会・倫理]},
  year = 2008,
}

@inproceedings{CTT100459952,
  author = {Kenji Masui and Masahiko Tomoishi and Naoki Yonezaki},
  title = {Design of unix system for the prevention of damage propagation by  intrusion and its implementation based on 4.4BSD},
  booktitle = {Information Security Conference 2001},
  year = 2001,
}

@inproceedings{CTT100459957,
  author = {増井健司 and MASAHIKO TOMOISHI and NAOKI YONEZAKI},
  title = {送受信メッセージのパターン解析によるhttpアクセス制御},
  booktitle = {日本ソフトウェア科学会第18回大会},
  year = 2001,
}

@inproceedings{CTT100459958,
  author = {増井健司 and MASAHIKO TOMOISHI and NAOKI YONEZAKI},
  title = {送受信内容の相関を利用したhttpアクセス制御のためのプロキシ},
  booktitle = {マルチメディア、分散、協調とモバイル(DICOMO2001)シンポジウム},
  year = 2001,
}

@inproceedings{CTT100459956,
  author = {増井健司 and MASAHIKO TOMOISHI and NAOKI YONEZAKI},
  title = {パスワードクラック防止のためのunixのパスワードシステムの改善},
  booktitle = {情報処理学会第62回全国大会論文集(CD-ROM)},
  year = 2001,
}

@inproceedings{CTT100445349,
  author = {増井健司 and MASAHIKO TOMOISHI and NAOKI YONEZAKI},
  title = {リレーサーバを用いたpop before smtpのセキュアな実現法とその解析},
  booktitle = {日本ソフトウェア科学会第17回大会講演論文集},
  year = 2000,
}

@inproceedings{CTT100432284,
  author = {MASAHIKO TOMOISHI and NAOKI YONEZAKI},
  title = {合成可能なタブロによる仕様の差分的無矛盾修正について},
  booktitle = {数理解析研究所講究録},
  year = 1999,
}

@inproceedings{CTT100432286,
  author = {増井健司 and MASAHIKO TOMOISHI and NAOKI YONEZAKI},
  title = {UNIXシステムにおけるroot権限の階層化},
  booktitle = {日本ソフトウェア科学会第16回大会論文集},
  year = 1999,
}

@inproceedings{CTT100432289,
  author = {MASAHIKO TOMOISHI and NAOKI YONEZAKI},
  title = {段階的充足不能なリアクティブシステムの原因について},
  booktitle = {日本ソフトウェア科学会第16回大会論文集},
  year = 1999,
}

@inproceedings{CTT100548451,
  author = {Shigeki Hagihara and MASAHIKO TOMOISHI and NAOKI YONEZAKI},
  title = {有礎構造を意味論にもつ様相論理の分解証明法},
  booktitle = {日本ソフトウェア科学会第15回大会論文集},
  year = 1998,
}

@inproceedings{CTT100548453,
  author = {MASAHIKO TOMOISHI and Shigeki Hagihara and NAOKI YONEZAKI},
  title = {初等的でないフレームを持つ様相論理の統一化による証明法},
  booktitle = {情報処理学会第55回全国大会講演論文集},
  year = 1997,
}

@inproceedings{CTT100633892,
  author = {MASAHIKO TOMOISHI and NAOKI YONEZAKI},
  title = {動作仕様の差分的無矛盾性判定},
  booktitle = {日本ソフトウェア科学会第9回大会論文集},
  year = 1993,
}

@inproceedings{CTT100633891,
  author = {MASAHIKO TOMOISHI and NAOKI YONEZAKI},
  title = {時相オペレータの統一化を用いる時相論理証明法},
  booktitle = {日本ソフトウェア科学会第9回大会論文集},
  year = 1992,
}

@inproceedings{CTT100633896,
  author = {NAOKI YONEZAKI and MASAHIKO TOMOISHI},
  title = {順序関係を記述する論理の完全性の研究},
  booktitle = {人工知能学会研究会資料 SIG-FAI-8901-4},
  year = 1989,
}

@misc{CTT100595759,
  author = {MASAHIKO TOMOISHI},
  title = {時相論理分解証明法の完全性},
  year = 1994,
}



@mastersthesis{CTT100595759,
  author = {MASAHIKO TOMOISHI},
  title = {時相論理分解証明法の完全性},
  school = {},
  year = 1994,
}