Yuichi Goto

Publication Activity (10 Years)

Years Active: 2004-2022
Publications (10 Years): 22

Top Topics

Cryptographic Protocols

Information Security

Nonmonotonic Reasoning

Top Venues

SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI

IEICE Trans. Inf. Syst.

Publications

Sameera Basit, Yuichi Goto
An Extension of Reciprocal Logic for Trust Reasoning: A Case Study in PKI. ACIIDS (1) (2022)
Yuichi Goto, Rikiya Tsuchihashi
What content of user reviews is considered "helpful"? IIAI-AAI (2022)
Yating Wang, Yuichi Goto
An Extension of Formal Analysis Method with Reasoning for Anonymity. ACIIDS (2) (2020)
Sameera Basit, Yuichi Goto
An Extension of Reciprocal Logics for Trust Reasoning. ACIIDS (2) (2020)
Yuan Zhou, Yuichi Goto, Jingde Cheng
QSL: A Specification Language for E-Questionnaire, E-Testing, and E-Voting Systems. IEICE Trans. Inf. Syst. (11) (2019)
Da Bao, Yuichi Goto, Jingde Cheng
A Supporting Tool for IT System Security Specification Evaluation Based on ISO/IEC 15408 and ISO/IEC 18045. PAKDD (Workshops) (2019)
Jingchen Yan, Yating Wang, Yuichi Goto, Jingde Cheng
An Extension of Formal Analysis Method with Reasoning: A Case Study of Flaw Detection for Non-repudiation and Fairness. C2SI (2019)
Yuan Zhou, Daisuke Matsuura, Yuichi Goto, Jingde Cheng
Evaluation about the Descriptive Power of QSL: A Specification Language for E-Questionnaire, E-Testing, and E-Voting Systems. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI (2018)
Yohei Kamata, Yuichi Goto
Improvement of Data Portability of ENQUETE-BAISE: A General-Purpose E-Questionnaire Server for Ubiquitous Questionnaire. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI (2018)
Yuichi Goto, Takuya Ito
An Epistemic Programming Approach for Automated Nonmonotonic Reasoning Based on Default Logic. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI (2018)
Takumi Otsuka, Kentaro Fukushi, Yuichi Goto, Jingde Cheng
FreeEnCal Web: A Web Service of Automated Forward Reasoning for General-Purpose. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI (2018)
Da Bao, Wen Sun, Yuichi Goto, Jingde Cheng
Development of Supporting Environment for IT System Security Evaluation Based on ISO/IEC 15408 and ISO/IEC 18045. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI (2018)
Sho Ishibashi, Jingchen Yan, Yuichi Goto, Jingde Cheng
Primitive Constituent Elements of Cryptographic Protocols. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI (2018)
Hiromu Hiidome, Yuichi Goto, Jingde Cheng
A Memory-Efficient Algorithm with Level-Order Unary Degree Sequence for Forward Reasoning Engines. ACIIDS (1) (2018)
Jingchen Yan, Sho Ishibashi, Yuichi Goto, Jingde Cheng
A Study on Fine-Grained Security Properties of Cryptographic Protocols for Formal Analysis Method with Reasoning. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI (2018)
Tomoya Yamazaki, Atomu Sakuma, Yuichi Goto
An Implementation of Theory Grid with Linked Data Technologies. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI (2018)
Yuichi Goto, Hongbiao Gao, Jingde Cheng
A Predicate Suggestion Algorithm for Automated Theorem Finding with Forward Reasoning. ACIIDS (2) (2017)
Yuta Ikezawa, Hiroshi Fujimoto, Daisuke Kawano, Yuichi Goto, Misaki Tsuchimoto
Bench test of minimum time autonomous driving for electric vehicle based on optimization of velocity profile considering energy constraint. IECON (2015)
Hongbiao Gao, Yuichi Goto, Jingde Cheng
A Set of Metrics for Measuring Interestingness of Theorems in Automated Theorem Finding by Forward Reasoning: A Case Study in NBG Set Theory. IScIDE (2) (2015)
Hideki Yoshida, Hiroshi Fujimoto, Daisuke Kawano, Yuichi Goto, Misaki Tsuchimoto
Range extension autonomous driving for electric vehicles based on optimal velocity trajectory and driving braking force distribution considering road gradient information. IECON (2015)
Hongbiao Gao, Yuichi Goto, Jingde Cheng
Explicitly Epistemic Contraction by Predicate Abstraction in Automated Theorem Finding: A Case Study in NBG Set Theory. ACIIDS (1) (2015)
Shunsuke Nanaumi, Kazunori Wagatsuma, Hongbiao Gao, Yuichi Goto, Jingde Cheng
A Bidirectional Transformation Supporting Tool for Formalization with Logical Formulas. ACIIDS (1) (2015)
Hongbiao Gao, Yuichi Goto, Jingde Cheng
A systematic methodology for automated theorem finding. Theor. Comput. Sci. 554 (2014)
Yuichi Goto, Liqing Xu, Ning Zhang, Jingde Cheng
User Management in Information Security Engineering Environment ISEE. PAISI (2014)
Liqing Xu, Yuichi Goto, Ahmad Iqbal Hakim Suhaimi, Ning Zhang, Jingde Cheng
Active and Personalized Services in an Information Security Engineering Cloud Based on ISO/IEC 15408. PAISI (2014)
Ahmad Iqbal Hakim Suhaimi, Yuichi Goto, Jingde Cheng
An Information Security Management Database System (ISMDS) for Engineering Environment Supporting Organizations with ISMSs. IEICE Trans. Inf. Syst. (6) (2014)
Hongbiao Gao, Yuichi Goto, Jingde Cheng
Automated Theorem Finding by Forward Deduction Based on the Semi-lattice Model of Formal Theory: A Case Study in NBG Set Theory. SKG (2013)
Shunsuke Nanaumi, Kazunori Wagatsuma, Yuichi Goto, Jingde Cheng
Development of a supporting tool for translation between declarative sentences and logical formulas. ICMLC (2013)
Ning Zhang, Ahmad Iqbal Hakim Suhaimi, Yuichi Goto, Jingde Cheng
An Analysis of Software Supportable Tasks Related with ISO/IEC 15408. CIS (2013)
Hongbiao Gao, Kai Shi, Yuichi Goto, Jingde Cheng
Finding Theorems in NBG Set Theory by Automated Forward Deduction Based on Strong Relevant Logic. COCOON (2013)
Kai Shi, Yuichi Goto, Zhiliang Zhu, Jingde Cheng
Anticipatory Emergency Elevator Evacuation Systems. ACIIDS (1) (2013)
Kai Shi, Yuichi Goto, Zhiliang Zhu, Jingde Cheng
Anticipatory Runway Incursion Prevention Systems. IEICE Trans. Inf. Syst. (11) (2013)
Hongbiao Gao, Kai Shi, Yuichi Goto, Jingde Cheng
Automated theorem finding by forward deduction based on strong relevant logic: A case study in NBG set theory. ICMLC (2012)
Yuichi Goto, Hongbiao Gao, Takahiro Tsuji, Jingde Cheng
Practical usage of freeencal: An automated forward reasoning engine for general-purpose. ICMLC (2012)
Kazunori Wagatsuma, Yuichi Goto, Jingde Cheng
Formal analysis of cryptographic protocols by reasoning based on deontic relevant logic: A case study in Needham-Schroeder Shared-Key protocol. ICMLC (2012)
Yuichi Goto, Jingde Cheng
A Truth Maintenance System for Epistemic Programming Environment. SKG (2012)
Wencheng Fang, Isao Takahashi, Yuichi Goto, Jingde Cheng
Practical implementation of EPLAS: An Epistemic Programming Language for all scientists. ICMLC (2011)
Yuichi Goto, Jingde Cheng
Information Assurance, Privacy, and Security in Ubiquitous Questionnaire. FCST (2009)
Jingde Cheng, Yuichi Goto, Daisuke Horie
ISEE: An Information Security Engineering Environment. SECRYPT (2009)
Ahmad Iqbal, Daisuke Horie, Yuichi Goto, Jingde Cheng
A Database System for Effective Utilization of ISO/IEC 27002. FCST (2009)
Jingde Cheng, Yuichi Goto, Daisuke Horie, Junichi Miura, Toshio Kasahara, Ahmad Iqbal
Development of ISEE: An Information Security Engineering Environment. ISPA (2009)
Natsumi Kitajima, Yuichi Goto, Jingde Cheng
Development of a Decision-Maker in an Anticipatory Reasoning-Reacting System for Terminal Radar Control. HAIS (2009)
Kenichi Yajima, Shoichi Morimoto, Daisuke Horie, Noor Sheila Azreen, Yuichi Goto, Jingde Cheng
FORVEST: A Support Tool for Formal Verification of Security Specifications with ISO/IEC 15408. ARES (2009)
Daisuke Horie, Toshio Kasahara, Yuichi Goto, Jingde Cheng
A New Model of Software Life Cycle Processes for Consistent Design, Development, Management, and Maintenance of Secure Information Systems. ACIS-ICIS (2009)
Youcheng Chen, Mohammad Reza Selim, Yuichi Goto, Jingde Cheng
An Improvement of REM: A Replication Oriented Event-Based Middleware. ARES (2009)
Yuichi Goto, Takahiro Koh, Jingde Cheng
A General Forward Reasoning Algorithm for Various Logic Systems with Different Formalizations. KES (2) (2008)
Natsumi Kitajima, Yuichi Goto, Jingde Cheng
Fast Qualitative Reasoning about Actions for Computing Anticipatory Systems. ARES (2008)
Daisuke Horie, Shoichi Morimoto, Noor Azimah, Yuichi Goto, Jingde Cheng
ISEDS: An Information Security Engineering Database System Based on ISO Standards. ARES (2008)
Shoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, Jingde Cheng
Classification, Formalization and Verification of Security Functional Requirements. SOFSEM (2008)
Takahiro Koh, Yuichi Goto, Jingde Cheng
A Fast Duplication Checking Algorithm for Forward Reasoning Engines. KES (2) (2008)
Mohammad Reza Selim, Yuichi Goto, Jingde Cheng
Ensuring Reliability and Availability of Soft System Bus. SSIRI (2008)
Isao Takahashi, Shinsuke Nara, Yuichi Goto, Jingde Cheng
EPLAS: An Epistemic Programming Language for All Scientists. International Conference on Computational Science (1) (2007)
Mohammad Reza Selim, Takumi Endo, Yuichi Goto, Jingde Cheng
Distributed hash table based design of Soft System Buses. Infoscale (2007)
Takumi Endo, Yuichi Goto, Jingde Cheng
Measuring Reactability of Persistent Computing Systems. SC@ETAPS (2007)
Mohammad Reza Selim, Yuichi Goto, Jingde Cheng
A replication oriented approach to event based middleware over structured peer to peer networks. MPAC (2007)
K. H. S. Sabaragamu Koralalage, Mohammad Reza Selim, Junichi Miura, Yuichi Goto, Jingde Cheng
POP method: an approach to enhance the security and privacy of RFID systems used in product lifecycle with an anonymous ownership transferring mechanism. SAC (2007)
Jingde Cheng, Yuichi Goto, Masato Koide, Keigo Nagahama, Masami Someya, Yusuke Utsumi, Ayaka Shionoiri
ENQUETE-BAISE: A General-Purpose E-Questionnaire Server for Ubiquitous Questionnaire. APSCC (2007)
Jingde Cheng, Yuichi Goto, Shinsuke Nara, Takahiro Koh
A Cooperative Grid Computing Approach to Automated Theorem Finding and Automated Problem Proposing. KES (2) (2007)
Shoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, Jingde Cheng
Formal verification of security specifications with common criteria. SAC (2007)
Yuichi Goto, Jingde Cheng
A Quantitative Analysis of Implicational Paradoxes in Classical Mathematical Logic. Electron. Notes Theor. Comput. Sci. 169 (2007)
Jingde Cheng, Shinsuke Nara, Yuichi Goto
FreeEnCal: A Forward Reasoning Engine with General-Purpose. KES (2) (2007)
Kazuhiko Miki, David Boerstler, Eskinder Hailu, Jieming Qi, Sarah Pettengill, Yuichi Goto
A new test and characterization scheme for 10+ GHz low jitter wide band PLL. ASP-DAC (2006)
Shoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, Jingde Cheng
A security specification verification technique based on the international standard ISO/IEC 15408. SAC (2006)
Jingde Cheng, Shinsuke Nara, Takahiro Koh, Yuichi Goto
The Theory Grid and Grid Theorists. SKG (2006)
Yuichi Goto, Jingde Cheng
A quantitative analysis of implicational paradoxes in classical mathematical logic. SAC (2006)
Mohammad Reza Selim, Takumi Endo, Yuichi Goto, Jingde Cheng
A Comparative Study Between Soft System Bus and Traditional Middlewares. OTM Workshops (2) (2006)
Shinsuke Nara, Takashi Omi, Yuichi Goto, Jingde Cheng
A General-Purpose Forward Deduction Engine for Modal Logics. KES (2) (2005)
Takumi Endo, Junichi Miura, Koichi Nanashima, Shoichi Morimoto, Yuichi Goto, Jingde Cheng
Security in Persistently Reactive Systems. EUC Workshops (2005)
Jingde Cheng, Yuichi Goto
Representing and Reasoning About Spatial Knowledge Based on Spatial Relevant Logic. ER (Workshops) (2004)