Improvement of Multi-label kNN Classifier with Self-adjusting Memory Using a Punitive Model for Drifting Data Streams Thinzar Tun; Yuichi Goto
Lecture Notes in Computer Science,
巻：15432,
開始ページ：283,
終了ページ：297, 2025年02月,
［査読有り］,
［最終著者］英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1007/978-981-96-0695-5_23DOI ID：10.1007/978-981-96-0695-5_23,
ORCID：178393991 Improvement of a Forward Reasoning Engine FreeEnCal for Trust Reasoning Yuichi Goto; Yasuaki Taga
Communications in Computer and Information Science,
巻：2144,
開始ページ：250,
終了ページ：261, 2024年08月,
［査読有り］,
［筆頭著者, 責任著者］英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1007/978-981-97-5937-8_21DOI ID：10.1007/978-981-97-5937-8_21,
ORCID：165329780 A Belief Revision Mechanism with Trust Reasoning based on Extended Reciprocal Logic for Multi-Agent Systems Sameera Basit; Yuichi Goto
Computer Networks & Communications,
巻：13,
号：4,
開始ページ：161,
終了ページ：173, 2023年02月,
［査読有り］,
［責任著者］When an agent receives messages from other agents, it does belief revision. A belief revision includes, i) a trust reasoning process, i.e., it obtains new belief related to the messages, and deduces implicitly unknown beliefs from the obtained belief; ii) in the case of contradiction in the belief set, it resolves the contradiction. So, trust reasoning, and belief revision must be included in the decision-making process of an intelligent agent in multi-agent systems. Although a belief revision mechanism with trust reasoning is demanded to construct multi-agent systems, there is no such belief revision mechanism. We, therefore, present a belief revision mechanism with trust reasoning based on extended reciprocal logic for multi-agent systems.
Academy and Industry Research Collaboration Center (AIRCC), 英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.5121/csit.2023.130413DOI ID：10.5121/csit.2023.130413 An Extension of Formal Analysis Method with Reasoning for Anonymity Yating Wang; Yuichi Goto
Lecture Notes in Computer Science,
巻：12034,
開始ページ：53,
終了ページ：64, 2020年03月,
［査読有り］,
［最終著者］Springer, 英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1007/978-3-030-42058-1_5DOI ID：10.1007/978-3-030-42058-1_5,
ISSN：1611-3349,
SCOPUS ID：85082401801 An Extension of Reciprocal Logics for Trust Reasoning Sameera Basit; Yuichi Goto
Lecture Notes in Artificial Intelligence,
巻：12034,
開始ページ：65,
終了ページ：75, 2020年03月,
［査読有り］,
［最終著者］Springer, 英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1007/978-3-030-42058-1_6DOI ID：10.1007/978-3-030-42058-1_6,
ISSN：1611-3349,
SCOPUS ID：85082389313 QSL: A Specification Language for E-Questionnaire, E-Testing, and E-Voting SystemsYuan Zhou; Yuichi Goto; Jingde Cheng
IEICE Transactions on Information and Systems,
巻：E102-D,
号：11,
開始ページ：2159,
終了ページ：2175, 2019年11月,
［査読有り］,
［国際誌］IEICE, 英語, 研究論文（学術雑誌）
DOI：https://doi.org/10.1587/transinf.2018EDP7333DOI ID：10.1587/transinf.2018EDP7333 A Supporting Tool for IT System Security Specification Evaluation Based on ISO/IEC 15408 and ISO/IEC 18045Da Bao; Yuichi Goto; Jingde Cheng
Lecture Notes in Computer Science,
巻：11607,
開始ページ：3,
終了ページ：14, 2019年09月,
［査読有り］In evaluation and certification framework based on ISO/IEC 15408 and ISO/IEC 18045, a Security Target, which contains the specifications of all security functions of the target system, is the most important document. Evaluation on Security Targets must be performed as the first step of the whole evaluation process. However, evaluation on Security Targets based on ISO/IEC 15408 and ISO/IEC 18045 is very complex. Evaluation process involves of many tasks and costs lots of time when evaluation works are performed by human. Besides, it is also difficult to ensure that evaluation is fair and no subjective mistakes. These issues not only may result in consuming a lot of time, but also may affect the correctness, accuracy, and fairness of evaluation results. Thus, it is necessary to provide a supporting tools that supports all tasks related to the evaluation process automatically to improve the quality of evaluation results at the same time reduce the complexity of all evaluator and certifiers’ work. However, there is no such supporting tool existing until now. This paper proposes a supporting tool, called Security Target Evaluator, that provides comprehensive facilities to support the whole process of evaluation on Security Targets based on ISO/IEC 15408 and ISO/IEC 18045.
英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1007/978-3-030-26142-9_1DOI ID：10.1007/978-3-030-26142-9_1 Improvement of QSL by Ontologies of E-Questionnaire, E-Testing, and E-Voting Systems Yuan Zhou; Yuichi Goto; Jingde Cheng
Lecture Notes in Electrical Engineering,
巻：590,
開始ページ：257,
終了ページ：264, 2019年08月,
［査読有り］QSL is the first specification language for specifying various e-questionnaire, e-testing, and e-voting systems. Although the terminologies among systems and services of e-questionnaire, e-testing, and e-voting are different, QSL has explicitly summed up three kinds of terminologies into one, so that causes QSL has poor usability. The ontologies to summarize the terminologies in e-questionnaire, e-testing, and e-voting systems, to find out the corresponding relations with terminology of QSL, and to clarify the relations of e-questionnaire, e-testing, and e-voting systems can improve usability of QSL, so that the stakeholders can communicate and write requirement specifications easily. However, there is no ontology of e-questionnaire, e-testing, and e-voting systems. This paper proposes the ontologies for e-questionnaire, e-testing, and e-voting systems. Based on the ontologies, we present the improvement of QSL, so that stakeholders can use arbitrary specific terminologies to specify the requirement specifications for other kinds of systems and services.
英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1007/978-981-32-9244-4_36DOI ID：10.1007/978-981-32-9244-4_36 An Extension of Formal Analysis Method with Reasoning: A Case Study of Flaw Detection for Non-repudiation and FairnessJingchen Yan; Yating Wang; Yuichi Goto; Jingde Cheng
Lecture Notes in Computer Science,
巻：11445,
開始ページ：399,
終了ページ：408, 2019年04月,
［査読有り］Formal analysis is used to find out flaws of cryptographic protocols. A formal analysis method with reasoning for cryptographic protocols has been proposed. In the method, behaviors of participants and behaviors of an intruder are used as premises of forward reasoning to deduce formulas, then analysts check whether the deduced formulas are related to flaws. However, the method only can detect the flaws related to confidentiality and authentication but is unable to detect the flaws related to non-repudiation and fairness. This paper proposes an extension of the formal analysis method with reasoning, which can deal with the flaws related to non-repudiation and fairness. This paper also shows a case study of flaw detection for non-repudiation and fairness in ISI protocol with the proposed method. The result shows that the proposed method is effective to find out flaws that related to the two security properties above.
英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1007/978-3-030-16458-4_23DOI ID：10.1007/978-3-030-16458-4_23 An Epistemic Programming Approach for Automated Nonmonotonic Reasoning based on Default LogicYuichi Goto; Takuya Ito
Proceedings of 2018 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computing, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovations,
開始ページ：222,
終了ページ：227, 2018年10月,
［査読有り］Epistemic programming was proposed as a novel program paradigm to program epistemic processes in scientific discovery, which regards conditionals as the subject of computing, takes primary epistemic operations as basic operations of computing, and regards epistemic processes as the subject of programming. On the other hand, any scientific discovery process may include nonmonotonic reasoning process because knowledge of any scientist is incomplete. However, there is no study about nonmonotonic reasoning under the epistemic programming paradigm. This paper presents an epistemic programming approach for automated nonmonotonic reasoning based on default logic as the first step to achieve automated nonmonotonic reasoning under epistemic programming paradigm.
英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1109/SmartWorld.2018.00073DOI ID：10.1109/SmartWorld.2018.00073 A Study on Fine-Grained Security Properties of Cryptographic Protocols for Formal Analysis Method with ReasoningJingchen Yan; Sho Ishibashi; Yuichi Goto; Jingde Cheng
Proceedings of 2018 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computing, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovations,
開始ページ：210,
終了ページ：215, 2018年10月,
［査読有り］Formal analysis is used to find out flaws of cryptographic protocols. A formal analysis method with reasoning for cryptographic protocols has been proposed. In the method, forward reasoning is used to deduce flaws or situations related to flaws from formalized specifications of cryptographic protocols. Analysts of cryptographic protocols pick up deduced results related to flaws from results of forward reasoning according to some criteria. However, there is no study about the criteria for what are flaws that can be applied to various cryptographic protocols. This paper presents fine-grained security properties that cryptographic protocols should satisfy in order to clarify the criteria. The paper shows the enumerated security properties are correct and valid through analyzing some cryptographic protocols.
英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1109/SmartWorld.2018.00071DOI ID：10.1109/SmartWorld.2018.00071 Development of Supporting Environment for IT System Security Evaluation Based on ISO/IEC 15408 and ISO/IEC 18045Da Bao; Wen Sun; Yuichi Goto; Jingde Cheng
Proceedings of 2018 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computing, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovations,
開始ページ：204,
終了ページ：209, 2018年10月,
［査読有り］ISO/IEC 15408 and ISO/IEC 18045 are a pair of international competitive standards for security evaluation and certification of IT systems. Evaluation based on ISO/IEC 15408 and ISO/IEC 18045 is a very complex process that involves tens of documents and tasks. Performing the tasks in evaluation process by human costs a lot of time and it is also difficult to ensure impartial and no subjective mistakes. These issues not only result in consuming a lot of time, but also affect the fairness, correctness and accuracy of evaluation results. A supporting environment was proposed to provide necessary software tools to supports all tasks in the evaluation process automatically to ensure the quality of evaluation resultsat the same time reduce the complexity of all evaluator and certifiers' work. To provide full facilities of the supporting environment, we must clarify every task in the evaluation process and provide appropriate methods for developing supporting tools. This paper deeply analyzes all of the software supportable tasks in the evaluation process and clarifies all detail targets for each task. And then we also provide corresponding methods to support these tasks. This paper also shows a set of developed supporting tools that can perform the evaluation tasks in an organized way.
英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1109/SmartWorld.2018.00070DOI ID：10.1109/SmartWorld.2018.00070 Evaluation about the Descriptive Power of QSL: A Specification Language for E-Questionnaire, E-Testing, and E-Voting SystemsYuan Zhou; Daisuke Matsuura; Yuichi Goto; Jingde Cheng
Proceedings of 2018 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computing, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovations,
開始ページ：198,
終了ページ：203, 2018年10月,
［査読有り］QSL is proposed as the first specification language to provide standardized, consistent, and exhaustive specifications for specifying various e-questionnaire, e-testing, and e-voting systems. However, it has not been ascertained whether QSL has enough descriptive power, i.e., whether QSL is enough to specify various e-questionnaire, e-testing, and e-voting systems. This paper presents the evaluation about the descriptive power of QSL manifesting in specifying various e-questionnaire, e-testing, and e-voting systems. As the results, this paper shows that QSL can be used to specify various e-questionnaire, e-testing, and e-voting, as well as the data and the corresponding systems. In addition, QSL is a better tool because the descriptive power of QSL can cover e-questionnaire, e-testing, e-voting, and the corresponding systems.
英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1109/SmartWorld.2018.00069DOI ID：10.1109/SmartWorld.2018.00069 Primitive Constituent Elements of Cryptographic ProtocolsSho Ishibashi; Jingchen Yan; Yuichi Goto; Jingde Cheng
Proceedings of 2018 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computing, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovations,
開始ページ：192,
終了ページ：197, 2018年10月,
［査読有り］Many cryptographic protocols have been proposed, and many studies of them have been done. However, there is no study to identify constituent elements of cryptographic protocols that are elements of the protocols consist of. The constituent elements can be used for the basis of classification of already proposed cryptographic protocols, the basis of prediction of new cryptographic protocols, and the basis of formal verification for cryptographic protocols. This paper presents primitive constituent element of cryptographic protocols that is an element so that cryptographic protocol cannot accomplish its original tasks without it.
英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1109/SmartWorld.2018.00068DOI ID：10.1109/SmartWorld.2018.00068 An Implementation of Theory Grid with Linked Data TechnologiesTomoya Yamazaki; Atomu Sakuma; Yuichi Goto
Proceedings of 2018 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computing, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovations,
開始ページ：186,
終了ページ：191, 2018年10月,
［査読有り］The problem of automated theorem finding (ATF problem) is proposed by Wos, and is still one of open problems in automated reasoning. To solve the ATF problem, an ATF method with forward reasoning based on strong relevant logics has been proposed and studied. Theory Grid was proposed as an infrastructure of the ATF method. Theory Grid is a grid computing environment that organizes and manages various formal theories based on various logical systems. Although a data model for the Theory Grid was proposed, there has been no study to construct the Theory Grid yet. This paper presents the first implementation of the Theory Grid. The implementation uses Linked Data technologies to flexibly associate obtained theorems with previously obtained theorems, and to connect a node of the Theory Grid with other nodes of that via Web. By using the Theory Grid, people can easily manage the results of attempts of ATF, and use previously obtained theorems to a next attempt of ATF.
英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1109/SmartWorld.2018.00067DOI ID：10.1109/SmartWorld.2018.00067 FreeEnCal Web: a Web Service of Automated Forward Reasoning for General-purposeTakumi Otsuka; Kentaro Fukushi; Yuichi Goto; Jingde Cheng
Proceedings of 2018 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computing, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovations,
開始ページ：180,
終了ページ：185, 2018年10月,
［査読有り］Forward reasoning engine is a computer program to automatically draw new conclusions by repeatedly applying inference rules to given premises and obtained conclusions until some previously specified conditions are satisfied. Although a forward reasoning engine is an indispensable component in various advanced knowledge-based systems with purposes of creation, discovery and prediction, any forward reasoning engine is essentially time-consuming and memory-consuming component. A forward reasoning engine for general purpose, named FreeEnCal, has been proposed and developed, and can be used as a core and fundamental component in the advanced knowledge-based systems. However, it is difficult for users of FreeEnCal to prepare a computational environment that FreeEnCal is running. To solve the problem, this paper presents a Web service for automated forward reasoning, named FreeEnCal Web. Users and programs can use FreeEnCal through Web browsers and Web API without installing FreeEnCal into own computers.
英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1109/SmartWorld.2018.00066DOI ID：10.1109/SmartWorld.2018.00066 Improvement of Data Portability of ENQUETE-BAISE: a General-Purpose E-Questionnaire Server for Ubiquitous QuestionnaireYohei Kamata; Yuichi Goto
Proceedings of 2018 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computing, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovations,
開始ページ：174,
終了ページ：179, 2018年10月,
［査読有り］Data portability is the ability for users to reuse their own data between interoperable applications, and is getting treated as an important characteristic of web and cloud services in recent years. Meanwhile, many e-questionnaires are performed on the Internet by some ways of web applications today. ENQUETE-BAISE, a general-purpose e-questionnaire server, is being developed as one of servers that runs e-questionnaires. This paper presents the improvement of data portability of ENQUETE-BAISE. At first, the paper gives the definition of data portability of e-questionnaire systems, and then shows improved ENQUETE-BAISE and the usage. The paper also proposes the advantages of improving the data portability of e-questionnaire systems and the problems caused by improving it.
英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1109/SmartWorld.2018.00065DOI ID：10.1109/SmartWorld.2018.00065 A Memory-Efficient Algorithm with Level-Order Unary Degree Sequence for Forward Reasoning EnginesHiromu Hiidome; Yuichi Goto; Jingde Cheng
Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science),
巻：10751,
開始ページ：59,
終了ページ：70, 2018年,
［査読有り］Springer International Publishing, 英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1007/978-3-319-75417-8_6DOI ID：10.1007/978-3-319-75417-8_6,
ISSN：1611-3349,
ORCID：42008666,
SCOPUS ID：85043538369 A Predicate Suggestion Algorithm for Automated Theorem Finding with Forward Reasoning Yuichi Goto; Hongbiao Gao; Jingde Cheng
INTELLIGENT INFORMATION AND DATABASE SYSTEMS (ACIIDS 2017), PT II,
巻：10192,
開始ページ：125,
終了ページ：134, 2017年,
［査読有り］英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1007/978-3-319-54430-4_13DOI ID：10.1007/978-3-319-54430-4_13,
ISSN：0302-9743,
ORCID：38326583,
SCOPUS ID：85018470490,
Web of Science ID：WOS:000401653300013 A Supporting Tool for Spiral Model of Cryptographic Protocol Design with Reasoning-Based Formal Analysis Kazunori Wagatsuma; Tsubasa Harada; Shogo Anze; Yuichi Goto; Jingde Cheng
ADVANCED MULTIMEDIA AND UBIQUITOUS ENGINEERING: FUTURE INFORMATION TECHNOLOGY, VOL 2,
巻：354,
開始ページ：25,
終了ページ：32, 2016年,
［査読有り］英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1007/978-3-662-47895-0_4DOI ID：10.1007/978-3-662-47895-0_4,
ISSN：1876-1100,
ORCID：38326582,
SCOPUS ID：84947237884,
Web of Science ID：WOS:000381756300004 Predicting new attacks for information securityDa Bao; Yuichi Goto; Jingde Cheng
Lecture Notes in Electrical Engineering,
巻：330,
開始ページ：1353,
終了ページ：1358, 2015年,
［査読有り］Springer Verlag, 英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1007/978-3-662-45402-2_188DOI ID：10.1007/978-3-662-45402-2_188,
ISSN：1876-1119,
ORCID：38326585,
SCOPUS ID：84915747262 Explicitly Epistemic Contraction by Predicate Abstraction in Automated Theorem Finding: A Case Study in NBG Set Theory Hongbiao Gao; Yuichi Goto; Jingde Cheng
Intelligent Information and Database Systems, Pt I,
巻：9011,
開始ページ：593,
終了ページ：602, 2015年,
［査読有り］英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1007/978-3-319-15702-3_57DOI ID：10.1007/978-3-319-15702-3_57,
ISSN：0302-9743,
ORCID：38326596,
SCOPUS ID：84925260368,
Web of Science ID：WOS:000389499200057 Development of a Bidirectional Transformation Supporting Tool for Formalization with Logical Formulas and Its Application Shunsuke Nanaumi; Kazunori Wagatsuma; Hongbiao Gao; Yuichi Goto; Jingde Cheng
Advanced Multimedia and Ubiquitous Engineering: Future Information Technology,
巻：352,
開始ページ：1,
終了ページ：6, 2015年,
［査読有り］英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1007/978-3-662-47487-7_1DOI ID：10.1007/978-3-662-47487-7_1,
ISSN：1876-1100,
ORCID：38326590,
SCOPUS ID：84937436367,
Web of Science ID：WOS:000380566900001 Development of ISMEE: An information security management engineering environmentAhmad Iqbal Hakim Suhaimi; Da Bao; Yuichi Goto; Jingde Cheng
Lecture Notes in Electrical Engineering,
巻：330,
開始ページ：1325,
終了ページ：1330, 2015年,
［査読有り］Springer Verlag, 英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1007/978-3-662-45402-2_184DOI ID：10.1007/978-3-662-45402-2_184,
ISSN：1876-1119,
ORCID：38326579,
SCOPUS ID：84915820190 Automated Theorem Finding by Forward Reasoning Based on Strong Relevant Logic: A Case Study in Graph Theory Hongbiao Gao; Yuichi Goto; Jingde Cheng
Advanced Multimedia and Ubiquitous Engineering: Future Information Technology,
巻：352,
開始ページ：23,
終了ページ：30, 2015年,
［査読有り］英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1007/978-3-662-47487-7_4DOI ID：10.1007/978-3-662-47487-7_4,
ISSN：1876-1100,
ORCID：38326587,
SCOPUS ID：84937424485,
Web of Science ID：WOS:000380566900004 An Extension of QSL for E-testing and Its Application in an Offline E-testing Environment Zhe Wang; Yuan Zhou; Bo Wang; Yuichi Goto; Jingde Cheng
Advanced Multimedia and Ubiquitous Engineering: Future Information Technology,
巻：352,
開始ページ：7,
終了ページ：14, 2015年,
［査読有り］英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1007/978-3-662-47487-7_2DOI ID：10.1007/978-3-662-47487-7_2,
ISSN：1876-1100,
ORCID：38326591,
SCOPUS ID：84937427178,
Web of Science ID：WOS:000380566900002 A Tasking Deadlock Detector for Ada 2012 Programs Bo Wang; Takeo Ekiba; Yuichi Goto; Jingde Cheng
Advanced Multimedia and Ubiquitous Engineering: Future Information Technology,
巻：352,
開始ページ：15,
終了ページ：22, 2015年,
［査読有り］英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1007/978-3-662-47487-7_3DOI ID：10.1007/978-3-662-47487-7_3,
ISSN：1876-1100,
ORCID：38326586,
SCOPUS ID：84937397638,
Web of Science ID：WOS:000380566900003 A supporting environment for IT system security evaluation based on ISO/IEC 15408 and ISO/IEC 18045Huilin Chen; Da Bao; Yuichi Goto; Jingde Cheng
Lecture Notes in Electrical Engineering,
巻：330,
開始ページ：1359,
終了ページ：1366, 2015年,
［査読有り］Springer Verlag, 英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1007/978-3-662-45402-2_189DOI ID：10.1007/978-3-662-45402-2_189,
ISSN：1876-1119,
ORCID：38326584,
SCOPUS ID：84915822474 A Set of Metrics for Measuring Interestingness of Theorems in Automated Theorem Finding by Forward Reasoning: A Case Study in NBG Set Theory Hongbiao Gao; Yuichi Goto; Jingde Cheng
INTELLIGENCE SCIENCE AND BIG DATA ENGINEERING: BIG DATA AND MACHINE LEARNING TECHNIQUES, ISCIDE 2015, PT II,
巻：9243,
開始ページ：508,
終了ページ：517, 2015年,
［査読有り］英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1007/978-3-319-23862-3_50DOI ID：10.1007/978-3-319-23862-3_50,
ISSN：0302-9743,
ORCID：38326588,
SCOPUS ID：84945957469,
Web of Science ID：WOS:000374477000050 A Bidirectional Transformation Supporting Tool for Formalization with Logical Formulas Shunsuke Nanaumi; Kazunori Wagatsuma; Hongbiao Gao; Yuichi Goto; Jingde Cheng
Intelligent Information and Database Systems, Pt I,
巻：9011,
開始ページ：634,
終了ページ：643, 2015年,
［査読有り］英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1007/978-3-319-15702-3_61DOI ID：10.1007/978-3-319-15702-3_61,
ISSN：0302-9743,
ORCID：38326592,
SCOPUS ID：84925274566,
Web of Science ID：WOS:000389499200061 Aspect-oriented reuse mechanism for security targets and protection profiles Yuichi Goto; Huilin Chen; Da Bao
Proceedings of the IEEE International Conference on Software Engineering and Service Sciences, ICSESS,
開始ページ：161,
終了ページ：164, 2014年10月,
［査読有り］IEEE Computer Society, 英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1109/ICSESS.2014.6933536DOI ID：10.1109/ICSESS.2014.6933536,
ISSN：2327-0594,
SCOPUS ID：84910042594 A systematic methodology for automated theorem finding Hongbiao Gao; Yuichi Goto; Jingde Cheng
THEORETICAL COMPUTER SCIENCE,
巻：554,
号：C,
開始ページ：2,
終了ページ：21, 2014年10月,
［査読有り］英語, 研究論文（学術雑誌）
DOI：https://doi.org/10.1016/j.tcs.2014.06.028DOI ID：10.1016/j.tcs.2014.06.028,
ISSN：0304-3975,
eISSN：1879-2294,
ORCID：38326594,
SCOPUS ID：84925246258,
Web of Science ID：WOS:000343639100002 An Information Security Management Database System (ISMDS) for Engineering Environment Supporting Organizations with ISMSs Ahmad Iqbal Hakim Suhaimi; Yuichi Goto; Jingde Cheng
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS,
巻：E97D,
号：6,
開始ページ：1516,
終了ページ：1527, 2014年06月,
［査読有り］英語, 研究論文（学術雑誌）
DOI：https://doi.org/10.1587/transinf.E97.D.1516DOI ID：10.1587/transinf.E97.D.1516,
ISSN：1745-1361,
ORCID：14254531,
SCOPUS ID：84901798149,
Web of Science ID：WOS:000342784300014 QSL: A Specification Language for E-questionnaire Systems
Yuan Zhou; Yuichi Goto; Jingde Cheng
2014 5TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND SERVICE SCIENCE (ICSESS), 開始ページ：224, 終了ページ：230, 2014年, ［査読有り］
英語, 研究論文（国際会議プロシーディングス）
Web of Science ID：WOS:000355926400049
User management in Information Security Engineering Environment ISEEYuichi Goto; Liqing Xu; Ning Zhang; Jingde Cheng
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),
巻：8440,
開始ページ：18,
終了ページ：34, 2014年,
［査読有り］Springer Verlag, 英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1007/978-3-319-06677-6_3DOI ID：10.1007/978-3-319-06677-6_3,
ISSN：1611-3349,
ORCID：14254530,
SCOPUS ID：84901684450 Strong relevant logic-based reasoning as an information mining method in big information eraYuichi Goto
Lecture Notes in Electrical Engineering,
巻：309,
開始ページ：9,
終了ページ：16, 2014年,
［査読有り］Springer Verlag, 英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1007/978-3-642-55038-6_2DOI ID：10.1007/978-3-642-55038-6_2,
ISSN：1876-1119,
ORCID：14254533,
SCOPUS ID：84902358528 Research on automated theorem finding: Current state and future directionsHongbiao Gao; Yuichi Goto; Jingde Cheng
Lecture Notes in Electrical Engineering,
巻：309,
開始ページ：105,
終了ページ：110, 2014年,
［査読有り］Springer Verlag, 英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1007/978-3-642-55038-6_16DOI ID：10.1007/978-3-642-55038-6_16,
ISSN：1876-1119,
ORCID：14254532,
SCOPUS ID：84902383982 Formalization for formal analysis of cryptographic protocols with reasoning approachKazunori Wagatsuma; Shogo Anze; Yuichi Goto; Jingde Cheng
Lecture Notes in Electrical Engineering,
巻：309,
開始ページ：211,
終了ページ：218, 2014年,
［査読有り］Springer Verlag, 英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1007/978-3-642-55038-6_32DOI ID：10.1007/978-3-642-55038-6_32,
ISSN：1876-1119,
ORCID：14254535,
SCOPUS ID：84902370160 An engineering environment based on ISO/IEC 27000 series standards for supporting organizations with ISMSsAhmad Iqbal Hakim Suhaimi; Yuichi Goto; Jingde Cheng
Lecture Notes in Electrical Engineering,
巻：309,
開始ページ：195,
終了ページ：201, 2014年,
［査読有り］Springer Verlag, 英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1007/978-3-642-55038-6_30DOI ID：10.1007/978-3-642-55038-6_30,
ISSN：1876-1119,
ORCID：14254534,
SCOPUS ID：84902367860 Active and personalized services in an information security engineering cloud based on ISO/IEC 15408Liqing Xu; Yuichi Goto; Ahmad Iqbal Hakim Suhaimi; Ning Zhang; Jingde Cheng
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),
巻：8440,
開始ページ：35,
終了ページ：48, 2014年,
［査読有り］Springer Verlag, 英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1007/978-3-319-06677-6_4DOI ID：10.1007/978-3-319-06677-6_4,
ISSN：1611-3349,
ORCID：14254536,
SCOPUS ID：84901684852 Anticipatory Runway Incursion Prevention Systems Kai Shi; Yuichi Goto; Zhiliang Zhu; Jingde Cheng
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS,
巻：E96D,
号：11,
開始ページ：2385,
終了ページ：2396, 2013年11月,
［査読有り］英語, 研究論文（学術雑誌）
DOI：https://doi.org/10.1587/transinf.E96.D.2385DOI ID：10.1587/transinf.E96.D.2385,
ISSN：0916-8532,
eISSN：1745-1361,
Web of Science ID：WOS:000327168600009 Supporting Verification and Validation of Security Targets with ISO/IEC 15408
Da Bao; Junichi Miura; Ning Zhang; Yuichi Goto; Jingde Cheng
PROCEEDINGS 2013 INTERNATIONAL CONFERENCE ON MECHATRONIC SCIENCES, ELECTRIC ENGINEERING AND COMPUTER (MEC), 開始ページ：2621, 終了ページ：2628, 2013年, ［査読有り］
英語, 研究論文（国際会議プロシーディングス）
Web of Science ID：WOS:000366663002019
Supporting Tools for Software Supportable Tasks Related with ISO/IEC 15408
Ning Zhang; Da Bao; Liqing Xu; A. I. H. Suhaimi; Junichi Miura; Yuichi Goto; Jingde Cheng
PROCEEDINGS 2013 INTERNATIONAL CONFERENCE ON MECHATRONIC SCIENCES, ELECTRIC ENGINEERING AND COMPUTER (MEC), 開始ページ：2002, 終了ページ：2006, 2013年, ［査読有り］
英語, 研究論文（国際会議プロシーディングス）
Web of Science ID：WOS:000366663001136
Making existing reactive systems anticipatoryKai Shi; Yuichi Goto; Zhiliang Zhu; Jingde Cheng
Studies in Computational Intelligence,
巻：493,
開始ページ：17,
終了ページ：32, 2013年,
［査読有り］Springer Verlag, 英語, 研究論文（学術雑誌）
DOI：https://doi.org/10.1007/978-3-319-00804-2_2DOI ID：10.1007/978-3-319-00804-2_2,
ISSN：1860-949X,
ORCID：10636970,
SCOPUS ID：84884990490 DEVELOPMENT OF A SUPPORTING TOOL FOR TRANSLATION BETWEEN DECLARATIVE SENTENCES AND LOGICAL FORMULAS Shunsuke Nanaumi; Kazunori Wagatsuma; Yuichi Goto; Jingde Cheng
PROCEEDINGS OF 2013 INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND CYBERNETICS (ICMLC), VOLS 1-4,
巻：3,
開始ページ：1179,
終了ページ：1184, 2013年,
［査読有り］英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1109/ICMLC.2013.6890769DOI ID：10.1109/ICMLC.2013.6890769,
ISSN：2160-133X,
ORCID：14254541,
SCOPUS ID：84907270680,
Web of Science ID：WOS:000366853800162 Automated theorem finding by forward deduction based on the semi-lattice model of formal theory: A case study in nbg set theoryHongbiao Gao; Yuichi Goto; Jingde Cheng
Proceedings - 2013 9th International Conference on Semantics, Knowledge and Grids, SKG 2013,
開始ページ：22,
終了ページ：29, 2013年,
［査読有り］IEEE Computer Society, 英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1109/SKG.2013.36DOI ID：10.1109/SKG.2013.36,
ORCID：14254542,
SCOPUS ID：84902162663 Anticipatory Emergency Elevator Evacuation Systems Kai Shi; Yuichi Goto; Zhiliang Zhu; Jingde Cheng
INTELLIGENT INFORMATION AND DATABASE SYSTEMS (ACIIDS 2013), PT I,,
巻：7802,
号：PART 1,
開始ページ：117,
終了ページ：126, 2013年,
［査読有り］英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1007/978-3-642-36546-1_13DOI ID：10.1007/978-3-642-36546-1_13,
ISSN：0302-9743,
ORCID：10636972,
Web of Science ID：WOS:000340589100013 An Analysis of Software Supportable Tasks Related with ISO/IEC 15408 Ning Zhang; Ahmad Iqbal Hakim Suhaimi; Yuichi Goto; Jingde Cheng
2013 9TH INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE AND SECURITY (CIS),
開始ページ：601,
終了ページ：606, 2013年,
［査読有り］英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1109/CIS.2013.132DOI ID：10.1109/CIS.2013.132,
ORCID：14254540,
SCOPUS ID：84900662221,
Web of Science ID：WOS:000351209000125 Continuous Functioning of Soft System Bus Based Centralized Persistent Computing Systems
Quazi Mahera Jabeen; Muhammad Anwarul Azim; Yuichi Goto; Jingde Cheng
International Journal of New Computer Architectures and their Applications, 巻：2, 号：2, 開始ページ：362, 終了ページ：381, 2012年04月, ［査読有り］
英語, 研究論文（学術雑誌）
A truth maintenance system for epistemic programming environment Yucihi Goto; Jingde Cheng
Proceedings - 2012 8th International Conference on Semantics, Knowledge and Grids, SKG 2012,
開始ページ：1,
終了ページ：8, 2012年,
［査読有り］,
［招待有り］英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1109/SKG.2012.14DOI ID：10.1109/SKG.2012.14,
SCOPUS ID：84872297135 Development of a general-purpose E-testing server for ubiquitous test Jumpei Suzuki; Yuichi Goto; Jingde Cheng
Advances in Intelligent and Soft Computing,
巻：162,
開始ページ：797,
終了ページ：803, 2012年,
［査読有り］英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1007/978-3-642-29455-6_107DOI ID：10.1007/978-3-642-29455-6_107,
ISSN：1867-5662,
SCOPUS ID：84866000883 Evolutionary personal information partners for students studying in universities Ryota Kuboniwa; Yuichi Goto; Jingde Cheng
Advances in Intelligent and Soft Computing,
巻：162,
開始ページ：789,
終了ページ：795, 2012年,
［査読有り］英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1007/978-3-642-29455-6_106DOI ID：10.1007/978-3-642-29455-6_106,
ISSN：1867-5662,
SCOPUS ID：84865980078 Internationalization of ENQUETE-BAISE: A general-purpose E-questionnaire server for ubiquitous questionnaire Jingzhou Wang; Yuichi Goto; Jingde Cheng
Advances in Intelligent and Soft Computing,
巻：162,
開始ページ：781,
終了ページ：787, 2012年,
［査読有り］英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1007/978-3-642-29455-6_105DOI ID：10.1007/978-3-642-29455-6_105,
ISSN：1867-5662,
SCOPUS ID：84865976098 ISEC: An information security engineering cloud Liqing Xu; Kai Shi; Yuichi Goto; Jingde Cheng
ICSESS 2012 - Proceedings of 2012 IEEE 3rd International Conference on Software Engineering and Service Science,
開始ページ：750,
終了ページ：753, 2012年,
［査読有り］英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1109/ICSESS.2012.6269575DOI ID：10.1109/ICSESS.2012.6269575,
SCOPUS ID：84866485274 A supporting tool for creating and maintaining security targets according to ISO/IEC 15408 Gefei Sun; Kenichi Yajima; Junichi Miura; Kai Shi; Yuichi Goto; Jingde Cheng
ICSESS 2012 - Proceedings of 2012 IEEE 3rd International Conference on Software Engineering and Service Science,
開始ページ：745,
終了ページ：749, 2012年,
［査読有り］英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1109/ICSESS.2012.6269574DOI ID：10.1109/ICSESS.2012.6269574,
SCOPUS ID：84866498553 Dynamic reconfiguration of persistent computing systems based on soft system bus Jingde Cheng; Masami Someya; Koichi Nanashima; Yuichi Goto
CSAE 2012 - Proceedings, 2012 IEEE International Conference on Computer Science and Automation Engineering,
巻：2,
開始ページ：368,
終了ページ：372, 2012年,
［査読有り］英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1109/CSAE.2012.6272794DOI ID：10.1109/CSAE.2012.6272794,
SCOPUS ID：84867053073 An Engineering Environment for Supporting Information Security Management Systems Ahmad Iqbal Hakim Suhaimi; Yuichi Goto; Jingde Cheng
COMPUTER APPLICATIONS FOR SECURITY, CONTROL AND SYSTEM ENGINEERING,
巻：339,
開始ページ：30,
終了ページ：37, 2012年,
［査読有り］英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1007/978-3-642-35264-5_5DOI ID：10.1007/978-3-642-35264-5_5,
ISSN：1865-0929,
ORCID：10636976,
Web of Science ID：WOS:000313300800005 Providing Users With Suitable Services of Information Security Engineering Cloud Based on ISO/IEC 15408 Liqing Xu; Bo Wang; Ning Zhang; Yuichi Goto; Jingde Cheng
PROCEEDINGS OF 2013 IEEE 4TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND SERVICE SCIENCE (ICSESS),
開始ページ：321,
終了ページ：325, 2012年,
［査読有り］英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1109/ICSESS.2013.6615315DOI ID：10.1109/ICSESS.2013.6615315,
ISSN：2327-0594,
ORCID：14254537,
SCOPUS ID：84890027993,
Web of Science ID：WOS:000346301300073 New Types of Program Dependences and Interprocedural Relations in Ada 2012 Programs Bo Wang; Yuichi Goto; Jingde Cheng
PROCEEDINGS OF 2013 IEEE 4TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND SERVICE SCIENCE (ICSESS),
開始ページ：718,
終了ページ：723, 2012年,
［査読有り］英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1109/ICSESS.2013.6615407DOI ID：10.1109/ICSESS.2013.6615407,
ISSN：2327-0594,
ORCID：14254539,
SCOPUS ID：84890082551,
Web of Science ID：WOS:000346301300165 An Anticipatory Reasoning-Reacting System for Defending Against Malice Anticipatorily Kai Shi; Bo Wang; Yuichi Goto; Zhiliang Zhu; Jingde Cheng
PROCEEDINGS OF 2013 IEEE 4TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND SERVICE SCIENCE (ICSESS),
開始ページ：732,
終了ページ：737, 2012年,
［査読有り］英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1109/ICSESS.2013.6615410DOI ID：10.1109/ICSESS.2013.6615410,
ISSN：2327-0594,
ORCID：14254538,
SCOPUS ID：84890016231,
Web of Science ID：WOS:000346301300168 Security Analysis of Peer-to-Peer based Soft System Bus Based System
Muhammad Anwarul Azim; Yuichi Goto; Jingde Cheng
International Journal of Computer Science and Network Security, 巻：11, 号：2, 開始ページ：164, 終了ページ：172, 2011年02月, ［査読有り］
英語, 研究論文（学術雑誌）
A Design of Centralized Persistent Computing System Quazi Mahera Jabeen; Muhammad Anwarul Azim; Yuichi Goto; Jingde Cheng
INFORMATICS ENGINEERING AND INFORMATION SCIENCE, PT I,
巻：251,
開始ページ：604,
終了ページ：617, 2011年,
［査読有り］英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1007/978-3-642-25327-0_51DOI ID：10.1007/978-3-642-25327-0_51,
ISSN：1865-0929,
Web of Science ID：WOS:000310491700051 A Systematic Management Method of ISO Information Security Standards for Information Security Engineering Environments Ahmad Iqbal Hakim Suhaimi; Takashi Manji; Yuichi Goto; Jingde Cheng
INFORMATICS ENGINEERING AND INFORMATION SCIENCE, PT I,
巻：251,
開始ページ：370,
終了ページ：384, 2011年,
［査読有り］英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1007/978-3-642-25327-0_32DOI ID：10.1007/978-3-642-25327-0_32,
ISSN：1865-0929,
Web of Science ID：WOS:000310491700032 Practical implementation of EPLAS: An Epistemic Programming Language for all scientists Wencheng Fang; Isao Takahashi; Yuichi Goto; Jingde Cheng
Proceedings - International Conference on Machine Learning and Cybernetics,
巻：2,
開始ページ：608,
終了ページ：616, 2011年,
［査読有り］英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1109/ICMLC.2011.6016780DOI ID：10.1109/ICMLC.2011.6016780,
ISSN：2160-133X,
SCOPUS ID：80155176195 Development and Maintenance Environment for Anticipatory Reasoning-Reacting Systems
Yuichi Goto; Ryota Kuboniwa; Jingde Cheng
International Journal of Computing Anticipatory Systems, 巻：24, 開始ページ：61, 終了ページ：72, 2010年12月, ［査読有り］
英語, 研究論文（学術雑誌）
Fast Anticipatory Reasoning for Computing Anticipatory Systems
Takahiro Koh; Yuichi Goto; Jingde Cheng
International Journal of Computing Anticipatory Systems, 巻：24, 開始ページ：42, 終了ページ：53, 2010年12月, ［査読有り］
英語, 研究論文（学術雑誌）
A Fast Algorithm for Derivation Process in Forward Reasoning Engines, International Journal of Computational Science
Takahiro Koh; Yuichi Goto; Jingde Cheng
Global Information Publisher, 巻：4, 号：3, 開始ページ：219, 終了ページ：231, 2010年06月, ［査読有り］
英語, 研究論文（学術雑誌）
Development of ISEE: An Information Security Engineering Environment Jingde Cheng; Yuichi Goto; Daisuke Horie; Junichi Miura; Toshio Kasahara; Ahmad Iqbal
2009 IEEE INTERNATIONAL SYMPOSIUM ON PARALLEL AND DISTRIBUTED PROCESSING WITH APPLICATIONS, PROCEEDINGS,
開始ページ：505,
終了ページ：510, 2009年,
［査読有り］英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1109/ISPA.2009.107DOI ID：10.1109/ISPA.2009.107,
Web of Science ID：WOS:000275653700072 Information Assurance, Privacy, and Security in Ubiquitous Questionnaire Yuichi Goto; Jingde Cheng
FCST 2009: PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON FRONTIER OF COMPUTER SCIENCE AND TECHNOLOGY,
開始ページ：619,
終了ページ：624, 2009年,
［査読有り］英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1109/FCST.2009.111DOI ID：10.1109/FCST.2009.111,
Web of Science ID：WOS:000276838500093 A Database System for Effective Utilization of ISO/IEC 27002 Ahmad Iqbal; Daisuke Horie; Yuichi Goto; Jingde Cheng
FCST 2009: PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON FRONTIER OF COMPUTER SCIENCE AND TECHNOLOGY,
開始ページ：607,
終了ページ：612, 2009年,
［査読有り］英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1109/FCST.2009.88DOI ID：10.1109/FCST.2009.88,
Web of Science ID：WOS:000276838500091 Development of ISEE: An Information Security Engineering Environment Daisuke Horie; Yuichi Goto; Jingde Cheng
PROCEEDINGS OF THE SECOND INTERNATIONAL SYMPOSIUM ON ELECTRONIC COMMERCE AND SECURITY, VOL I,
開始ページ：338,
終了ページ：342, 2009年,
［査読有り］英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1109/ISECS.2009.243DOI ID：10.1109/ISECS.2009.243,
Web of Science ID：WOS:000275129000070 ISEE: AN INFORMATION SECURITY ENGINEERING ENVIRONMENTJingde Cheng; Yuichi Goto; Daisuke Horie
SECRYPT 2009: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SECURITY AND CRYPTOGRAPHY,
開始ページ：395,
終了ページ：400, 2009年,
［査読有り］英語, 研究論文（国際会議プロシーディングス）
Web of Science ID：WOS:000282088500060 Development of a Decision-Maker in an Anticipatory Reasoning-Reacting System for Terminal Radar Control Natsumi Kitajima; Yuichi Goto; Jingde Cheng
HYBRID ARTIFICIAL INTELLIGENCE SYSTEMS,
巻：5572,
開始ページ：68,
終了ページ：76, 2009年,
［査読有り］英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1007/978-3-642-02319-4_9DOI ID：10.1007/978-3-642-02319-4_9,
ISSN：0302-9743,
Web of Science ID：WOS:000267794600009 A New Model of Software Life Cycle Processes for Consistent Design, Development, Management, and Maintenance of Secure Information Systems Daisuke Horie; Toshio Kasahara; Yuichi Goto; Jingde Cheng
PROCEEDINGS OF THE 8TH IEEE/ACIS INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION SCIENCE,
開始ページ：897,
終了ページ：902, 2009年,
［査読有り］英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1109/ICIS.2009.175DOI ID：10.1109/ICIS.2009.175,
Web of Science ID：WOS:000273558200153 GEST: A Generator of ISO/IEC 15408 Security Target Templates Daisuke Horie; Kenichi Yajima; Noor Azimah; Yuichi Goto; Jingde Cheng
COMPUTER AND INFORMATION SCIENCE 2009,
巻：208,
開始ページ：149,
終了ページ：158, 2009年,
［査読有り］英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1007/978-3-642-01209-9DOI ID：10.1007/978-3-642-01209-9,
ISSN：1860-949X,
Web of Science ID：WOS:000265819400014 An Improvement of REM: A Replication Oriented Event-based Middleware Youcheng Chen; Mohammad Reza Selim; Yuichi Goto; Jingde Cheng
2009 INTERNATIONAL CONFERENCE ON AVAILABILITY, RELIABILITY, AND SECURITY (ARES), VOLS 1 AND 2,
開始ページ：641,
終了ページ：646, 2009年,
［査読有り］英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1109/ARES.2009.161DOI ID：10.1109/ARES.2009.161,
Web of Science ID：WOS:000270612000093 FORVEST: A Support Tool for Formal Verification of Security Specifications with ISO/IEC 15408 Kenichi Yajima; Shoichi Morimoto; Daisuke Horie; Noor Sheila Azreen; Yuichi Goto; Jingde Cheng
2009 INTERNATIONAL CONFERENCE ON AVAILABILITY, RELIABILITY, AND SECURITY (ARES), VOLS 1 AND 2,
開始ページ：624,
終了ページ：+, 2009年,
［査読有り］英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1109/ARES.2009.74DOI ID：10.1109/ARES.2009.74,
Web of Science ID：WOS:000270612000090 Continuous Reactability of Persistent Computing Systems
Yuichi Goto; Takumi Endo; Jingde Cheng
International Journal of Computing Anticipatory Systems, 巻：20, 開始ページ：219, 終了ページ：229, 2008年12月, ［査読有り］
英語, 研究論文（学術雑誌）
A Deontic Relevant Logic Approach to Reasoning about Actions in Computing Anticipatory Systems
Natsumi Kitajima; Shisuke Nara; Yuichi Goto; Jingde Cheng
International Journal of Computing Anticipatory Systems, 巻：20, 開始ページ：177, 終了ページ：190, 2008年12月, ［査読有り］
英語, 研究論文（学術雑誌）
A Low Cost and Resilient Message Queuing Middleware
Mohammad Reza Selim; Yuichi Goto; Jingde Cheng
International Journal of Computer Science and Network Security, 巻：8, 号：8, 開始ページ：225, 終了ページ：237, 2008年08月, ［査読有り］
英語, 研究論文（学術雑誌）
A fast duplication checking algorithm for forward reasoning engines
Takahiro Koh; Yuichi Goto; Jingde Cheng
KNOWLEDGE-BASED INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT 2, PROCEEDINGS, 巻：5178, 開始ページ：499, 終了ページ：507, 2008年, ［査読有り］
英語, 研究論文（国際会議プロシーディングス）
ISSN：0302-9743, Web of Science ID：WOS:000259394400062
Anticipatory Reasoning about Mobile Objects in Anticipatory Reasoning-Reacting Systems Jingde Cheng; Yuichi Goto; Natsumi Kitajima
COMPUTING ANTICIPATORY SYSTEMS,
巻：1051,
開始ページ：244,
終了ページ：254, 2008年,
［査読有り］英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1063/1.3020663DOI ID：10.1063/1.3020663,
ISSN：0094-243X,
Web of Science ID：WOS:000262094700021 A fast duplication checking algorithm for forward reasoning engines Takahiro Koh; Yuichi Goto; Jingde Cheng
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),
巻：5178,
号：2,
開始ページ：499,
終了ページ：507, 2008年,
［査読有り］英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1007/978-3-540-85565-1-62DOI ID：10.1007/978-3-540-85565-1-62,
ISSN：0302-9743,
SCOPUS ID：57749205896 A general forward reasoning algorithm for various logic systems with different formalizations Yuichi Goto; Takahiro Koh; Jingde Cheng
KNOWLEDGE-BASED INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT 2, PROCEEDINGS,
巻：5178,
開始ページ：526,
終了ページ：535, 2008年,
［査読有り］英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1007/978-3-540-85565-1DOI ID：10.1007/978-3-540-85565-1,
ISSN：0302-9743,
Web of Science ID：WOS:000259394400065 Ensuring reliability and availability of soft system bus Mohammad Reza Selim; Yuichi Goto; Jingde Cheng
Proceedings - The 2nd IEEE International Conference on Secure System Integration and Reliability Improvement, SSIRI 2008,
開始ページ：52,
終了ページ：59, 2008年,
［査読有り］英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1109/SSIRI.2008.51DOI ID：10.1109/SSIRI.2008.51,
SCOPUS ID：51749102869 A security engineering environment based on ISO/IEC standards: Providing standard, formal, and consistent supports for design, development, operation, and maintenance of secure information systems Jingde Cheng; Yuichi Goto; Shoichi Morimoto; Daisuke Horie
PROCEEDINGS OF THE SECOND INTERNATIONAL CONFERENCE ON INFORMATION SECURITY AND ASSURANCE,
開始ページ：350,
終了ページ：+, 2008年,
［査読有り］英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1109/ISA.2008.106DOI ID：10.1109/ISA.2008.106,
Web of Science ID：WOS:000256051100067 Fast qualitative reasoning about actions for computing anticipatory systems Natsumi Kitajima; Yuichi Goto; Jingde Cheng
ARES 2008: PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE ON AVAILABILITY, SECURITY AND RELIABILITY,
開始ページ：171,
終了ページ：178, 2008年,
［査読有り］英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1109/ARES.2008.118DOI ID：10.1109/ARES.2008.118,
Web of Science ID：WOS:000256665200024 ISEDS: An information security engineering database system based on ISO standards Daisuke Horie; Shoichi Morimoto; Noor Azimah; Yuichi Goto; Jingde Cheng
ARES 2008: PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE ON AVAILABILITY, SECURITY AND RELIABILITY,
開始ページ：1219,
終了ページ：+, 2008年,
［査読有り］英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1109/ARES.2008.76DOI ID：10.1109/ARES.2008.76,
Web of Science ID：WOS:000256665200171 Classification, formalization and verification of security functional requirements Shoichi Morimoto; Shinjiro Shigematsu; Yuichi Goto; Jingde Cheng
SOFSEM 2008: THEORY AND PRACTICE OF COMPUTER SCIENCE,
巻：4910,
開始ページ：622,
終了ページ：+, 2008年,
［査読有り］英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1007/978-3-540-77566-9DOI ID：10.1007/978-3-540-77566-9,
ISSN：0302-9743,
Web of Science ID：WOS:000253521400054 情報セキュリティ工学データベースシステムISEDSの開発と応用
堀江大輔; 森本祥一; 後藤祐一; 程京徳
情報処理学会論文誌, 巻：48, 号：8, 開始ページ：2684, 終了ページ：2698, 2007年08月, ［査読有り］
高安全性が要求される情報システムにおけるセキュリティ機能は設計・実現から運用・保守まで一貫して行われなければならない,しかし,情報システムにおけるセキュリティ機能の設計から保守までを一貫して支援するツールはこれまで存在していなかった.本論文では,様々なセキュリティ機能の設計から保守までを一貫して支援するために我々が提案した情報セキュリティ工学データベースシステムISEDSの開発と応用について述べる. ISEDSは,情報システムが満たすべきセキュリティ基準に関するデータや,セキュリティ機能の開発や保守の公開事例に関するデータや,各利用者がセキュリティ機能を開発し保守する際に自ら定義するデータを管理する.利用者は. ISEDSに格納されているデータを検索したり更新したりすることができるばかりでなく. ISEDSとその連携ツール群を用いて,セキュリティ機能の仕様書を簡単に作成や添削,検証することもできる.本研究では,まず,セキュリティ機能の設計仕様の評価基準に関する国際標準であるISO/IEC 15408 をISEDSが扱うセキュリティ基準の1つとして採用し. ISEDSの機能のうち,ISO/IEC 15408 に関連のあるデータを管理し,利用するための機能を実現した.
一般社団法人情報処理学会, 日本語, 研究論文（学術雑誌）
ISSN：1882-7764, CiNii Articles ID：110006386498, CiNii Books ID：AN00116647
Distributed Hash Table Based Design of Soft System Buses
Mohammad Reza Selim; Takumi Endo; Yuichi Goto; Jingde Cheng
Proceedings of the 2nd International Conference on Scalable Information Systems (INFOSCALE '07), 2007年06月, ［査読有り］
近年の情報社会において、稼働しつづけることができる、そして、時間の経過につれて進化することができる大規模計算システムへの要求が高まっている。ソフトシステムバス（SSB）はそのような計算システムを支援するためのミドルウェアプラットフォームとして提案された。本論文では、大規模P2Pシステムのための分散ハッシュテーブルプロトコルの一つであるChordに基づくSSBの設計を紹介する。我々の設計は、拡張性、こしょうからの自動回復、データの保存そして漸増的かつリアルタイムでの更新可能性および保守可能性などのSSBの要求を満たしている。また、SSBの要求の観点から我々の設計の評価を合わせて紹介する。
英語, 研究論文（国際会議プロシーディングス）
A Quantitative Analysis of Implicational Paradoxes in Classical Mathematical Logic Yuichi Goto; Jingde Cheng
Electronic Notes in Theoretical Computer Science,
巻：169,
開始ページ：87,
終了ページ：97, 2007年03月,
［査読有り］英語, 研究論文（学術雑誌）
DOI：https://doi.org/10.1016/j.entcs.2006.07.031DOI ID：10.1016/j.entcs.2006.07.031,
ISSN：1571-0661,
SCOPUS ID：33847136724 ENQUETE-BAISE: A general-purpose E-questionnaire server for ubiquitous questionnaire Jingde Cheng; Yuichi Goto; Masato Koide; Keigo Nagahama; Masami Someya; Yusuke Utsumi; Ayaka Shionoiri
2ND IEEE ASIA-PACIFIC SERVICES COMPUTING CONFERENCE, PROCEEDINGS,
開始ページ：187,
終了ページ：+, 2007年,
［査読有り］英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1109/APSCC.2007.73DOI ID：10.1109/APSCC.2007.73,
Web of Science ID：WOS:000254380500026 Measuring reactability of persistent computing systems Takumi Endo; Yuichi Goto; Jingde Cheng
SOFTWARE COMPOSITION,
巻：4829,
開始ページ：144,
終了ページ：151, 2007年,
［査読有り］英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1007/978-3-540-77351-1DOI ID：10.1007/978-3-540-77351-1,
ISSN：0302-9743,
Web of Science ID：WOS:000253263700011 A replication oriented approach to event based middleware over structured peer to peer networks Mohammad Reza Selim; Yuichi Goto; Jingde Cheng
Proceedings of the 5th International Workshop on Middleware for Pervasive and Ad-hoc Computing, MPAC 2007 held at the ACM/IFIP/USENIX 8th International Middleware Conference,
開始ページ：61,
終了ページ：66, 2007年,
［査読有り］英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1145/1376866.1376877DOI ID：10.1145/1376866.1376877,
SCOPUS ID：57349111747 A cooperative grid computing approach to automated theorem finding and automated problem proposing Jingde Cheng; Yuichi Goto; Shinsuke Nara; Takahiro Koh
KNOWLEDGE-BASED INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS: KES 2007 - WIRN 2007, PT II, PROCEEDINGS,
巻：4693,
開始ページ：840,
終了ページ：851, 2007年,
［査読有り］英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1007/978-3-540-74827-4DOI ID：10.1007/978-3-540-74827-4,
ISSN：0302-9743,
Web of Science ID：WOS:000250338600106 FreeEnCal: A forward reasoning engine with general-purpose Jingde Cheng; Shinsuke Nara; Yuichi Goto
KNOWLEDGE-BASED INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS: KES 2007 - WIRN 2007, PT II, PROCEEDINGS,
巻：4693,
開始ページ：444,
終了ページ：452, 2007年,
［査読有り］英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1007/978-3-540-74827-4DOI ID：10.1007/978-3-540-74827-4,
ISSN：0302-9743,
Web of Science ID：WOS:000250338600056 EPLAS: An epistemic programming language for all scientists Isao Takahashi; Shinsuke Nara; Yuichi Goto; Jingde Cheng
COMPUTATIONAL SCIENCE - ICCS 2007, PT 1, PROCEEDINGS,
巻：4487,
開始ページ：406,
終了ページ：+, 2007年,
［査読有り］英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1007/978-3-540-72584-8DOI ID：10.1007/978-3-540-72584-8,
ISSN：0302-9743,
Web of Science ID：WOS:000247062800052 Formal Verification of Security Specifications with Common Criteria Shoichi Morimoto; Shinjiro Shigematsu; Yuichi Goto; Jingde Cheng
APPLIED COMPUTING 2007, VOL 1 AND 2,
開始ページ：1506,
終了ページ：+, 2007年,
［査読有り］英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1145/1244002.1244325DOI ID：10.1145/1244002.1244325,
Web of Science ID：WOS:000268215700289 動的再構成の観点からのソフトシステムバスとエンタープライズサービスバスの比較
染谷雅美; MohammadRezaSelim; 後藤祐一; 程京徳
情報処理学会ソフトウェア工学研究会(SIGSE) 2007年ウィンターワークショップ(WWS?'07)論文集, 情報処理学会シンポジウムシリーズ, 巻：2007, 号：2, 開始ページ：77, 終了ページ：78, 2007年01月, ［査読有り］
ソフトシステムバスを，エンタープライズサービスバス技術を用いて実現できるかを明らかにするために，構築されたシステムの動的再構成の観点からソフトシ
ステムバスとエンタープライズサービスバスの比較を行う．
日本語, 研究論文（研究会，シンポジウム資料等）
An Anticipatory Reasoning Engine for Anticipatory Reasoning-Reacting SystemsShinsuke Nara; Feng Shang; Takashi Omi; Yuichi Goto; Jingde Cheng
International Journal of Computing Anticipatory Systems,
巻：18,
開始ページ：225,
終了ページ：234, 2006年12月,
［査読有り］先行推論反応システムのもっとも重要なコンポーネントは、先行推論エンジン（ARE）である。本論文では、AREの要求とAREのプロトタイプを紹介する。始めに、先行推論について説明し、次に要求分析、機能の設計をおこなう。そして、実装上の課題について議論し、我々の実装の工夫について紹介する。最後に、現在の実験結果を紹介する。また、どのように先行推論版王システムがAREから有効な予測を得るかについて議論する。
英語, 研究論文（学術雑誌）
CiNii Articles ID：10020790279 情報セキュリティ工学データベースシステムISEDSの開発と応用
堀江大輔; 森本祥一; 後藤祐一; 程京徳
ソフトウェアエンジニアリング最前線2006, 開始ページ：59, 終了ページ：60, 2006年10月, ［査読有り］
日本語, 研究論文（研究会，シンポジウム資料等）
ISO/IEC 15408 に基づく定理証明とモデル検査による情報セキュリティ仕様の検証技法
森本祥一; 重松真二郎; 後藤祐一; 程京徳
コンピュータソフトウェア, 巻：23, 号：3, 開始ページ：117, 終了ページ：133, 2006年07月, ［査読有り］
情報システムの設計・開発において，セキュリティ仕様とその検証は重要な課題となっている．検証を行うには基準が必要であるが，情報システムが備えるべきセキュリティの基準を定めることは難しい．このため本論文では，IT製品や情報システムのセキュリティ評価の国際標準である ISO/IEC15408 を基準として採用し，これに基づいた情報セキュリティ仕様の形式手法による検証技法を提案する．本検証技法では，形式的に記述した ISO/IEC15408 のセキュリティ評価基準を用いて，対象となる情報システムの仕様が ISO/IEC15408 の基準を満たしているかどうかを定理証明とモデル検査により厳密に検証することができる．
日本語, 研究論文（学術雑誌）
A Security Specification Verification Technique Based on the International Standard ISO/IEC 15408 Shoichi Morimoto; Shinjiro Shigematsu; Yuichi Goto; Jingde Cheng
Proceedings of the 21st Annual ACM Symposium on Applied Computing (SAC'06),
開始ページ：1802,
終了ページ：1803, 2006年04月,
［査読有り］英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1145/1141277.1141701DOI ID：10.1145/1141277.1141701 A Quantitative Analysis of Implicational Paradoxes in Classical Mathematical Logic Yuichi Goto; Jingde Cheng
Proceedings of the 21st Annual ACM Symposium on Applied Computing (SAC'06),
開始ページ：42,
終了ページ：43, 2006年04月,
［査読有り］英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1145/1141277.1141286DOI ID：10.1145/1141277.1141286 The theory grid and grid theorists Jingde Cheng; Shinsuke Nara; Takahiro Koh; Yuichi Goto
2006 2nd International Conference on Semantics Knowledge and Grid, SKG,
開始ページ：32, 2006年,
［査読有り］英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1109/SKG.2006.104DOI ID：10.1109/SKG.2006.104,
SCOPUS ID：44949178748 Comparative study between soft system bus and traditional middlewares Mohammad Reza Selim; Takumi Endo; Yuichi Goto; Jingde Cheng
ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2006: OTM 2006 WORKSHOPS, PT 2, PROCEEDINGS,
巻：4278,
開始ページ：1264,
終了ページ：+, 2006年,
［査読有り］英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1007/11915072DOI ID：10.1007/11915072,
ISSN：0302-9743,
Web of Science ID：WOS:000243321400030 Persistent computing systems as an infrastructure for pervasive services Jingde Cheng; Yuichi Goto; Masami Someya; Takumi Endo
2006 1ST INTERNATIONAL SYMPOSIUM ON PERVASIVE COMPUTING AND APPLICATIONS, PROCEEDINGS,
開始ページ：104,
終了ページ：+, 2006年,
［査読有り］英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1109/SPCA.2006.297551DOI ID：10.1109/SPCA.2006.297551,
Web of Science ID：WOS:000240859900019 A prototype implementation of an anticipatory reasoning-reacting system Feng Shang; Shinsuke Nara; Takashi Omi; Yuichi Goto; Jingde Cheng
Computing Anticipatory Systems,
巻：839,
開始ページ：401,
終了ページ：414, 2006年,
［査読有り］英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1063/1.2216650DOI ID：10.1063/1.2216650,
ISSN：0094-243X,
Web of Science ID：WOS:000238647800031 ユビキタスサービスのための汎用電子アンケートサーバ ENQUETE-BAISE
染谷雅美; 内海悠輔; 塩野入彩香; 後藤祐一; 程京徳
情報処理学会シンポジウムシリーズ, 巻：2006, 号：2, 開始ページ：41, 終了ページ：42, 2006年01月, ［査読有り］
日本語, 研究論文（研究会，シンポジウム資料等）
Webアプリケーションシステムにおけるパフォーマンスボトルネックの分類と考察
通拉ガ; 染谷雅美; 後藤祐一; 程京徳
情報処理学会シンポジウムシリーズ, 巻：2006, 号：2, 開始ページ：39, 終了ページ：40, 2006年01月, ［査読有り］
日本語, 研究論文（研究会，シンポジウム資料等）
人の集まりを支援するツールQWikS（クウィックス）
後藤祐一; 遠藤匠; 染谷雅美; 高橋勲男; 程京徳
情報処理学会第47回プログラミングシンポジウム論文集, 開始ページ：175, 終了ページ：176, 2006年01月, ［査読有り］
近年，WWWを介してのコミュニケーションが可能になってきている．掲示板やチャット，ICQ，メッセンジャー，SNS（Social Networking Site），Weblogなどのツールを使い，見知らぬ人同士がWWWを介してコミュニティを構成するようにった．また，グループウェアが普及し，会社内や同一部署内でスケジュールや資料を共有し，仕事を円滑に進めることができるようになった．しかしながら，Web上で構成したコミュニティや，地域活動，会社，学校などで構成したコミュニティの構成メンバーが集おうとするときには，日取りの調整や場所の選定など幹事に負担のかかる仕事が生じてしまう．本研究では，人が集まるときの不便を考察し，人が集まることを支援するツールQWikSを提案する．
日本語, 研究論文（研究会，シンポジウム資料等）
ISO/IEC 15408 に基づく定理証明とモデル検査による情報セキュリティ仕様の検証技法
森本祥一; 重松真二郎; 後藤祐一; 程京徳
第二回システム検証の科学技術シンポジウム予稿集, 開始ページ：12, 終了ページ：13, 2005年10月, ［査読有り］
日本語, 研究論文（研究会，シンポジウム資料等）
CiNii Articles ID：10017630867
並列化による前向き演繹エンジンの高速化
奈良信介; 後藤祐一; 程京徳
情報処理学会論文誌, 巻：46SIG10 (TOM12), 号：10, 開始ページ：19, 終了ページ：29, 2005年07月, ［査読有り］
推論とは，既知の事実や仮説を前提とし，新しい結論を導出する過程である．現在，定理発見システムや先行予測システムなど様々な分野の情報システムで，与えられた前提から新しい結論を導出できる推論エンジンが求められている．実用的な推論エンジンを実現する際の最大の課題は効率である．なぜなら，推論エンジンは，妥当な結論を導出する為に，膨大な数の中間生成物を処理しなければならず，本質的に非効率な処理となってしまう為である．本研究では効率的な推論エンジンを実現する為に，推論の一つの方法である前向き演繹の並列計算モデルを提案する．また，そのモデルに基づいて推論エンジンの一種である汎用前向き自動帰結演算システムEnCal の実装を PC クラスタ上で行い，その有効性を実証する．
社団法人情報処理学会, 日本語, 研究論文（学術雑誌）
ISSN：0387-5806, CiNii Articles ID：10016425288
Security Issues in Persistently Reactive Systems
Takumi Endo; Junichi Miura; Koichi Nanashima; Shoichi Morimoto; Yuichi Goto; Jingde Cheng
Supplement of the IEEE-CS 2005 International Conference on Dependable Systems and Networks (DSN'05), 開始ページ：56, 終了ページ：57, 2005年06月, ［査読有り］
英語
永続コンピューティング環境を実現するソフトシステムバスパッケージの基本要求と機能
遠藤匠; 三浦潤一; 七島功一; 森本祥一; 後藤祐一; 程京徳
情報処理学会シンポジウムシリーズ, 巻：2005, 号：5, 開始ページ：209, 終了ページ：210, 2005年05月, ［査読有り］
日本語, 研究論文（研究会，シンポジウム資料等）
Tasking Deadlocks in Programs with the Full Ada 95 Yasushi Tojo; Shinsuke Nara; Yuichi Goto; Jingde Cheng
ACM Ada Letters,
巻：251,
開始ページ：48,
終了ページ：56, 2005年03月,
［査読有り］この論文では、Ada 95 リアルタイムシステム付属書に定義されているタスク同期待ち関係に関連するタスキングデッドロックのいくつかの例を紹介している。
英語, 研究論文（学術雑誌）
DOI：https://doi.org/10.1145/1064303.1064305DOI ID：10.1145/1064303.1064305 Security in persistently reactive systems T Endo; J Miura; K Nanashima; S Morimoto; Y Goto; JD Cheng
EMBEDDED AND UBIQUITOUS COMPUTING - EUC 2005 WORKSHOPS, PROCEEDINGS,
巻：3823,
開始ページ：874,
終了ページ：883, 2005年,
［査読有り］英語, 研究論文（学術雑誌）
DOI：https://doi.org/10.1007/11596042DOI ID：10.1007/11596042,
ISSN：0302-9743,
Web of Science ID：WOS:000235802200090 General-purpose forward deduction engine for modal logics S Nara; T Omi; Y Goto; JD Cheng
KNOWLEDGE-BASED INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT 2, PROCEEDINGS,
巻：3682,
開始ページ：739,
終了ページ：745, 2005年,
［査読有り］英語, 研究論文（学術雑誌）
DOI：https://doi.org/10.1007/11552451DOI ID：10.1007/11552451,
ISSN：0302-9743,
Web of Science ID：WOS:000232722200101 Efficient Anticipatory Reasoning for Anticipatory Systems with Requirements of High Reliability and High SecurityYuichi Goto; Shinsuke Nara; Jingde Cheng
International Journal of Computing Anticipatory Systems,
巻：14,
開始ページ：156,
終了ページ：171, 2004年12月,
［査読有り］高い信頼性と安全性が要求される実用的な先行システムは、その応用からくる要求を満たすために、許容できる時間内に十分な量の効果的な結論を先行的に得るための予測推論を行うことができなければならない。先行推論の実行時間は導出する結論の増加にともなって長くなるため、許容できる時間内に十分な量の結論を得るという要求は相反する。我々は、汎用帰結演算のための自動演繹エンジンEnCalを開発している。EnCalは、汎用帰結演算のための自動演繹エンジンであるが、我々は、時間相関論理に基づく先行推論を実行する先行システムの前向き演繹エンジンとしてEnCalが使えるのではないかと期待している。そのゴールを達成するための重要課題は、EnCalの効率性である。本論文では、並列処理技術によるEnCalの効率性の改善に案する実験とその結果について報告する。
英語, 研究論文（学術雑誌）
CiNii Articles ID：10016425291 Representing and reasoning about spatial knowledge based on spatial relevant logic JD Cheng; Y Goto
CONCEPTUAL MODELING FOR ADVANCED APPLICATION DOMAINS, PROCEEDINGS,
巻：3289,
開始ページ：114,
終了ページ：126, 2004年,
［査読有り］英語, 研究論文（学術雑誌）
DOI：https://doi.org/10.1007/b101694DOI ID：10.1007/b101694,
ISSN：0302-9743,
Web of Science ID：WOS:000225684500010 ENQUETE-BAISE: ユビキタスアンケートのための汎用電子アンケートサーバ
後藤祐一; 小出雅人; 長濱圭吾; 程京徳
情報処理学会2004年情報学シンポジウム論文集, 巻：2004, 開始ページ：81, 終了ページ：84, 2004年01月, ［査読有り］
従来の紙ベースのアンケートでいつでも・どこでも・だれでも実施・回答できるアンケートを安全に実施しようとすると多大な金銭的・時間的コストが必要となる． 一方で，インターネット，計算機，携帯電話・端末などを利用した電子アンケートであれば，紙ベースのアンケートと比較して，低コストでいつでも・どこでも・だれでも実施・回答できるアンケートを安全に実施することができる．本論文では，いつでも・どこでも・だれでも安全に回答・実施を行なえるユビキタスアンケートという観点から，紙ベースのアンケートと電子アンケートを比較し，その違いを明らかにする．また，低コストでいつでも・どこでも・だれでもアンケートを安全に実施することのできる環境を提供するツールとして，われわれが開発し，一般公開している汎用電子アンケートサーバENQEUTE-BAISEを紹介する．
情報処理学会, 日本語, 研究論文（研究会，シンポジウム資料等）
CiNii Articles ID：40006284776
ソフトシステムバスの実現について -- ユビキタスコンピューティングのための永続システムを目指して
七島功一; 後藤祐一; 程京徳
情報処理学会2004年情報学シンポジウム論文集, 巻：2004, 開始ページ：77, 終了ページ：80, 2004年01月, ［査読有り］
ユビキタスコンピューティング環境の究極の目標は，いつでもどこでも利用可能な計算環境を提供することである．したがって，ユビキタスコンピューティングの前提として，いつでも利用可能な情報システムが必要となる．しかし，保守や更新などを行う時でさえ止まらずに動作し続けるシステムの実現には未だ至っていない．止まらずに動作し続けるシステムを実現するための基盤技術として，我々が提案したソフトシステムバスというソフトウェア機構が有用である．本論文では，まず，ソフトシステムバスの概念を紹介し，次に，それに対する要求とそれが提供すべき機能を列挙し，そして，ソフトシステムバスのもっとも重要な機能である指令・データの伝達と保存を基地局によって実現するモデルを提案する．
情報処理学会, 日本語, 研究論文（研究会，シンポジウム資料等）
CiNii Articles ID：40006284775
並列化による推論エンジンの効率化
奈良信介; 後藤祐一; 程京徳
情報処理学会第10回数理モデル化と問題解決シンポジウム(SPSPDP03)論文集 -- 並列・分散処理による問題解決, 開始ページ：101, 終了ページ：108, 2003年10月, ［査読有り］
日本語
Efficient Forward Deduction for Discovery and Prediction by Parallel Processing
Shinsuke Nara; Yuichi Goto; Jingde Cheng
Proceedings of the 1st International Conference on Knowledge Economy and Development of Science and Technology (International Workshop on Research Directions and Challenge Problems in Advanced Information Systems Engineering) (KEST'03), 開始ページ：76, 終了ページ：82, 2003年09月, ［査読有り］
発見や予測のための自動前向き演繹エンジンは、許容される時間内に妥当な結論を得なければならない。なぜならば、妥当な結論を得られない、あるいは許容時間内に処理できないシステムは実用的な応用には使えないからである。しかし、どのような前向き演繹のプロセスは本質的に非効率なプロセスである。なぜならば、多くの中間生成物を扱わなければならないためである。よって、より多くの量の実行時間や主記憶領域が自動前向き演繹の実行に必要とされる。この問題は、どのような自動前向き演繹エンジンにおいても一般的である。本論文では、並列処理によって自動前向き演繹の効率を改善する。我々は、自動前向き演繹のための並列計算モデルを提案し、そのモデルに基づき、PCクラスタにおいて汎用帰結演算のための自動前向き演繹システムを実装する。
英語, 研究論文（国際会議プロシーディングス）
A Comparative Study on Paradoxical Conditionals in Classical Mathematical Logic, Relevant Logics, and Strong Relevant Logics
Yuichi Goto; Takahiro Koh; Jingde Cheng
Proceedings of the 1st International Conference on Knowledge Economy and Development of Science and Technology (International Workshop on Research Directions and Challenge Problems in Advanced Information Systems Engineering) (KEST'03), 開始ページ：69, 終了ページ：75, 2003年09月, ［査読有り］
論理の観点から、我々は、古典数理論理、その伝統的拡張、そして、従来の相関論理が発見のための前向き推論や演繹を基礎づけるには適していないことを定性的に示した。なぜならば、それらの論理定理には実質含意のパラドクスが多く含まれているためである。そして、強相関論理が発見のための前向き推論や演繹を基礎づける論理体系としてより期待できる候補であることを示した。しかし、古典数理論理とその拡張、従来の相関論理がどのくらい悪いのか、また、強相関論理がどのくらい良いのかは、まだ定量的な分析と議論がおこなわれていないため、まだ明らかにされていない。本論文では、比較研究として強相関論理と古典数理論理に含まれる実質含意のパラドクスについて定量的な分析と議論を行う。この研究成果は、実質含意のパラドクスの量が、現実世界の応用のために役立つ前向き推論および演繹エンジンの開発にとって、とても重要であることを示している。
英語, 研究論文（国際会議プロシーディングス）
A Digital Reference Room for E-learning
Ru Lu; Feng Shang; Yuichi Goto; Jingde Cheng
Proceedings of the 1st International Conference on Knowledge Economy and Development of Science and Technology (International Workshop on Research Directions and Challenge Problems in Advanced Information Systems Engineering) (KEST'03), 開始ページ：17, 終了ページ：21, 2003年09月, ［査読有り］
This paper addresses Digital Reference Room (DRR) for e-learning, a project that deals with two hot fields of studies for both IT industry and academic institution: digital library and e-learning. Our basic design ideas are to develop a user-friendly digital reference room utilizing a simple but effective architecture, taking advantage of XML and making efficient use of available open source offering. Hence, we adopted native XML database technology instead of traditional RDBMS (Relational Database Management Systems), and Apache's open source offering, Xindice as tools to develop the DRR. This paper describes the architecture and implementation of the digital reference room system for e-learning.
英語, 研究論文（国際会議プロシーディングス）
Automated Theorem Finding by Forward Deduction Based on Strong Relevant Logic: A Case Study in NBG Set Theory
Xiaobin Wang; Yuichi Goto; Shinsuke Nara; Jingde Cheng
Proceedings of the 1st International Conference on Knowledge Economy and Development of Science and Technology (International Workshop on Research Directions and Challenge Problems in Advanced Information Systems Engineering) (KEST'03), 開始ページ：83, 終了ページ：91, 2003年09月, ［査読有り］
自動定理発見は、1988年にWosによって提案された自動推論に関する33の研究問題一つである。我々は、強相関論理を数学知識の表現と推論に用いて、かつ、強相関論理に基づく前向き演繹により定理の発見行うという自動定理発見問題へのアプローチを提案した。しかし、今のところ、このアプローチが本当に自動定理発見問題の解決にどのくらい有効かは明確ではない。本論文では、強相関論理に基づく自動前向き演繹によって、von Neumann-Vernays-Godel集合論（NBG集合論）における定理発見のための事例研究を紹介する。この事例研究によって、強相関論理は、定理発見に適していることが明らかになった。なぜならば、強相関論理に基づく自動前向き演繹によって導出されたNBG集合論の定理は、妥当であり、矛盾する定理は導出されなかったためである。
英語, 研究論文（国際会議プロシーディングス）
HILBERT : An Autonomous Evolutionary Information System for Teaching and Learning Logic
Jingde Cheng; Naoki Akimoto; Yuichi Goto; Masato Koide; Kouichi Nanashima; Shinsuke Nara
Computer Based Learning in Science, Conference Proceedings 2003, Volume I, New Technologies And Their Applications in Education, 開始ページ：245, 終了ページ：254, 2003年07月, ［査読有り］
論理の学習・教授のための広く有用なコンピューターに基づく環境を確立するために、我々は、自律的に進化する情報システムHILBERTを開発している。HILBERTは、科学的発見と同じく日々の論理的思考のための多様な論理形式を基礎づける様々な論理体系を学習・教授するためのものである。本論文では、HILBERTの基本設計アイデア、機能、サービス、そして、アーキテクチャを紹介する。
英語, 研究論文（国際会議プロシーディングス）
Parallel Forward Deduction System for General-Purpose Entailment Calculus on Clusters of PCs
Sinsuke Nara; Yuichi Goto; Daisuke Takahashi; Jingde Cheng
Proceedings of the IASTED International Conference on Networks, Parallel and Distributed Processing, and Applications (NPDPA'02), 開始ページ：359, 終了ページ：364, 2002年10月, ［査読有り］
帰結演算のための自動前向き演繹システムは、定理発見や知識発見システムのような前向き推論エンジンを必要とする多くの応用システムにおいて欠かすことのできないコンポーネントである。自動前向きシステムの性能は、その応用において非常に重要である。本論文では、PCクラスタにおいて、汎用帰結演算のための並列前向き演繹システムを提案する。また、提案したアルゴリズムの有効性と効率性を明らかにするために、アルゴリズムを実装したものの評価を行う。
英語, 研究論文（国際会議プロシーディングス）
Improving Performance of Automated Forward Deduction System EnCal? on Shared-Memory Paralell Computers
Yuichi Goto; Daisuke Takahashi; Jingde Cheng
Proceedings of the 3rd International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT'02), 開始ページ：63, 終了ページ：68, 2002年09月, ［査読有り］
自動前向き演繹システムの性能は、その応用において非常に重要である。発見のために用いる前向き演繹システムには、あらかじめゴールとして特定の命題や定理を明示的にあたえられないため、前向き演繹システムはしばしば多くの冗長な中間生成物（既に導出されたもののと同じも）を導出する。よって、いかなる前向き演繹システムにおいても、どのように冗長な中間生成物を減らすかは、一般的かつ難しい課題である。本論文では、汎用帰結演算のための自動前向き演繹システムEnCalの性能を改善するために、冗長な中間生成物を発見する新しいアルゴリズムを提案する。また、そのアルゴリズムを共有メモリ型並列計算機上で動くEnCalに組み込み、提案アルゴリズムの有効性を実証する。
英語, 研究論文（国際会議プロシーディングス）
A strong relevant logic approach to the calculus of fuzzy conditionals
JD Cheng; Y Goto
COMPUTATIONAL INTELLIGENT SYSTEMS FOR APPLIED RESEARCH, 開始ページ：66, 終了ページ：74, 2002年, ［査読有り］
英語, 研究論文（国際会議プロシーディングス）
Web of Science ID：WOS:000186233300009
電子投票・アンケートはe-サービスになれるか
後藤祐一; 劉欣; 小出雅人; 高橋大介; 程京徳
情報処理学会シンポジウムシリーズ, 巻：20022, 号：2, 開始ページ：63, 終了ページ：64, 2002年01月, ［査読有り］
日本語, 研究論文（研究会，シンポジウム資料等）
システムバスを用いた反応的システムの構築法
七島功一; 後藤祐一; 程京徳
情報処理学会シンポジウムシリーズ, 巻：20022, 号：2, 開始ページ：15, 終了ページ：16, 2002年01月, ［査読有り］
日本語, 研究論文（研究会，シンポジウム資料等）
Parallel Forward Deduction Algorithms of General-Purpose Entailment Calculus on Shared-Memory Parallel Computers
Yuichi Goto; Daisuke Takahashi; Jingde Cheng
Proceedings of the 2nd ACIS International Conference on Software Engineering, Artificial Intelligence, Networking & Parallel/Distributed Computing (SNPD'01), 開始ページ：168, 終了ページ：175, 2001年08月, ［査読有り］
帰結演算のための自動前向きシステムは、自律的推論エンジンを必要とするシステムたとえば、定理発見、動的データベース、知識発見システムのような多くの応用システムにとって欠くことのできないコンポーネントである。それらの応用にとって、自動前向き演繹システムの性能は、非常に重要である。本論文では、共用メモリ型並列計算機における汎用帰結演算のための並列前向き演繹アルゴリズムを提案している。また、そのアルゴリズムが効果的および効率的であるかどうかの評価を行っている。
英語, 研究論文（国際会議プロシーディングス）
アバタを活用してZoom Fatigueを軽減するオンライン会議システムの開発
高橋 拓未; 後藤 祐一
第87回情報処理学会全国大会, 巻：2025, 号：1, 開始ページ：201, 終了ページ：202, 2025年03月, ［責任著者］
日本語, 研究発表ペーパー・要旨（全国大会，その他学術会議）
転倒事故防止のためのリアルタイム歩道路面情報通知システム
金田 彩孝; 後藤 祐一
第87回情報処理学会全国大会, 巻：2025, 号：1, 開始ページ：307, 終了ページ：308, 2025年03月, ［責任著者］
日本語, 研究発表ペーパー・要旨（全国大会，その他学術会議）
プレゼンスを用いた不安を生じさせる環境の段階的再現を行えるVR 曝露療法システムの開発
木本 翔太; 後藤 祐一
第87回情報処理学会全国大会, 巻：2025, 号：1, 開始ページ：445, 終了ページ：446, 2025年03月, ［責任著者］
日本語, 研究発表ペーパー・要旨（全国大会，その他学術会議）
Improvement of Bicycle Helmet Detection Model Based on YOLOv9
Ruipeng Xu; Yuichi Goto
第87回情報処理学会全国大会, 巻：2025, 号：1, 開始ページ：885, 終了ページ：886, 2025年03月, ［責任著者］
英語, 研究発表ペーパー・要旨（全国大会，その他学術会議）
A Case Study to Detection DDoS Attacks Using a Support Vector Machine Integrated with Random Forest in SDN Network
Yuqi Li; Yuichi Goto
第23回情報科学技術フォーラム (FIT2024), 開始ページ：183, 終了ページ：184, 2024年09月, ［責任著者］
英語, 研究発表ペーパー・要旨（全国大会，その他学術会議）
前向き推論を用いた自動定理発見の試行支援環境の開発
山鹿 親作; 後藤 祐一
第86回情報処理学会全国大会, 巻：2024, 号：1, 開始ページ：267, 終了ページ：268, 2024年03月, ［責任著者］
日本語, 研究発表ペーパー・要旨（全国大会，その他学術会議）
演繹定理を用いた論理定理の推論規則化による強相関論理に基づく前向き推論を用いた自動定理発見法の改善
長谷川 諒; 後藤 祐一
第86回情報処理学会全国大会, 巻：2024, 号：1, 開始ページ：269, 終了ページ：270, 2024年03月, ［責任著者］
日本語, 研究発表ペーパー・要旨（全国大会，その他学術会議）
汎用前向き推論エンジンFreeEnCal?の簡潔データ構造SuRFを用いた省メモリ化
辻 陽成; 後藤 祐一
第86回情報処理学会全国大会, 巻：2024, 号：1, 開始ページ：775, 終了ページ：776, 2024年03月, ［責任著者］
日本語, 研究発表ペーパー・要旨（全国大会，その他学術会議）
マルチコアCPUに対応した汎用前向き推論エンジンFreeEnCalの開発
多賀 靖晃; 後藤 祐一
第86回情報処理学会全国大会, 巻：2024, 号：1, 開始ページ：785, 終了ページ：786, 2024年03月, ［責任著者］
日本語, 研究発表ペーパー・要旨（全国大会，その他学術会議）
リモート環境下でのタブレット端末を用いた電子試験における不正行為の検出および防止
久木田陽生; 後藤祐一
第86回情報処理学会全国大会, 巻：2024, 号：1, 開始ページ：1015, 終了ページ：1016, 2024年03月, ［責任著者］
日本語, 研究発表ペーパー・要旨（全国大会，その他学術会議）
タブレットを用いたオフライン電子試験環境の構築
伍 嘉俊; 小河原 悠暉; 後藤 祐一
第86回情報処理学会全国大会, 巻：2024, 号：1, 開始ページ：1017, 終了ページ：1018, 2024年03月, ［責任著者］
日本語, 研究発表ペーパー・要旨（全国大会，その他学術会議）
不安への対処方法の段階的練習を行えるVR暴露療法システムのユーザビリティの向上
木本 翔太; 後藤 祐一
情報処理学会アクセシビリティ研究会 第22回研究会, 情報処理学会研究報告, 巻：2023-AAC-22, 号：1, 開始ページ：1, 終了ページ：6, 2023年07月, ［責任著者］
日本語, 研究発表ペーパー・要旨（全国大会，その他学術会議）
棋譜と対応付けした将棋用語オントロジの構築
柳沢 健太; 後藤 祐一
第85回情報処理学会全国大会, 巻：2023, 号：1, 開始ページ：135, 終了ページ：136, 2023年03月, ［責任著者］
日本語, 研究発表ペーパー・要旨（全国大会，その他学術会議）
認識プログラミング言語EPLASの改善
相馬亮太; 後藤祐一; 三浦隆太; 奥山龍一
第85回情報処理学会全国大会, 巻：2023, 号：1, 開始ページ：515, 終了ページ：516, 2023年03月, ［責任著者］
日本語, 研究発表ペーパー・要旨（全国大会，その他学術会議）
Construction of a Multimodal Japanese Tourism Knowledge Graph
Lina Feng; Yuichi Goto
第85回情報処理学会全国大会, 巻：2023, 号：1, 開始ページ：523, 終了ページ：524, 2023年03月, ［責任著者］
日本語, 研究発表ペーパー・要旨（全国大会，その他学術会議）
YOLOv4 を用いた省メモリなマスク着用検出システム
覃 文標; 後藤 祐一
第84回情報処理学会全国大会, 巻：2022, 号：1, 開始ページ：585, 終了ページ：586, 2022年03月, ［責任著者］
日本語, 研究発表ペーパー・要旨（全国大会，その他学術会議）
不安を生じさせる環境の段階的再現および各段階での滞在支援を行えるVR暴露療法システムの開発
久野 亮; 後藤 祐一
第84回情報処理学会全国大会, 巻：2022, 号：1, 開始ページ：899, 終了ページ：900, 2022年03月, ［責任著者］
日本語, 研究発表ペーパー・要旨（全国大会，その他学術会議）
電子調査仕様記述言語のための構造化エディタ QSL Editor
阿曼吐爾; 熱吾漢; 後藤 祐一
第83回情報処理学会全国大会, 巻：2021, 号：1, 開始ページ：271, 終了ページ：272, 2021年03月, ［責任著者］
日本語, 研究発表ペーパー・要旨（全国大会，その他学術会議）
強相関論理に基づく前向き推論を用いた自動定理発見法の項書き換え処理による改善
高島 望; 後藤 祐一
第83回情報処理学会全国大会, 巻：2021, 号：1, 開始ページ：477, 終了ページ：478, 2021年03月, ［責任著者］
日本語, 研究発表ペーパー・要旨（全国大会，その他学術会議）
DNS増幅攻撃検出システムのためのSVMカーネル関数の比較
李 陽; 後藤 祐一
第83回情報処理学会全国大会, 巻：2021, 号：1, 開始ページ：447, 終了ページ：448, 2021年03月, ［責任著者］
日本語, 研究発表ペーパー・要旨（全国大会，その他学術会議）
不安に対する対処方法の段階的な練習を追加したVR暴露療法システムの開発
久野 亮; 後藤 祐一
第83回情報処理学会全国大会, 巻：2021, 号：1, 開始ページ：811, 終了ページ：812, 2021年03月, ［責任著者］
日本語, 研究発表ペーパー・要旨（全国大会，その他学術会議）
A Case Study of Formal Analysis Methods with Reasoning for Cryptographic Protocols
Jun Zheng; Yuichi Goto
第19回情報科学技術フォーラム (FIT2020), 開始ページ：123, 終了ページ：126, 2020年09月, ［責任著者］
英語, 研究発表ペーパー・要旨（全国大会，その他学術会議）
Linked Data を用いた理論グリッドの構築 -- 公理的集合論の形式理論フラグメントを用いた事例研究
佐久間 亜都武; 後藤 祐一; 高 宏彪; 程 京徳
第80回情報処理学会全国大会, 巻：2018, 号：1, 開始ページ：463, 終了ページ：464, 2018年03月, ［責任著者］
自動定理発見は計算機に定理を自動的に証明させるのではなく、計算機に未知の定理を自動的に発見させることである。自動定理発見のためのインフラストラクチャとして理論グリッドおよびその理論的基礎が提案された。理論グリッドはさまざまな論理体系に基づく、さまざまな形式理論の部分集合を組織化し、管理する環境である。しかし、理論グリッドは未だ構築されていない。本研究ではデータをWeb上で相互にリンク付けして公開できる仕組みであるLinked Dataを用いた理論グリッドの構築法を提案した。また、公理的集合論の形式理論の部分集合を格納する理論グリッドのプロトタイプを構築した。
日本語, 研究発表ペーパー・要旨（全国大会，その他学術会議）
前向き推論エンジンを用いた自動非単調推論 -- デフォルト論理における事例研究
伊藤 拓也; 後藤 祐一; 程 京徳
第80回情報処理学会全国大会, 巻：2018, 号：1, 開始ページ：91, 終了ページ：92, 2018年03月
前向き推論エンジンは、前提として与えられた論理式群および推論の結果得られた論理式群に推論規則を適用し、終了条件を満たすまで論理式を導出するプログラムである。汎用前向き推論エンジンFreeEnCalは、推論エンジンの一種であり、これまで自動単調推論を実現する用途で利用されてきた。しかし、自動非単調推論への応用はまだ行われていない。本研究では、前向き推論エンジンを用いた自動非単調推論機構の実現の第一歩として、非単調推論の一つであるデフォルト論理に基づく推論においてFreeEnCalを用いた自動推論機構を提案し、その有用性を検討する。
日本語, 研究発表ペーパー・要旨（全国大会，その他学術会議）
鍵交換プロトコルにおける推論的形式分析手法
我妻 和憲; 後藤 祐一; 程 京徳
情報処理学会論文誌, 巻：56, 号：3, 開始ページ：903, 終了ページ：910, 2015年03月15日
暗号プロトコルの安全性を事前に検討するために形式分析が使用されている．モデル検証や定理証明などの従来の証明的形式分析手法において，ある暗号プロトコルに，ある欠陥がないことを検証する際には，その欠陥を分析前に分析者が列挙できていなければならない．これら証明的形式分析手法では，分析者が分析前に列挙していない欠陥は検証できない．このため，分析前に分析対象の欠陥を列挙せずに前向き推論を用いてプロトコルの仕様に暗黙的に含まれる欠陥を導出するという推論的形式分析手法のアイデアが提案され，また，分析における前向き推論を基礎づける論理体系が示された．しかし，推論的形式分析手法の具体的な手法はいまだ確立されていない．本論文では，暗号プロトコルの一種である鍵交換プロトコルにおいて，推論的形式分析手法を提案し，提案手法が有用であることを実証した．証明的形式分析手法で分析者が分析前に欠陥を列挙していなかった鍵交換プロトコルにおいて，提案手法により，分析前に列挙していなかった欠陥を検出できることを確認した．したがって，提案手法は分析者が見落とした欠陥の検出に有用であるといえる．さらに，提案手法は様々な暗号プロトコルに適用させるように拡張が可能であることを示した．Formal analysis of cryptographic protocols is used to find flaws before using the protocols. In traditional formal analysis method with proving such as model checking and theorem proving, analysts must enumerate flaws before analysis when they verify that a cryptographic protocol has not those flaws. In other words, those methods can detect only flaws that analysts enumerate. An idea of formal analysis to use forward reasoning to detect flaws of cryptographic protocols was proposed and logic systems underlying forward reasoning were presented. However, its concrete method is not established. This paper presents a concrete method of formal analysis with reasoning for key exchange protocols and shows its effectiveness. By the proposed method, we analyzed a key exchange protocol and detect flaws that analysts did not enumerate in traditional formal analysis method with proving. Therefore, the proposed method is effective for detecting flaws that analysts overlooked. Finally, we discussed that the proposed method can be extended to various cryptographic protocols.
一般社団法人情報処理学会, 日本語
ISSN：1882-7764, CiNii Articles ID：110009884083, CiNii Books ID：AN00116647
Ada 2012プログラムのためのタスキングデッドロック検出ツール
驛場 猛雄; 後藤 祐一; 程 京徳
情報処理学会論文誌プログラミング（PRO）, 巻：6, 号：2, 開始ページ：105, 終了ページ：105, 2013年08月29日
プログラミング言語Adaは高信頼性の求められる組込みシステム開発のための並行型プログラミング言語である．Adaプログラムにおいて，タスクの同期待ちによるデッドロック（タスキングデッドロック）が発生しうる．Ada 95以前のバージョンでは，タスキングデッドロックの完全な識別方法が提案されており，また，その動的検出ツールが開発されている．一方，Ada 2005およびAda 2012においては，新たな同期待ち処理の追加により，Adaプログラム中に新たな種類のタスキングデッドロックが発生する可能性があるが，まだそれについての報告はされていない．さらに，Ada 2005およびAda 2012で新たに導入された機能や文法が存在するため，Ada 95プログラムのためのタスキングデッドロック動的検出ツールはAda 2012プログラムでは利用することができない．本発表では，Ada 2012プログラムで新たに生じうるタスキングデッドロックについての調査結果を報告する．そして，Ada 2012プログラムに対応したタスキングデッドロックの動的検出ツールの実現とその有用性を示す．Ada is a concurrent programming language for programming high reliable embedded systems. A method to completely identify tasking deadlocks in Ada 95 programs was proposed, and, a tasking deadlock detector, to detect tasking deadlocks in Ada 95 programs at run-time, was also developed. The tasking deadlock detector for Ada 95 programs cannot be used for Ada 2012 programs because Ada 2012 has several changes from Ada 95 from viewpoint of syntax or facility. However, no tasking deadlock detector for Ada 2012 programs has been developed. This presentation presents a tasking deadlock detector for Ada 2012 programs, and shows its effectiveness.
日本語
ISSN：1882-7802, CiNii Articles ID：110009602865, CiNii Books ID：AA11464814
セキュリティターゲットの作成と保守を支援するツールST-Editorの開発
三浦潤一; 後藤祐一; 程京徳
研究報告組込みシステム（EMB）, 巻：2013, 号：7, 開始ページ：1, 終了ページ：8, 2013年05月20日
情報セキュリティの観点から，情報システム・製品が適切に設計され，その設計が正しく実装されていることを評価するための国際標準規格として，ISO/IEC15408（Common Criteria，CC） が策定され利用されている．CC の認証を取得するためには，情報システムのセキュリティ設計仕様書であるセキュリティターゲット （Security Target，ST） を作成しなければならない．一方で，毎日のように，情報システム・製品に対する新たな脆弱性や，攻撃方法が発見されており，脆弱性の修正や対策機能の追加のために情報システム・製品の保守作業が必要不可欠である．その際には，情報システム・製品そのものの保守作業だけでなく，セキュリティ設計仕様書である ST の保守作業もあわせて行う必要がある．しかし，ST の作成・保守作業は，人的・金銭的・時間的コストがかかり，人為的ミスも発生しやすいため，ST の作成・保守作業を支援するためのツールが必要とされている．本研究では，ST の作成と保守を支援するツール ST-Editor を開発した．ST-Editor は，ST の構造を視覚的に表示し，その構造をもとに ST の作成や編集が行える．また，ST の作成において，難しい点，時間のかかる点，ミスを起こしやすい点を支援する機能を備えており，ST-Editor を利用することで，ST 作成・保守時の労力の軽減，ミスの低減が期待できる．
一般社団法人情報処理学会, 日本語
ISSN：0919-6072, CiNii Articles ID：110009579847, CiNii Books ID：AA12149313
セキュリティターゲットの作成と保守を支援するツールST-Editorの開発
三浦潤一; 後藤祐一; 程京徳
研究報告ソフトウェア工学（SE）, 巻：2013, 号：7, 開始ページ：1, 終了ページ：8, 2013年05月20日
情報セキュリティの観点から，情報システム・製品が適切に設計され，その設計が正しく実装されていることを評価するための国際標準規格として，ISO/IEC15408（Common Criteria，CC） が策定され利用されている．CC の認証を取得するためには，情報システムのセキュリティ設計仕様書であるセキュリティターゲット （Security Target，ST） を作成しなければならない．一方で，毎日のように，情報システム・製品に対する新たな脆弱性や，攻撃方法が発見されており，脆弱性の修正や対策機能の追加のために情報システム・製品の保守作業が必要不可欠である．その際には，情報システム・製品そのものの保守作業だけでなく，セキュリティ設計仕様書である ST の保守作業もあわせて行う必要がある．しかし，ST の作成・保守作業は，人的・金銭的・時間的コストがかかり，人為的ミスも発生しやすいため，ST の作成・保守作業を支援するためのツールが必要とされている．本研究では，ST の作成と保守を支援するツール ST-Editor を開発した．ST-Editor は，ST の構造を視覚的に表示し，その構造をもとに ST の作成や編集が行える．また，ST の作成において，難しい点，時間のかかる点，ミスを起こしやすい点を支援する機能を備えており，ST-Editor を利用することで，ST 作成・保守時の労力の軽減，ミスの低減が期待できる．
一般社団法人情報処理学会, 日本語
CiNii Articles ID：110009579625, CiNii Books ID：AN10112981
汎用的な自動定理発見ツールの実現と応用
後藤祐一
総合研究機構研究プロジェクト研究成果報告書, 巻：第6号(平成19年度), 2008年09月
日本語, 速報，短報，研究ノート等（大学，研究機関紀要）
D-023 情報セキュリティ工学データベースシステムISEDSのAPIの実現と応用(D分野:データベース)
堀江 大輔; 後藤 祐一; 程 京徳
情報科学技術フォーラム一般講演論文集, 巻：6, 号：2, 開始ページ：53, 終了ページ：56, 2007年08月22日
FIT(電子情報通信学会・情報処理学会)推進委員会, 日本語
CiNii Articles ID：110007688414, CiNii Books ID：AA11740605
ユビキタスコンピューティングの基盤としての永続コンピューティング(研究成果報告)
後藤祐一
埼玉大学紀要, 工学部, 第1部論文集, 巻：40, 開始ページ：67, 終了ページ：69, 2007年
日本語, 速報，短報，研究ノート等（大学，研究機関紀要）
ユビキタスコンピューティングの基盤としての永続コンピューティング<研究成果報告>後藤祐一
埼玉大学紀要, 工学部, 第1部論文集,
巻：39,
開始ページ：133,
終了ページ：134, 2006年07月
This research report presents some current results of our research project "Persistent Computing Systems as an Infrastructure of Ubiquitous Computing" supported in part by Saitama University
埼玉大学工学部, 日本語, 速報，短報，研究ノート等（大学，研究機関紀要）
ISSN：1880-4446,
CiNii Articles ID：120001370442 追加機能を含んだAda 95プログラムのためのタスキングデッドロック検出ツール
藤乘靖士; 奈良信介; 後藤祐一; 程京徳
情報処理学会論文誌. プログラミング, 巻：46, 号：14, 2005年01月
Ada 95並行プログラムにおけるタスキングデッドロックとは, 同期待ち関係により閉路が作られることでプログラムの実行ができなくなる状態である.そしてAda 95で作られたプログラムを対象としたタスキングデッドロック検出法が開発され実装が行われている.この検出法はTask-Wait-For Graphを構成しタスキングデッドロック検出の条件を調べることで検出を行う.しかし, この検出法は標準部分と追加機能で構成されるAda 95の標準部分のみを使用したプログラムしか対象としていないため, 追加機能を使用したプログラムの場合には検出が行えない.本発表では追加機能を含んだAda95プログラムのためのタスキングデッドロック検出ツールの開発を行った.タスキングデッドロックの要因である同期待ち関係を追加機能部分について調べ, 従来と別の種類の同期待ち関係が存在することが分かった.そこで従来のTask-Wait-For Graphをプログラムが追加機能を含んだ場合にも利用できるように拡張を行った.タスキングデッドロックの検出条件についても拡張を行い, 新たな種類のタスキングデッドロックの検出も行えるようにした.このように拡張・修正したAda 95プログラム向けのタスキングデッドロック検出法に基づき, 検出ツールの実装を行った.そして実際にツールを使ったタスキングデッドロックの検出例を示した.
社団法人情報処理学会
ISSN：0387-5806, CiNii Articles ID：110002769916
