PiPS: an Effective Strategy and Approach for Privacy in Public Surveillance
Sajid Ahmed; Noriaki Yoshiura
7th International Conference on Machine Learning for Networking (MLN'2024), 巻：To appear, 2025年06月, ［査読有り］
Towards Better Accuracy on Imbalance Image Datasets Using Image Augmentation and Convolutional Neural Networks. Sajid Ahmed; Noriaki Yoshiura; Saif Hassan; Adil Khan
7th International Conference on the Dynamics of Information Systems (DIS),
開始ページ：189,
終了ページ：212, 2025年02月,
［査読有り］研究論文（大学，研究機関等紀要）
DOI：https://doi.org/10.1007/978-3-031-81010-7_13DOI ID：10.1007/978-3-031-81010-7_13,
DBLP ID：conf/dis2/AhmedYHK24 Obfuscating LLVM IR with the Application of Lambda Calculus. Rei Kasuya; Noriaki Yoshiura
ACIIDS (2),
開始ページ：27,
終了ページ：39, 2023年,
［査読有り］研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1007/978-981-99-5837-5_3DOI ID：10.1007/978-981-99-5837-5_3,
DBLP ID：conf/aciids/KasuyaY23 Modeling and Verification of a Hybrid Model of Mobile Banking Based Branchless Banking System in E-Banking Using SPIN Tej Narayan Thakur; Noriaki Yoshiura
ACM International Conference Proceeding Series,
開始ページ：149,
終了ページ：156, 2022年02月,
［査読有り］Branchless banking is known as "banking beyond branches"that bridges the gap between the banking institutions and the unbanked people of the rural areas and provides financial services at their doorstep/village by using banking agents. Banking agents employ electronic data capture (EDC) systems such as point of sale (POS) systems and payment cards and create a financial system accessible to all levels of society irrespective of the demographic and geographic conditions of the country. Mobile technologies are becoming more popular day by day among unbanked people. Banking agents can utilize mobile banking to operate branchless banking in rural areas that can be more convenient and cheaper than the overhead costs of POS systems. This paper proposes a new hybrid model of Mobile Banking-based Branchless Banking System (MB-BBS) that provides branchless banking services and mobile banking services to unbanked people in rural areas globally. This paper employs a process meta language (PROMELA) to specify system descriptions and security properties and builds a verification model of MB-BBS. Finally, MB-BBS is successfully verified using a simple PROMELA interpreter (SPIN). The SPIN verification results prove that the proposed MB-BBS is error-free, and banks can employ the MB-BBS model to provide enhanced banking services to unbanked people globally.
研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1145/3524304.3524326Scopus：https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=85132245666&origin=inwardScopus Citedby：https://www.scopus.com/inward/citedby.uri?partnerID=HzOxMe3b&scp=85132245666&origin=inwardDOI ID：10.1145/3524304.3524326,
SCOPUS ID：85132245666 AntiPhiMBS-TRN: A New Anti-phishing Model to Mitigate Phishing Attacks in Mobile Banking System at Transaction Level. Tej Narayan Thakur; Noriaki Yoshiura
Intelligent Information and Database Systems - 14th Asian Conference,
開始ページ：595,
終了ページ：607, 2022年,
［査読有り］Springer, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1007/978-3-031-21967-2_48DOI ID：10.1007/978-3-031-21967-2_48,
DBLP ID：conf/aciids/ThakurY22 Smart Help Desk to support user's PC settings. Kohichi Ogawa; Nobukuni Hamamoto; Noriaki Yoshiura
ICCE-TW,
開始ページ：527,
終了ページ：528, 2022年,
［査読有り］IEEE, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1109/ICCE-Taiwan55306.2022.9869137DOI ID：10.1109/ICCE-Taiwan55306.2022.9869137,
DBLP ID：conf/icce-tw/OgawaHY22 Modeling and Verification of Contactless Mobile Banking System in E-Banking Using SPIN. Tej Narayan Thakur; Noriaki Yoshiura
Computational Science and Its Applications - ICCSA 2021 - 21st International Conference,
開始ページ：581,
終了ページ：597, 2021年,
［査読有り］Springer, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1007/978-3-030-86979-3_41DOI ID：10.1007/978-3-030-86979-3_41,
DBLP ID：conf/iccsa/ThakurY21 AntiPhiMBS-Auth: A New Anti-phishing Model to Mitigate Phishing Attacks in Mobile Banking System at Authentication Level. Tej Narayan Thakur; Noriaki Yoshiura
Database Systems for Advanced Applications. DASFAA 2021 International Workshops - BDQM, GDMA, MLDLDSA, MobiSocial, and MUST,
開始ページ：365,
終了ページ：380, 2021年,
［査読有り］Springer, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1007/978-3-030-73216-5_25DOI ID：10.1007/978-3-030-73216-5_25,
DBLP ID：conf/dasfaa/ThakurY21 AntiPhiMBS: A New Anti-phishing Model to Mitigate Phishing Attacks in Mobile Banking System at Application Level. Tej Narayan Thakur; Noriaki Yoshiura
Intelligent Information and Database Systems - 13th Asian Conference(ACIIDS),
開始ページ：399,
終了ページ：412, 2021年,
［査読有り］Springer, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1007/978-3-030-73280-6_32DOI ID：10.1007/978-3-030-73280-6_32,
DBLP ID：conf/aciids/ThakurY21 Identification of writing on bulletin board via tor Noriaki Yoshiura; Kaichiro Iida
ACM International Conference Proceeding Series,
開始ページ：135,
終了ページ：139, 2020年01月,
［査読有り］© 2020 Association for Computing Machinery. In recent years, awareness of protection of personal information has been increased, and anonymous communication that enables communication with hiding personal information attracts attention. Tor (The Onion Router) realizes anonymous communication most widely, but this anonymization is used for crime. This paper aims to identify users who maliciously write to the Internet bulletin board using Tor. This paper proposes a method of detecting Tor packet of writing on bulletin board. This method captures Tor packets and decides whether the packets is used for writing on bulletin board by using fingerprint. This paper implements the method and experiments to evaluates the method. The result of experiments shows that identification of writing on bulletin websites which use usual CGI programs is not successful at high probability and that modifying CGI programs is useful for identification of writing on bulletin websites. The result also shows that identification of writing on bulletin websites is difficult if users write on bulletin websites and access other websites such as streaming websites.
ACM, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1145/3378936.3378967Scopus：https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=85082001123&origin=inwardScopus Citedby：https://www.scopus.com/inward/citedby.uri?partnerID=HzOxMe3b&scp=85082001123&origin=inwardDOI ID：10.1145/3378936.3378967,
DBLP ID：conf/icsim/YoshiuraI20,
SCOPUS ID：85082001123 A Method of Collecting the IP Addresses of Hidden Server in Tor Networks. Noriaki Yoshiura; Kento Koizumi
Proceedings of the 9th International Conference on Software and Computer Applications(ICSCA),
開始ページ：242,
終了ページ：246, 2020年,
［査読有り］ACM, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1145/3384544.3384589DOI ID：10.1145/3384544.3384589,
DBLP ID：conf/icsca/YoshiuraK20 Packet Reachability Verification in OpenFlow Networks. Noriaki Yoshiura; Keigo Sugiyama
Proceedings of the 9th International Conference on Software and Computer Applications(ICSCA),
開始ページ：227,
終了ページ：231, 2020年,
［査読有り］ACM, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1145/3384544.3384573DOI ID：10.1145/3384544.3384573,
DBLP ID：conf/icsca/YoshiuraS20 Privacy Protection in Location Based Service by Secure Computation Masato Ishikawa; Noriaki Yoshiura
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),
巻：12034 LNAI,
開始ページ：493,
終了ページ：504, 2020年,
［査読有り］© 2020, Springer Nature Switzerland AG. Mobile devices with Global Positioning System enable various kinds of location information searches using location based services (LBS). Location information and query contents of searchers are privacy information. Privacy protection requires to hide location information and query contents of searchers from not only third parties such as eavesdroppers but also location database servers which answer queries. This paper focuses on privacy protection in nearest neighbor search. There are several researches of secure computation in nearest neighbor search for other than LBS. This paper proposes a new method of privacy protection in LBS. The method is based on Asymmetric Scalar-product Preserving Encryption. This paper also shows that the proposed method is faster and more secure than conventional privacy protection methods in LBS.
Springer, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1007/978-3-030-42058-1_41Scopus：https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=85082390021&origin=inwardScopus Citedby：https://www.scopus.com/inward/citedby.uri?partnerID=HzOxMe3b&scp=85082390021&origin=inwardDOI ID：10.1007/978-3-030-42058-1_41,
ISSN：0302-9743,
eISSN：1611-3349,
DBLP ID：conf/aciids/IshikawaY20,
SCOPUS ID：85082390021 利用者のネットワーク機器を監視する監視装置との通信品質を改善する移動ロボット制御手法
小川 康一; 吉浦 紀晃
情報処理学会論文誌, 巻：60, 号：3, 開始ページ：779, 終了ページ：790, 2019年03月, ［査読有り］
これまで我々は，利用者設置のネットワーク機器を監視する小型コンピュータとカメラを利用した監視装置を開発している．さらに，複数の監視機器からの監視情報を，廊下を自動巡回する移動ロボットが無線LANで取得し，移動体通信回線を利用してサーバに中継送信し，集中管理する手法を提案している．当該手法では，監視装置からの監視情報を移動ロボットが無線LANで取得する際に，通信状況の悪い地点で収集を行ってしまい，時間を浪費するという問題点があった．そこで本稿では，移動ロボットと監視装置の間の通信効率が良い地点を探索し，監視情報の収集を行うロボットの移動方式を改善する手法を提案する．本手法を実装し，大学内での実験により提案手法の有効性を確認した．
日本語
ISSN：1882-7764, J-Global ID：201902264708803373, CiNii Articles ID：170000150198, CiNii Books ID：AN00116647
移動ロボットと小型コンピュータを活用したネットワーク機器監視手法
小川 康一; 吉浦 紀晃
情報処理学会論文誌, 巻：60, 号：2, 開始ページ：668, 終了ページ：679, 2019年02月, ［査読有り］
埼玉大学では，利用者が，利用者のローカルなネットワーク環境で，様々なネットワーク機器を利用している．このため，障害発生時には，その原因となりうるものは多岐にわたり，障害解決を困難にしている．特に少数のネットワーク管理者により運用を余儀なくされている場合，管理者の負担は大きなものとなる．この問題に対し我々は，画像処理を利用したネットワーク機器監視手法をすでに提案している．しかし，この手法では，移動体通信回線を監視装置ごとに確保する必要があり，監視装置が多数の場合にコスト高となる．そこで本論文では，遠隔操作による移動ロボットを利用した監視情報の収集手法について述べる．提案手法の有効性を確認するため，大学のメディアコンバータの設置箇所に監視装置を設置し，移動ロボットによる監視情報の収集実験を行った．実験の結果，監視情報の収集に要する時間は，1時間分の情報では約1～2秒かかり，1日分の情報では平均で約5秒，最大で約9秒かかった．実験の結果，先行研究と同程度の通信状態を確保でき，短時間で情報収集が可能であることが分かった．本提案手法は，多くのネットワーク機器を監視しなければならない状況下では，先行研究と比較して通信コストを低減可能である．
日本語
ISSN：1882-7764, CiNii Articles ID：170000150143, CiNii Books ID：AN00116647
通学路への防犯カメラの導入に関するアンケート結果の分析
吉浦 紀晃; 加藤 蒼悟; 田北 啓洋; 太田 直哉; 藤井 雄作
情報処理学会論文誌, 巻：59, 号：3, 開始ページ：1106, 終了ページ：1118, 2018年03月, ［査読有り］
防犯カメラは犯罪捜査に必要不可欠になっている．今や，スーパーなどの店が防犯カメラを設置することは常識になるとともに，道路，駅，公園などの公共の場においても，防犯カメラの設置が進んでいる．また，平成26年度から自治体による通学路への防犯カメラ導入の動きが出てきた．東京都では，公立小学校1,300校の通学路に対して合計6,500台（1校あたり5台）の防犯カメラを導入する計画が発表された．「自治体が，通学路の見守りに責任を持つ．その手段として，防犯カメラを用いる」という考え方は，従来になかったものである．著者らは，プライバシ保護に配慮した防犯カメラの研究開発に取り組んでおり，開発した防犯カメラは群馬県などを中心に設置されている．そこで，全国の自治体（都道府県，市町村，特別区）における，「通学路への防犯カメラ導入」について，その現状と将来像に対するアンケート調査を行った．本論文では，このアンケート結果について報告する．
日本語
ISSN：1882-7764, J-Global ID：201802282625549298, CiNii Articles ID：170000149399, CiNii Books ID：AN00116647
小型コンピュータと画像処理技術を活用したネットワーク機器監視手法の提案と実装
小川 康一; 吉浦 紀晃
情報処理学会論文誌, 巻：59, 号：3, 開始ページ：1026, 終了ページ：1037, 2018年03月, ［査読有り］
大学では，利用者が自身の裁量で多種多様なネットワーク機器を導入し利用している．利用者が使用するネットワーク機器は，SNMPなどの監視プロトコルを利用できない場合が多く，また，利用できたとしても，多種多様なため，大学のネットワーク管理者が利用者のネットワーク環境の状態を把握することは困難である．しかし，利用者が引き起こすネットワーク障害の対応は，大学のネットワーク管理者が，利用者のもとへ出向いて，障害対応しなければならないため，大きな負担となっている．そこで本論文では，ネットワーク管理者の目の代わりとなるカメラを用いてネットワーク機器を撮影し，画像処理技術を活用することによって利用者のネットワーク機器を監視する新しい手法について述べる．この手法では，障害の種類に応じて静止画もしくは動画を選択し利用する．提案手法を小型コンピュータに実装し，評価実験により利用者のネットワーク環境における状態監視に有効であることを示した．
日本語
ISSN：1882-7764, J-Global ID：201802268655260880, CiNii Articles ID：170000149390, CiNii Books ID：AN00116647
Development of a Support System to Resolve Network Troubles by Mobile Robots Kohichi Ogawa; Noriaki Yoshiura
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),
巻：11226 LNCS,
開始ページ：209,
終了ページ：220, 2018年,
［査読有り］© 2018, Springer Nature Switzerland AG. Universities have campus networks and different network administration policies. In some universities, network users can install network devices, which are printers, routers or Ethernet switches, in the networks of the rooms of users for themselves. All the users are not familiar with IT and cannot resolve the network troubles whose causes are the installed network devices. The users ask campus network operators of the universities to resolve the troubles instantaneously, but the operators do not know the network environment of the users or resolve the troubles. The network devices do not have management functions such SNMP because the users do not think that the functions are necessary. These network troubles are burdens of campus network operators and increase the cost of network administration. This paper proposes the support system which resolves the network troubles in the user network environments. This paper also implements and evaluates the support system.
Springer, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1007/978-3-030-02738-4_18Scopus：https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=85055647084&origin=inwardScopus Citedby：https://www.scopus.com/inward/citedby.uri?partnerID=HzOxMe3b&scp=85055647084&origin=inwardDOI ID：10.1007/978-3-030-02738-4_18,
ISSN：0302-9743,
eISSN：1611-3349,
DBLP ID：conf/idcs/OgawaY18,
SCOPUS ID：85055647084 Model checking of TTCAN protocol using UPPAAL Liu Shuxin; Noriaki Yoshiura
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),
巻：10963 LNCS,
開始ページ：550,
終了ページ：564, 2018年,
［査読有り］© Springer International Publishing AG, part of Springer Nature 2018. Recent years, vehicles are becoming more and more intelligent and automatic. Some experts estimate that more than 80% of all current innovations within vehicles are based on distributed electronic systems. The critical parts of such systems are the services provided by the underlying distributed control networks. TTCAN is the extension of the standard Controller Area Network (CAN), which is the most widely adopted in-vehicle network. As the complexity of TTCAN protocol, formal verification is the best choice to verify the specification correctness of TTCAN protocol. The previous researches are only able to verify the models of TTCAN protocol with no more than three nodes. If there are four nodes in the model, it meets two problems: state space explosion and magnanimous verification time. This paper proposes a novel method and the model of TTCAN protocol with 4 nodes can be verified. TTCAN is the extension of the standard Controller Area Network (CAN), which is the most widely adopted in-vehicle network.
Springer, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1007/978-3-319-95171-3_43Scopus：https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=85050002176&origin=inwardScopus Citedby：https://www.scopus.com/inward/citedby.uri?partnerID=HzOxMe3b&scp=85050002176&origin=inwardDOI ID：10.1007/978-3-319-95171-3_43,
ISSN：0302-9743,
eISSN：1611-3349,
DBLP ID：conf/iccsa/LiuY18,
SCOPUS ID：85050002176 A browser application for keyword recommendation based on user web search Chen Kuo; Noriaki Yoshiura
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),
巻：10962 LNCS,
開始ページ：147,
終了ページ：162, 2018年,
［査読有り］© Springer International Publishing AG, part of Springer Nature 2018. Keywords are the words and phrases that are typed into the search box of a search engine such as Google by the Internet users to find out the Web sites that match what the Internet users are trying to find. Keywords can reflect the preferences and needs of users. Keyword recommendation of search engine is a good way to quickly find the target information. Although third-party Web tracking and Google Analytic can analyze keywords of users, both of them work for commercial advertising. Our goal is to provide some tailor-made keywords for users in the browser. We help users find out the keywords that they may be interested in. This paper introduces a browser application that recommends users keywords by analyzing data of the users.
Springer, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1007/978-3-319-95168-3_10Scopus：https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=85049917979&origin=inwardScopus Citedby：https://www.scopus.com/inward/citedby.uri?partnerID=HzOxMe3b&scp=85049917979&origin=inwardDOI ID：10.1007/978-3-319-95168-3_10,
ISSN：0302-9743,
eISSN：1611-3349,
DBLP ID：conf/iccsa/KuoY18,
SCOPUS ID：85049917979 The Relation Between Syntax Restriction of Temporal Logic and Properties of Reactive System Specification Noriaki Yoshiura
INTELLIGENT INFORMATION AND DATABASE SYSTEMS (ACIIDS 2017), PT II,
巻：10192,
開始ページ：105,
終了ページ：114, 2017年,
［査読有り］Open reactive systems provide services to users by interacting the users and environments of the systems. There are several methods that describe formal specifications of reactive systems. Temporal logic is one of the methods. An open reactive system specification is defined to be realizable if and only if there is a program that satisfies the specification even if the environment and the users of the reactive system take any behaviors. There are several kinds of the methods of deciding realizability of open reactive system. These methods are based on automata theory and their complexities are at least double exponential times of the length of a specification. This paper shows the relation between a syntax and realizability properties of reactive system specifications. This relation can reduce the complexity of deciding the properties of reactive system specifications.
SPRINGER INT PUBLISHING AG, 英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1007/978-3-319-54430-4_11DOI ID：10.1007/978-3-319-54430-4_11,
ISSN：0302-9743,
DBLP ID：conf/aciids/Yoshiura17,
Web of Science ID：WOS:000401653300011 Computational Verification of Network Programs for Several OpenFlow Switches in Coq Hiroaki Date; Noriaki Yoshiura
COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2016, PT II,
巻：9787,
開始ページ：223,
終了ページ：238, 2016年,
［査読有り］OpenFlow is a network technology that enables to control network equipment centrally, to realize complicated forwarding of packets and to change network topologies flexibly. In OpenFlow networks, network equipment is separated into OpenFlow switches and OpenFlow controllers. OpenFlow switches do not have controllers that usual network equipment has. OpenFlow controllers control OpenFlow switches. OpenFlow controllers are configured by programs. Therefore, network configurations are realized by software. This kind of software can be created by several kinds of programming languages. NetCore is one of them. The verification method of NetCore programs has been introduced. This method uses Coq, which is a formal proof management system. This method, however, deals with only networks that consist of one OpenFlow switch. This paper proposes a methodology that verifies networks that consist of several OpenFlow switches.
SPRINGER INT PUBLISHING AG, 英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1007/978-3-319-42108-7_17DOI ID：10.1007/978-3-319-42108-7_17,
ISSN：0302-9743,
DBLP ID：conf/iccsa/DateY16,
Web of Science ID：WOS:000381934000017 Abuse Prevention of Street Camera Network by Browsing-History DisclosureY. Fujii; N. Yoshiura; N. Ohta; A. Takita; H. Ueda; K. Maru
Journal of Community Informatics,
巻：12,
号：1,
開始ページ：152,
終了ページ：156, 2016年,
［査読有り］A street camera network, in which many street cameras are installed at a high density, similar to street lights throughout a nation, will have a stronger positive effect in suspect tracking and crime deterrence in the near future. On the other hand, it will also have a stronger negative effect related to the violation of privacy of ordinary citizens. In order to make such a stronger surveillance camera system, which forcibly captures the images of passersby for the public interest, be accepted as an essential social infrastructure by a society, it is necessary for this camera system to make ordinary citizens be convinced that it is used only for the public interest. To realize this, a new concept, in which the abuse of a street camera network is deterred by browsing-history disclosure, is proposed.
University of Waterloo, 研究論文（学術雑誌）
DOI：https://doi.org/10.15353/joci.v12i1.3216DOI ID：10.15353/joci.v12i1.3216,
eISSN：1712-4441 Abuse Prevention of Street Camera Network by Browsing-History Disclosure
Yusaku Fujii; Noriaki Yoshiura; Naoya Ohta; Akihiro Takita
2015 4TH INTERNATIONAL CONFERENCE ON INSTRUMENTATION, COMMUNICATIONS, INFORMATION TECHNOLOGY, AND BIOMEDICAL ENGINEERING (ICICI-BME), 開始ページ：17, 終了ページ：17, 2015年, ［査読有り］
IEEE, 英語, 研究論文（国際会議プロシーディングス）
Web of Science ID：WOS:000380425600006
Implementation of Theorem Prover of Relevant Logic Noriaki Yoshiura
CURRENT APPROACHES IN APPLIED ARTIFICIAL INTELLIGENCE,
巻：9101,
開始ページ：13,
終了ページ：22, 2015年,
［査読有り］The formalization of human deductive reasoning is a main issue in artificial intelligence. Although classical logic is one of the most useful ways for the formalization, the material implication of classical logic has some fallacies. Relevant logic has been studied for the removal of material implication fallacies in classical logic for the formalization of human deductive reasoning. Relevant logic ER is free from fallacies of material implication and has more provability than typical relevant logic R. Moreover, ER has a decision procedure, even though almost all relevant logics are undecidable. This is one of the reasons why ER is an appropriate logic for the formalization of human deductive reasoning. This paper implements automated theorem prover of Relevant logic ER and experiments on this theorem prover to check the processing time of implemented automated theorem prover.
SPRINGER-VERLAG BERLIN, 英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1007/978-3-319-19066-2_2DOI ID：10.1007/978-3-319-19066-2_2,
ISSN：0302-9743,
DBLP ID：conf/ieaaie/Yoshiura15,
Web of Science ID：WOS:000363236300002 Implementation of Decision Procedure of Stepwise Satisfiability of Reactive System Specifications Noriaki Yoshiura; Yuma Hirayanagi
COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2015, PT IV,
巻：9158,
開始ページ：686,
終了ページ：698, 2015年,
［査読有り］Reactive systems ideally never terminate and maintain some interaction with their environment. Temporal logic is one of the methods for formal specification description of reactive systems. For a reactive system specification, we do not always obtain a program that satisfies it because the reactive system program must satisfy the specification no matter how the environment of the reactive system behaves. This problem is known as realizability or feasibility. The complexity of deciding realizability of specifications that are described in linear temporal logic is double or triple exponential time of the length of specifications and realizability decision is impractical. This paper implements stepwise satisfiability decision procedure with tableau method and proof system. Stepwise satisfiability is one of the necessary conditions of realizability of reactive system specifications. The proposed procedure decides stepwise satisfiability of reactive system specifications.
SPRINGER-VERLAG BERLIN, 英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1007/978-3-319-21410-8_52DOI ID：10.1007/978-3-319-21410-8_52,
ISSN：0302-9743,
DBLP ID：conf/iccsa/YoshiuraH15,
Web of Science ID：WOS:000364988500052 Extracting Environmental Constraints in Reactive System Specifications Yuichi Fukaya; Noriaki Yoshiura
COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2015, PT IV,
巻：9158,
開始ページ：671,
終了ページ：685, 2015年,
［査読有り］Reactive systems ideally never terminate and maintain some interaction with their environment. Temporal logic is one of the methods for formal specification description of reactive systems. For a reactive system specification, we do not always obtain a program that satisfies it because the reactive system program must satisfy the specification no matter how the environment of the reactive system behaves. This problem is known as realizability or feasibility. The complexity of deciding realizability of specifications that are described in linear temporal logic is double or triple exponential time of the length of specifications and realizability decision is impractical. To check reactive system specifications, Strong satisfiability is one of the necessary conditions of realizability of reactive system specifications. If a reactive system specification is not strong satisfiable, it is necessary to revise the specification. This paper proposes the method of revising reactive system specifications that are not strong satisfiable. This method extracts environmental constraints that are included in reactive system specifications.
SPRINGER-VERLAG BERLIN, 英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1007/978-3-319-21410-8_51DOI ID：10.1007/978-3-319-21410-8_51,
ISSN：0302-9743,
DBLP ID：conf/iccsa/FukayaY15,
Web of Science ID：WOS:000364988500051 Abuse Prevention of Street Camera Network by Browsing-History Disclosure
Yusaku Fujii; Noriaki Yoshiura; Naoya Ohta; Akihiro Takita
2015 4TH INTERNATIONAL CONFERENCE ON INSTRUMENTATION, COMMUNICATIONS, INFORMATION TECHNOLOGY, AND BIOMEDICAL ENGINEERING (ICICI-BME), 巻：12, 号：1, 開始ページ：17, 終了ページ：17, 2015年, ［査読有り］
IEEE, 英語, 研究論文（国際会議プロシーディングス）
DBLP ID：journals/jci/FujiiYOTUM16, Web of Science ID：WOS:000380425600006
Shopping street safety using all-in-one-type security cameras
Kosuke Muramatsu; Mizuki Ishizawa; Akihiro Takita; Noriaki Yoshiura; Naoya Ohta; Koichi Maru; Hiroshi Ueda; Yusaku Fujii
ICIC Express Letters, 巻：8, 開始ページ：3001, 終了ページ：3006, 2014年12月, ［査読有り］
© 2014 ICIC International. In this paper, we review an “all-in-one-type” stand-alone security camera that is developed for the e-JIKEI Network, which is a network that is designed to allow residents to view their surroundings remotely using an all-in-one-type security camera. We developed an all-in-one device called the “e-JIKEI Camera”. However, the “e-JIKEI Camera” was too expensive to be installed in individual homes. Therefore, in this study, we develop a relatively inexpensive “all-in-one-type” security camera. A social experiment with the all-in-one-type camera is carried out. The experiment is designed to monitor safety in shopping street areas. We also propose a guideline for security camera operations in order to protect the privacy of ordinary citizens. The effectiveness of the security camera and privacy protection using the guidelines are proved by the social experiment. Our social experiments have led to the introduction of the many security cameras to the shopping street areas.
英語, 研究論文（学術雑誌）
ISSN：1881-803X
合格発表時における大学Webサイトへの大量アクセス対応について
小川康一; 吉浦紀晃
学術情報処理研究(CD-ROM), 号：18, 開始ページ：33, 終了ページ：42, 2014年09月, ［査読有り］
学術情報処理研究編集委員会, 日本語
ISSN：2188-9511, J-Global ID：201502235674382835, CiNii Articles ID：40020248146
Review of the e-JIKEI Network: Security camera system for privacy protection and community safety Akihiro Takita; Naoya Ohta; Yusaku Fujii; Hiroshi Ueda; Noriaki Yoshiura; Koichi Maru
2014 INTERNATIONAL CONFERENCE ON INFORMATICS, ELECTRONICS & VISION (ICIEV), 2014年,
［査読有り］We review our proposed concept, the "e-JIKEI Network", and relating social activities. Recently, security camera has attracted considerable attention for improving security in public places such as the station, shop, and street which is full of people's traffic. However, in the local community which is more important for individual person, installing of security camera makes little progress because of high installation cost and the problem of violation of privacy. To solve these problems and promote the installation of security camera, we established "The e-JIKEI Network Promotion Institute" (http://www.e-jikei.org/index_e.html) and developed two types of security camera systems. In order to reduce the installation cost, we developed computer-based security camera system named "Dairi-EYE" series and a stand-alone type security camera. The Dairi-EYE series can construct a security camera system with a computer and inexpensive cameras connected by using USB and LAN. The stand-alone type security camera can work with power-supply only and don't require wiring for video and network cables which raises the installation cost. To solve invading of privacy, we proposed privacy protection concept and introduced it into the Dairi-EYE and a stand-alone camera. A lot of social experiments using our security camera system have been carried out.
IEEE, 英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1109/ICIEV.2014.6850855DOI ID：10.1109/ICIEV.2014.6850855,
Web of Science ID：WOS:000346137900176 Resolving Fallback and Path MTU Problems Caused by Denying ICMP Packets in IPv6. Noriaki Yoshiura; Keita Omi
Internet and Distributed Computing Systems - 7th International Conference, IDCS 2014, Calabria, Italy, September 22-24, 2014. Proceedings,
開始ページ：227,
終了ページ：236, 2014年,
［査読有り］Springer
DOI：https://doi.org/10.1007/978-3-319-11692-1_20DOI ID：10.1007/978-3-319-11692-1_20,
DBLP ID：conf/idcs/YoshiuraO14 Static Data Race Detection for Java Programs with Dynamic Class Loading. Noriaki Yoshiura; Wei Wei
Internet and Distributed Computing Systems - 7th International Conference, IDCS 2014, Calabria, Italy, September 22-24, 2014. Proceedings,
開始ページ：161,
終了ページ：173, 2014年,
［査読有り］Springer
DOI：https://doi.org/10.1007/978-3-319-11692-1_14DOI ID：10.1007/978-3-319-11692-1_14,
DBLP ID：conf/idcs/YoshiuraW14 Network operational Method by using Software-Defined Networking for Improvement of Communication Quality at Disasters Koichi Ogawa; Noriaki Yoshiura
2014 16th Asia-Pacific Network Operations and Management Symposium (APNOMS),
開始ページ：1,
終了ページ：4, 2014年,
［査読有り］The Great East Japan Earthquake, which occurred in March 2011, damaged information infrastructure. Latest researches showed that some parts of communication networks are available even immediately after the earthquake. Therefore, connections among the different available parts of communication networks can keep communication quality for damaged areas at disasters. Recently, "Software-Defined Networking (SDN)" is one of the up-and-coming network configuration technologies. SDN is useful for the network operation and connection quality at disasters. This paper describes the problems of the information infrastructure at disasters, proposes a network operation method at disasters using SDN to keep connection quality for disaster areas and implements the proposed method.
IEEE, 英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1109/APNOMS.2014.6996602DOI ID：10.1109/APNOMS.2014.6996602,
DBLP ID：conf/apnoms/OgawaY14,
Web of Science ID：WOS:000392821700100 首都圏近郊の大学における計画停電の影響と対策
小川康一; 吉浦紀晃
情報処理学会論文誌ジャーナル(CD-ROM), 巻：54, 号：3, 開始ページ：1028, 終了ページ：1037, 2013年03月, ［査読有り］
2011年3月11日に発生した東日本大震災は，東北地方を中心に大きな被害をもたらした．大震災によって，信頼していた通信手段であるインターネットや固定電話や携帯電話の利用に支障が出た．Webサーバが稼働せずに情報発信ができないことも問題となった．震源地から遠く離れた埼玉大学では，地震による直接の被害はなかったものの，その後のエネルギー問題に起因する計画停電などによって間接的に影響が出た．通常，停電への対応としては発電機の利用があるが，計画停電への対応を発電機で行うことは困難であった．そこで，埼玉大学ではデータセンターとVirtual Private Serverを活用することで計画停電に対応した．そのため情報基盤が停止することはなく，学生や教職員はメールやWebによる情報の伝達を継続することができた．このようなコミュニケーション基盤は大学のような教育機関だけでなく，企業や公共機関における安否確認や連絡手段の確保に重要な機能となっている．本論文では，埼玉大学における震災への対応，今回の震災から得た教訓，震災対策について述べる．The Great East Japan Earthquake, which occurred on March 11th 2011, caused significant damage around Tohoku region in Japan. The earthquake was detrimental to reliable communication means such as the Internet, land phones and mobile phones. The earthquake also caused unavailability of web servers; inability to put out information on the Internet became a serious problem. Saitama University is far from the epicenter of the earthquake and the damage at the university was small. However, the university was indirectly affected by rolling blackouts due to energy problems. One of the countermeasures of blackouts is to use power generators, but it is difficult to deal with rolling blackouts only by power generators. The university responded to rolling blackouts by Data Center and Virtual Private Server and could maintain communications among students and staff of the university via e-mail or web servers during blackouts. Maintenance of communication infrastructure such as e-mail or web servers is important for safety confirmation system and communication means not only at education institutions such as universities but also at corporations and public institutions. This paper describes the handling of the earthquake at the university and lessons from earthquake, and discusses earthquake countermeasures for information infrastructure.
情報処理学会, 日本語
ISSN：1882-7837, J-Global ID：201302246004368278, CiNii Articles ID：110009552588
文字列解析の利用による動的クラスローディングに対応した静的データレース検出方法
WEI Wei; 吉浦紀晃
情報処理学会論文誌ジャーナル(CD-ROM), 巻：54, 号：2, 開始ページ：787, 終了ページ：796, 2013年02月, ［査読有り］
マルチスレッドプログラムでは，スレッド間の排他制御においてミスが起こりやすい．排他制御が正しく行われないことに起因するエラーの1つとしてデータレースがある．データレース検出には動的手法と静的手法があり，動的手法はプログラム実行を通して得られた情報を解析することでデータレースを検出する．静的手法はプログラムのソースコードを調べることでデータレースを検出する．Javaプログラムの静的データレース検出方法がすでに提案されているが，この静的データレース検出方法では動的クラスローディングが無視されている．そこで本論文では静的データレース検出方法における動的クラスローディングへの対策の方法を提案し，プログラムを実装する．さらに，開発したプログラムでJavaプログラムのデータレースの検出を試行し，新たにデータレースを起こす箇所を発見した．これにより，本論文の検出プログラムの有効性を示した．Multi-thread programs are likely to have bugs in mutual exclusions between threads. Data race is one of the problems that occur from wrong mutual exclusions. There are two kinds of methods of data race detection: dynamic analysis detection and static analysis detection. Dynamic analysis detection is to detect data race by analyzing the results of program executions. Static analysis detection is to detect data race by analyzing source codes of programs. A method of static analysis detection of data race for Java programs has been proposed, but this method cannot deal with dynamic class loading. This paper proposes a method of static analysis detection of data race for dynamic class loading and implements this method. The experiment of this paper uses this method for Java programs that have dynamic class loading. This experiment shows that the proposed method can find possibilities of data race in Java programs more than previous data race detection methods.
情報処理学会, 日本語
ISSN：1882-7837, J-Global ID：201302215773995541, CiNii Articles ID：110009537077
Indicating important parts in searched web pages by retrieval keywords Shunichi Yokoo; Noriaki Yoshiura
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),
巻：8178,
開始ページ：250,
終了ページ：263, 2013年,
［査読有り］Users cannot always find retrieval keywords immediately in web pages that are obtained by search engines. There are several reasons, one of which is that the retrieval keywords are hidden in searched web pages. To solve the problem, this paper develops software that indicates important HTML elements in searched web pages. The software finds HTML elements that are the most closely related with the retrieval keywords and indicates important part in searched web pages. This paper also evaluates the software by experiments. The results of the experiments show that the software can indicate important parts more correctly than existing similar software and reduce time taken to find the retrieval keywords in searched web pages. © Springer International Publishing Switzerland 2013.
Springer Verlag, 英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1007/978-3-319-04048-6_22DOI ID：10.1007/978-3-319-04048-6_22,
ISSN：1611-3349,
DBLP ID：conf/pakdd/YokooY13,
SCOPUS ID：84894135788 Smart street light system with energy saving function based on the sensor network. Yusaku Fujii; Noriaki Yoshiura; Akihiro Takita; Naoya Ohta
The Fourth International Conference on Future Energy Systems, e-Energy '13, Berkeley, CA, USA, May 22-24, 2013,
開始ページ：271,
終了ページ：272, 2013年,
［査読有り］ACM
DOI：https://doi.org/10.1145/2487166.2487202DOI ID：10.1145/2487166.2487202,
DBLP ID：conf/eenergy/FujiiYTO13 Construction and verification of Mobile Ad Hoc Network Protocols Natsuki Kimura; Noriaki Yoshiura
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),
巻：8300,
開始ページ：198,
終了ページ：212, 2013年,
［査読有り］In recent years, Mobile Ad hoc Networks (MANETs) have been focused with the development and the spread of mobile devices. However, MANETs have a security problem. MANETs do not have choke points like Firewalls. It is difficult for MANETs to have choke points because each mobile device in MANETs moves and because fixed routing does not exist. Moreover there are many kinds of attacks in MANETs such as packet sniffing, tampering, spoofing, etc. Gang Xu et al. proposed a method for constructing secure MANETs. The method is considered to prevent attacks against MANETs because each mobile device in MANETs uses Trusted Platform Module (TPM). TPM can become foundation of security because Tamper-resistance of TPM is difficult to analyze. However, Gang Xu et al. does not present the concrete protocol. This paper constructs the concrete protocol from the proposal of Gang Xu et al and verifies the concrete protocol by SPIN to construct secure protocol. This paper presents the process of constructing secure protocols from ideas of protocols. As a result of constructing and verifying the protocols, this paper concludes that the secure protocol cannot be constructed from the proposal of Gang Xu et al without the connection with certificate authority (CA) of public keys. © Springer International Publishing Switzerland 2013.
Springer, 英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1007/978-3-319-03584-0_15DOI ID：10.1007/978-3-319-03584-0_15,
ISSN：0302-9743,
DBLP ID：conf/css/KimuraY13,
SCOPUS ID：84894116607 Smart street light system looking like usual street lights based on sensor networks Noriaki Yoshiura; Yusaku Fujii; Naoya Ohta
13th International Symposium on Communications and Information Technologies: Communication and Information Technology for New Life Style Beyond the Cloud, ISCIT 2013,
開始ページ：633,
終了ページ：637, 2013年,
［査読有り］Currently, in the whole world, enormous electric energy is consumed by the street lights, which are automatically turn on when it becomes dark and automatically turn off when it becomes bright. This is the huge waste of energy in the whole world and should be changed. This paper discusses a smart street light system, whose concept is proposed by Fujii et al. The main aim of smart street light systems is that lights turn on when needed and light turn off when not needed. Moreover, the smart street light system in this paper behaves like usual street lights that turn on all night. The ideal behavior of the smart street light system is that no one finds turn-off of street lights at night. Whenever someone see street lights, they turn on and whenever no one see street lights, they turn off. The smart street light system consists of LED lights, brightness sensors, motion sensors and short-distance communication networks. The lights turn on before pedestrians and vehicles come and turn off or reduce brightness when there is no one. It will be difficult for pedestrians and drivers of vehicles to distinguish our smart street lights and the conventional street lights because our street lights all turn on before they come. © 2013 IEEE.
英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1109/ISCIT.2013.6645937DOI ID：10.1109/ISCIT.2013.6645937,
SCOPUS ID：84891075985 Detection of the Music or Video Files in BitTorrent
Zhou Zhiqiang; Noriaki Yoshiura
THEORY AND PRACTICE OF COMPUTATION, 巻：5, 開始ページ：202, 終了ページ：213, 2012年, ［査読有り］
Nowadays the Internet has been spreading widely all over the world and the network traffic has been increasing rapidly in the Internet. Peer-To-Peer (P2P) networks have been used widely in order to deliver operating system DVD image or several packages of commercial software, but everyone does not always use P2P networks rightly or legally. One of the examples of illegal usage of P2P networks is to exchange the audio or video files which violate copyrights. BitTorrent is one of the P2P networks that are used relatively rightly. This paper proposes the method which detects illegal file exchange of BitTorrent. This paper regards video or music files exchanged by BitTorrent as illegal files and proposes the method which detects the video or music files exchanged by BitTorrent. This paper also implements this method in BitTorrent software and evaluates this method.
SPRINGER, 英語, 研究論文（国際会議プロシーディングス）
ISSN：1867-2914, Web of Science ID：WOS:000317053700016
Operational experiences from the viewpoint of university it system administrators in the metropolitan area on east Japan great earthquake Kohichi Ogawa; Noriaki Yoshiura
SIGUCCS'12 - ACM Proceedings of the SIGUCCS Annual Conference,
開始ページ：239,
終了ページ：243, 2012年,
［査読有り］Saitama University is located in the metropolitan area of Japan. In March 2011 on the East Japan Great Earthquake occurred. The university is about 200 km from the epicenter of the earthquake. While the earthquake did not have a direct impact on the university, it did result in multiple indirect damages. The earthquake influenced operations of the university's information infrastructure, whose system administrators had to take several operations in order to keep the infrastructure service functioning. One of the damages of the earthquake was a rolling blackout. The earthquake caused damages to various electric power plants, including Fukushima Daiichi Nuclear Power Plant. The area in and around Tokyo, the Metropolitan Area in Japan, was short of electric power, and rolling blackouts were unavoidable. Some important servers, such as web servers and e-mail, could not run because the rolling blackouts frequently caused hardware troubles. As a result, it was difficult for the people of the university to use communication tools such as email, web and so on. This paper explains operational experiences and lessons based on the experiences from the viewpoint of system administrators in Saitama University
the article also discusses operation and management of information systems in disasters. Copyright © 2012 ACM.
ACM, 英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1145/2382456.2382515DOI ID：10.1145/2382456.2382515,
DBLP ID：conf/siguccs/OgawaY12,
SCOPUS ID：84869169126 Stepwise satisfiability checking procedure for reactive system specifications by tableau method and proof system Yoshinori Neya; Noriaki Yoshiura
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),
巻：7635,
開始ページ：283,
終了ページ：298, 2012年,
［査読有り］Open reactive systems are systems that ideally never terminate and are intended to maintain some interaction with their environment. Temporal logic is one of the methods for formal specification description of open reactive systems. For an open reactive system specification, we do not always obtain a program satisfying it because the open reactive system program must satisfy the specification no matter how the environment of the open reactive system behaves. This problem is known as realizability and the complexity of realizability check is double or triple exponential time of the length of specification formula and realizability checking of specifications is impractical. This paper implements stepwise satisfiability checking procedure with tableau method and proof system. Stepwise satisfiability is one of the necessary conditions of realizability of reactive system specifications. The implemented procedure uses proof system that is introduced in this paper. This proof system can accelerate the decision procedure, but since it is imcomplete it cannot itself decide the realizability property of specifications. The experiment of this paper shows that the implemented procedure can decide the realizability property of several specifications. © 2012 Springer-Verlag.
Springer, 英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1007/978-3-642-34281-3_21DOI ID：10.1007/978-3-642-34281-3_21,
ISSN：0302-9743,
DBLP ID：conf/icfem/NeyaY12,
SCOPUS ID：84871650261 Applying Tesseract-OCR to detection of image spam mails Daisuke Yamakawa; Noriaki Yoshiura
14th Asia-Pacific Network Operations and Management Symposium: "Management in the Big Data and IoT Era", APNOMS 2012 - Final Program,
開始ページ：1,
終了ページ：4, 2012年,
［査読有り］This paper applies Tesseract-OCR, optical character recognition software, to image spam mail filters. Tesseract-OCR can be specific to a certain language and this paper makes Tesseract-OCR specific to spam words. This specialization decreases times and CPU power that it takes to check whether images of mails include spam words. This paper examines the ability of the spam mail filter of Tesseract-OCR by experiment. © 2012 IEEE.
IEEE, 英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1109/APNOMS.2012.6356068DOI ID：10.1109/APNOMS.2012.6356068,
DBLP ID：conf/apnoms/YamakawaY12,
SCOPUS ID：84871654382 Test tool for equivalence of access control list Hirokazu Sayama; Noriaki Yoshiura
14th Asia-Pacific Network Operations and Management Symposium: "Management in the Big Data and IoT Era", APNOMS 2012 - Final Program,
開始ページ：1,
終了ページ：4, 2012年,
［査読有り］Computer network security is one of the important issues in the Internet age. Network administrators of organizations such as companies or universities filter IP packets at network equipment such as Layer 3 switch or firewall between their organizations and the Internet to keep the security of the computer networks. One of the expressions of the filtering rules of IP packets is access control list. Access control lists are lists of rules, which describe permission or denial of packet transition based on source IP address, destination IP address, port numbers and so on. Access control lists are not always fixed
network administrators change access control lists according to the change of network topology or network security policy. After several changes, access control lists may include redundancies and network administrators have to modify the access control list to remove redundancies. This modification must keep the semantics of access control list. After modification, the network administrators must confirm that the semantics of access control list does not change. One of the methods of equivalence of two access control lists is to send test IP packets to the network equipment that filters IP packets and to check the transitions of the IP packets. This paper proposes the method of generating test packets to confirm the equivalence of two access control lists. © 2012 IEEE.
IEEE, 英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1109/APNOMS.2012.6356103DOI ID：10.1109/APNOMS.2012.6356103,
DBLP ID：conf/apnoms/SayamaY12,
SCOPUS ID：84871666951 e-JIKEI Network using e-JIKEI Cameras: Community security using considerable number of cheap stand-alone cameras Yusaku Fujii; Koichi Maru; Kojiro Kobayashi; Noriaki Yoshiura; Naoya Ohta; Hiroshi Ueda; Preecha Yupapin
SAFETY SCIENCE,
巻：48,
号：7,
開始ページ：921,
終了ページ：925, 2010年08月,
［査読有り］The e-JIKEI Network, a concept for realizing a safer and more comfortable community, and the e-JIKEI Camera, a stand-alone camera developed for the e-JIKEI Network, are reviewed. The concept of the e-JIKEI Network is that residents view their surroundings using cheap cameras, which act as their eyes, and home computers, which act as their brains, using the free software provided by us through the Internet. For the complete protection of the privacy of ordinary citizens, we propose a second concept supporting the concept of the e-JIKEI Network; in this concept, those who own and manage images (owners) and those who have the right to view these images (viewers) are separated by means of image encryption. Since 2004, the "Dairi-EYE" series, a free software for a personal computer (PC)-based system, has been distributed through our website. However, the use of PCs is not very user-friendly. Therefore, an all-in-one device called the "e-JIKEI Camera" has been developed. A social experiment of the e-JIKEI Network using e-JIKEI Cameras has been carried out. (C) 2010 Elsevier Ltd. All rights reserved.
ELSEVIER SCIENCE BV, 英語, 研究論文（学術雑誌）
DOI：https://doi.org/10.1016/j.ssci.2010.03.018DOI ID：10.1016/j.ssci.2010.03.018,
ISSN：0925-7535,
Web of Science ID：WOS:000278038100010 利他主義と情報技術による地域社会の安全化 e自警ネットワーク実現に向けたシステムの導入と展望
丸浩一; 藤井雄作; 杉田陽市; 太田直哉; 吉浦紀晃; 上田浩; 白木慎也
建築雑誌, 巻：125, 号：1599, 開始ページ：99, 終了ページ：104, 2010年01月, ［査読有り］
A novel concept on operating security camera system, "e-JIKEI Network", attempts on the introduction of systems, and prospects for the concept are described. The basic concept of "e-JIKEI Network" is that a community will have a strong ability to prevent crime only if some residents keep watch on what happens around their houses using information technology. Community safety would thus be realized by the voluntary cooperation and altruism of ordinary citizens. On the introduction of the systems, altruistic mind of the citizens has been enhanced, and consequently, the systems have been successfully introduced to residential districts and schools.
一般社団法人日本建築学会, 日本語
ISSN：0003-8555, J-Global ID：201002266128353162, CiNii Articles ID：110007522840
Creating worldwide community safety with present technology and privacy protection: The e-JIKEI Network project Kohjiro Kobayashi; Koichi Maru; Naoya Ohta; Noriaki Yoshiura; Hiroshi Ueda; Preecha Yupapin; Yusaku Fujii
1ST INTERNATIONAL CONFERENCE ON SECURITY CAMERA NETWORK, PRIVACY PROTECTION AND COMMUNITY SAFETY 2009,
巻：2,
号：1,
開始ページ：6,
終了ページ：13, 2010年,
［査読有り］In this paper, the e-JIKEI Network project, a project for creating community safety with present day technology, is reviewed With the e-JIKEI Network, each individual watches around his/her house using cameras as his/her eyes, a computer as his/her brain, and software. For privacy protection, we propose the e-JIKEI with Privacy Protection, in which people who own and manage images (the owner) and people who have the right to view the images (the viewer) are separated by the encryption of the images. In order to evaluate our concept, social experiments have been performed. The present status and future prospects have been discussed in detail. (C) 2009 Published by Elsevier Ltd.
ELSEVIER SCIENCE BV, 英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1016/j.sbspro.2010.01.005DOI ID：10.1016/j.sbspro.2010.01.005,
ISSN：1877-0428,
Web of Science ID：WOS:000281956700001 Restrained surveillance towards community benefit Sabaragamu Koralalage Krishan; Noriaki Yoshiura
1ST INTERNATIONAL CONFERENCE ON SECURITY CAMERA NETWORK, PRIVACY PROTECTION AND COMMUNITY SAFETY 2009,
巻：2,
号：1,
開始ページ：28,
終了ページ：35, 2010年,
［査読有り］Today, there are millions of surveillance cameras monitoring and recording day to day activities of people in the sake of safety and security of general public. However, like double-edged sword, there are both pros and cons when using such technology to protect people. Some of the advantages like detecting abnormal behaviors, identifying theft attempts of evidence for crime scene, etc., are overrun by the abilities of abusing the same technology in several ways due to the miniaturization and lack of limits or controls on their use. Especially miniaturization with latest technological development has enabled setting and hiding those cameras beyond the imaginations. Therefore in this paper we proposed a method to protect people from monitoring and recording their behaviors without consent and control illegal usage while enabling a method to distinguish legal cameras from fake. (C) 2009 Published by Elsevier Ltd.
ELSEVIER SCIENCE BV, 英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1016/j.sbspro.2010.01.008DOI ID：10.1016/j.sbspro.2010.01.008,
ISSN：1877-0428,
Web of Science ID：WOS:000281956700004 USB memory for surveillance camera software Noriaki Yoshiura; Yoshinori Neya
1ST INTERNATIONAL CONFERENCE ON SECURITY CAMERA NETWORK, PRIVACY PROTECTION AND COMMUNITY SAFETY 2009,
巻：2,
号：1,
開始ページ：36,
終了ページ：41, 2010年,
［査読有り］This paper proposes surveillance camera software system which runs on personal computer without hard disk. Several kinds of surveillance camera software have been proposed and some of them are free software. However, these kinds of software need personal computer which has some operation system and users which have ability or knowledge of computer. These facts are hurdles of spreading or installing surveillance camera. The surveillance camera software which is proposed in this paper is USB memory style software and works on personal computer without hard disk. This software does not require operating system because USB memory has operating system in it. This system is made based on Knoppix which is one of the Linux distributions and Linux free surveillance camera software. (C) 2009 Published by Elsevier Ltd.
ELSEVIER SCIENCE BV, 英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1016/j.sbspro.2010.01.009DOI ID：10.1016/j.sbspro.2010.01.009,
ISSN：1877-0428,
Web of Science ID：WOS:000281956700005 Security of communities based on the e-JIKEI Network with information technology and altruism Koichi Maru; Yusaku Fujii; Yoichi Sugita; Naoya Ohta; Noriaki Yoshiura; Hiroshi Ueda; Shinya Shiraki
1ST INTERNATIONAL CONFERENCE ON SECURITY CAMERA NETWORK, PRIVACY PROTECTION AND COMMUNITY SAFETY 2009,
巻：2,
号：1,
開始ページ：88,
終了ページ：94, 2010年,
［査読有り］Attempts on the introduction of systems of the e-JIKEI Network, a novel concept on operating security camera system, are reviewed. The concept of the e-JIKEI Network is that a community will have a strong ability to prevent crime only if some residents keep watch their surroundings. Community safety would be realized by the voluntary cooperation and altruism of citizens. Before introducing the systems, altruistic mind of the citizens has been enhanced, and consequently, the systems have been successfully introduced to residential districts and schools. The prospects for the concept of the e-JIKEI Network are discussed. (C) 2009 Published by Elsevier Ltd.
ELSEVIER SCIENCE BV, 英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1016/j.sbspro.2010.01.019DOI ID：10.1016/j.sbspro.2010.01.019,
ISSN：1877-0428,
Web of Science ID：WOS:000281956700015 Introduction of security camera system with privacy protection into a residential area Takashi Yokote; Yusaku Fujii; Koichi Maru; Noriaki Yoshiura; Naoya Ohta; Hiroshi Ueda
1ST INTERNATIONAL CONFERENCE ON SECURITY CAMERA NETWORK, PRIVACY PROTECTION AND COMMUNITY SAFETY 2009,
巻：2,
号：1,
開始ページ：105,
終了ページ：110, 2010年,
［査読有り］Social experiment is explained about introduction of the security camera system with privacy protection into residential area in this paper. In July 2008, this experiment by using the security camera system with privacy protection had been started into a residential area: Tsunatori-cho, Isesaki. In this experiment, the security camera system doesn't monitor only a premise of house but also watches the road which is public space in front of the house. This system is introduced into one of several houses of residential area, there is to keep the life in the whole region. However, monitoring of public space has the risk of privacy violation. So the privacy protection function was added to prevent this risk. Because images are encrypted and saved by this function, nobody watch them without a password for decoding. Consequently, the privacy is protected because only a person owning a password can watch. Detail of social experiment using this system in residential area is explained. (C) 2009 Published by Elsevier Ltd.
ELSEVIER SCIENCE BV, 英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1016/j.sbspro.2010.01.022DOI ID：10.1016/j.sbspro.2010.01.022,
ISSN：1877-0428,
Web of Science ID：WOS:000281956700018 Analysis of Spam Mail Sent to Japanese Mail Addresses in the Long Term Daisuke Yamakawa; Noriaki Yoshiura
PROCEEDINGS OF THE 2010 IEEE-IFIP NETWORK OPERATIONS AND MANAGEMENT SYMPOSIUM,
開始ページ：833,
終了ページ：836, 2010年,
［査読有り］Today e-mail is a indispensable communication tool because of wide spread of Internet technology and many spam mails are delivered in the Internet. In order to avoid spam mails, spam filter is used in many mail servers or PC. It checks the content, sending address or so on of a mail and decides whether the mail is a spam mail. After spam filter works well to remove spam mails, spam senders improve the methods of sending spam. Spam filter technology and spam sending method make a vicious circle. Ending this vicious circle needs spam mail characteristics including the change according to spam filter improvement. This paper analyzes spam mails which are saved in the long term in order to obtain spam mail characteristics and reports the result of this analysis.
IEEE, 英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1109/NOMS.2010.5488360DOI ID：10.1109/NOMS.2010.5488360,
ISSN：1542-1201,
DBLP ID：conf/noms/YamakawaY10,
Web of Science ID：WOS:000287357500102 利他主義と情報技術による地域社会の安全化 : e自警ネットワーク実現に向けたシステムの導入と展望(第4部 学術論文,ユビキタス社会と建築・都市のフロンティア)
丸 浩一; 藤井 雄作; 杉田 陽市; 太田 直哉; 吉浦 紀晃; 上田 浩; 白木 慎也
日本建築学会 総合論文誌, 号：8, 開始ページ：99, 終了ページ：104, 2010年01月, ［査読有り］
A novel concept on operating security camera system, "e-JIKEI Network", attempts on the introduction of systems, and prospects for the concept are described. The basic concept of "e-JIKEI Network" is that a community will have a strong ability to prevent crime only if some residents keep watch on what happens around their houses using information technology. Community safety would thus be realized by the voluntary cooperation and altruism of ordinary citizens. On the introduction of the systems, altruistic mind of the citizens has been enhanced, and consequently, the systems have been succe...
社団法人日本建築学会, 日本語, 研究論文（学術雑誌）
ISSN：1347-6548, CiNii Articles ID：110007522840, CiNii Books ID：AA12207715
Formal Analysis of OTag Protocol on Authentication and Confidentiality
Krishan Sabaragamu Koralalage; Noriaki Yoshiura
PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON UBIQUITOUS INFORMATION TECHNOLOGIES & APPLICATIONS (ICUT 2009), 開始ページ：224, 終了ページ：229, 2009年, ［査読有り］
A novel RFID Tag architecture called OTag (Object Tag)[4] and its protocol was designed to enhance the communication among real world objects. ITS (Intelligent Transportation System) was selected as the very first candidate to adopt above technology. Three actors of ITS; vehicle, user and infrastructure were represented as relevant instances of OTag class to enable the communications. To assure the security and privacy of above communications, five sub protocols: non encrypted reading, encrypted reading, encrypted writing ownership transferring and key updating were evaluated using formal analysis technique. First of all, the five protocols were modeled in formal language called HLPSL[1,3]. Then the validation of the modeled protocol representations was conducted by using a tool called SPAN[3]. After that, those five protocols were executed against the modeled intruder to verify desired security goals to verify the strengths and weakness by using AVISPA [1, 2]. Finally, results of each execution were analyzed to derive the concluding remarks.
IEEE, 英語, 研究論文（国際会議プロシーディングス）
ISSN：1976-0035, Web of Science ID：WOS:000283532900041
iRail: A Novel Architecture Towards Autonomous Locomotives and Intelligent Infrastructures for Developing Countries Krishan Sabaragamu Koralalage; Noriaki Yoshiura
2009 12TH INTERNATIONAL IEEE CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS (ITSC 2009),
開始ページ：504,
終了ページ：509, 2009年,
［査読有り］Due to the improvement of technology, the way human being do things are changing day by day. Railway infrastructures and locomotives have also been enhanced with latest technologies. Japan and Europe are the frontiers to adopt state-of-the-art technologies to railway systems. However we discover that there is a possibility beyond the current available systems. Though it is not an easy task to step beyond the best available technology, our aim was to develop novel autonomous locomotives with intelligent infrastructures to enhance railway systems in developing countries. In this paper we proposed a novel architecture called iRail by designing a rich radio frequency tag, its communicational protocols, and possible applications. The proposed system will manage incidents efficiently with faster recovery time, allow autonomous independent locomotive movements, provide comprehensive real time information to both passengers and operators, avoid collisions among locomotives and also between locomotive and rail road crossing vehicles, reduce overheads, and simplify maintenance by guaranteeing secure wireless communication system.
IEEE, 英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1109/ITSC.2009.5309671DOI ID：10.1109/ITSC.2009.5309671,
Web of Science ID：WOS:000289120000084 iPark: A Universal Solution for Vehicle Parking Krishan Sabaragamu Koralalage; Noriaki Yoshiura
VISIONING AND ENGINEERING THE KNOWLEDGE SOCIETY: A WEB SCIENCE PERSPECTIVE, PROCEEDINGS,
巻：5736,
開始ページ：594,
終了ページ：604, 2009年,
［査読有り］Urbanization and drastic increase of vehicle usage has brought up a considerable problem in vehicle parking. Lack of efficient infrastructure facilities to manage increasing demand with available space and inability to provide intelligent, standard, and interoperable parking solutions are some of the main reasons to cause the above problem. Therefore, in this paper we introduced a novel parking solution called iPark which could solve almost all the existing issues using rich radio frequency chip design. iPark could realize the potential benefits in intelligent transportation systems (ITS) and allows real time, efficient, effective and hassle free parking. It also enables dynamic parking management, provides information on idling lots, allow prior reservations, provide navigation support towards idling or reserved lot, automate collecting of charges and enforce rules and regulations on illegal parking. Moreover, unlike other solutions, iPark works for both free entrance and controlled entrance parking lots by reducing the unnecessary burdens.
SPRINGER-VERLAG BERLIN, 英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1007/978-3-642-04754-1_60DOI ID：10.1007/978-3-642-04754-1_60,
ISSN：0302-9743,
DBLP ID：conf/wsks/KoralalageY09,
Web of Science ID：WOS:000273452000060 uCard: A Novel Privacy Friendly Radio Frequency Tag Architecture for Universal Loyalty Card Krishan Sabaragamu Koralalage; Noriaki Yoshiura
DIGITAL BUSINESS,
巻：21,
開始ページ：53,
終了ページ：63, 2009年,
［査読有り］According to some authoritative marketing analysis, a lame percentage of daily sales are increased by its frequent customers. Due to the above fact almost all the stores started to implement point card or loyalty card schemes to achieve the eighty to twenty situation for both the customers and the retailers. Currently average customer has got at least five to six loyalty cards on different stores. Some venders have implemented such card system into the mobile phones. In addition to those cards each person at least has to have two or more hospital or access cards too. However subscribing several cards to achieve economical benefits have become a burden due to the difficulty arise when managing them. Therefore in this paper we proposed a novel privacy friendly loyalty card architecture which allows easy management of cards by using all-in-one card called uCard (Universal Card) using Radio Frequency Identification technology. Our universal card architecture will provide an ideal strategy for stores to build new relationships and to harvest the reward of customer loyalty by enhancing the customer experience while eliminating the hassle of managing several cards and decreasing the fear on personal privacy.
SPRINGER, 英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1007/978-3-642-11532-5_7DOI ID：10.1007/978-3-642-11532-5_7,
ISSN：1867-8211,
DBLP ID：conf/digibiz/KoralalageY09,
Web of Science ID：WOS:000301970600007 Decreasing Access Control List Processed in Hardware Takumichi Ishikawa; Noriaki Yoshiura
MANAGEMENT ENABLING THE FUTURE INTERNET FOR CHANGING BUSINESS AND NEW COMPUTING SERVICES, PROCEEDINGS,
巻：5787,
開始ページ：453,
終了ページ：457, 2009年,
［査読有り］Access control list (ACL) is one of the most important things in computer network security. While cheap router or PC processes ACL by software, network equipment such as Layer 2 or 3 switch processes ACL by hardware because there is a speed limit in software process ability. The hardware process of ACL can handle high speed network packet, however, this capability limits ACL configuration such as the limit of the number of rules in ACL. This paper proposes the software that decreases the number of rules in ACL to satisfy the limit of hardware. This paper also evaluates this software by experiment in which this software is applied to practical ACL.
SPRINGER-VERLAG BERLIN, 英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1007/978-3-642-04492-2_51DOI ID：10.1007/978-3-642-04492-2_51,
ISSN：0302-9743,
DBLP ID：conf/apnoms/IshikawaY09,
Web of Science ID：WOS:000272825300051 Object Tag Architecture for Innovative Intelligent Transportation Systems Krishan Sabaragamu Koralalage; Noriaki Yoshiura
ADVANCES IN DATABASES AND INFORMATION SYSTEMS, PROCEEDINGS,
巻：5739,
開始ページ：314,
終了ページ：329, 2009年,
［査読有り］Safety is the paramount reason for Intelligent Transportation Systems (ITS). There are three main actors in ITS system: users, vehicles and infrastructure. Though the communications among those three actors are very vital, there is no common platform to make extensive Communication among those three actors yet. That is one of the main reasons to occur fatalities. Therefore we consider the Radio Frequency (RF) identification as a candidate technology and develop a novel tag architecture called OTag (Object Tag) to enable the communication among them including vehicle to vehicle. In this paper we explain the OTag architecture and its protocol which enables a common communication platform. Furthermore, access control mechanisms, ability to be interoperable, stand-alone, self-describing, and plug and play usage are also described. Thus, how OTag architecture will advance the existing ITSs and create novel applications to support safe, secure, comfortable and productive social life in eco-friendly manner are concentrated.
SPRINGER-VERLAG BERLIN, 英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1007/978-3-642-03973-7_23DOI ID：10.1007/978-3-642-03973-7_23,
ISSN：0302-9743,
DBLP ID：conf/adbis/KoralalageY09,
Web of Science ID：WOS:000271897800022 Formal definition of relevant logical symbol occurrence Noriaki Yoshiura
KNOWLEDGE-BASED INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT 2, PROCEEDINGS,
巻：5178,
開始ページ：508,
終了ページ：516, 2008年,
［査読有り］The formalization of human reasoning is a main issue in artificial intelligence. Although relevant logic is one of most useful ways of such formalization, inference of logic does not correspond to that of human reasoning because the aim of logical inference is to deal with the truth values of propositions while that of human reasoning is to discover useful information. We introduce the concept of logical symbol occurrence relevance into relevant logic for formalization of human reasoning. This paper discusses relevance of logical symbol occurrence and gives formal definition of relevance from the discussion. Moreover, we propose new logic where all logical symbol occurrences in theorems are relevant with respect to the relevance definition of this paper.
SPRINGER-VERLAG BERLIN, 英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1007/978-3-540-85565-1-63DOI ID：10.1007/978-3-540-85565-1-63,
ISSN：0302-9743,
DBLP ID：conf/kes/Yoshiura08,
Web of Science ID：WOS:000259394400063 Discovering Web Pages Censored by Search Engines in Japan Takanori Moroi; Noriaki Yoshiura
2008 INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE FOR MODELLING CONTROL & AUTOMATION, VOLS 1 AND 2,
開始ページ：1171,
終了ページ：1176, 2008年,
［査読有り］Google is a popular search engine, however, there are some cases that search results are manipulated artificially by Google. In this paper, we develop a system of discovering semiautomatically the web pages which are censored by Google in Japan. We also analyze the censored web pages discovered by the system to find the tendency of censorship. The outline of discovering censored web pages is as follows: The system compares the results of American and Japanese Google. If some web page exists on the result of American Google but not on that of Japanese Google, the system decides by using search option whether this web page is censored. The experiment in this paper discovers 169 web pages censored by Japanese Google in 14 weeks.
IEEE, 英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1109/CIMCA.2008.137DOI ID：10.1109/CIMCA.2008.137,
DBLP ID：conf/cimca/MoroiY08,
Web of Science ID：WOS:000277076500202 Statistical Analysis of Slow Portsweep Noriaki Yoshiura
CHALLENGES FOR NEXT GENERATION NETWORK OPERATIONS AND SERVICE MANAGEMENT, PROCEEDINGS,
巻：5297,
開始ページ：470,
終了ページ：473, 2008年,
［査読有り］This paper reports statistical analysis of portsweep, especially, slow portsweep. Since we need long span traffic data in order to analyze slow portsweep, we collected traffic data during twenty-five months by one PC having sixteen IP addresses on a network interface. The report of this paper seems useful for network attack detection or protection, especially for long span network attacks.
SPRINGER-VERLAG BERLIN, 英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1007/978-3-540-88623-5-54DOI ID：10.1007/978-3-540-88623-5-54,
ISSN：0302-9743,
DBLP ID：conf/apnoms/Yoshiura08,
Web of Science ID：WOS:000261030600054 e-JIKEI Network Project/Japan Enhancing community security
Hiroshi Ueda; Yusaku Fujii; Shigeru Kumakura; Noriaki Yoshiura; Naoya Ohta
eGov, 巻：11, 号：12, 開始ページ：9, 終了ページ：11, 2006年12月, ［招待有り］
英語, 研究論文（学術雑誌）
Residential district security using home computers
Yusaku Fujii; Shigeru Kumakura; Noriaki Yoshiura; Naoya Ohta; Hiroaki Otsuka
18th IMEKO World Congress 2006: Metrology for a Sustainable Development, 巻：2, 開始ページ：932, 終了ページ：936, 2006年
We are promoting a novel concept the e-JIKEI Network: a community will have a strong ability to prevent crime only if some residents keep watch on what happens around their houses with the aid of their own home computers, commercially available cheap cameras, and freesoftware. Under this scheme, residents would view their surroundings using cheap cameras as their own eyes and home computers as their own brains with altruistic spirit. Community safety would thus be realized by the voluntarily cooperation and altruism of ordinary citizens using widespread modern technology. In this paper, an attempt for realizing the residential district security using the e-JIKEI Network is described.
英語, 研究論文（国際会議プロシーディングス）
SCOPUS ID：84877742816
Development and Evaluation of a Working Model for Real-Time Interactive Distance Learning over the Japan Gigabit Network
Rajkumar Deshpande; YOSHIURA NORIAKI; ONOZATO YOSHIKUNI; Prakash Vyavahare
Journal of Computer Society of INDIA,, 巻：Vol.36,July-September2006, 号：No.3, 開始ページ：2, 終了ページ：7, 2006年, ［査読有り］
移動体の移動を考慮した二次元セルラーネットワークの性能評価 井上通宏; 吉浦紀晃; 小野里好邦; 木村博茂
電気学会論文誌 C,
巻：126,
号：7,
開始ページ：877,
終了ページ：882, 2006年,
［査読有り］In this paper, we investigate the performance of two-dimensional cellular networks in consideration of the mobility of mobile nodes through the simulation. We assume that each mobile node moves in accordance with the random way point method in the two-dimensional cellular network. The speed of mobile nodes are given by three different probability distributions, that is, truncated exponential, uniform, and reverse truncated distributions. The moving angle of mobile nodes is given by the uniform distribution. The performance is measured by blocking probability of handover call, mean handover times, and mean channel occupation time. From the simulation studies, we conclude that 1)the effect of the change of moving angle on the performance is very small. 2)concerning the speed distribution of the mobile nodes, the dominant factor on the performance is the low speed of mobile nodes.
一般社団法人 電気学会, 英語, 研究論文（学術雑誌）
DOI：https://doi.org/10.1541/ieejeiss.126.877DOI ID：10.1541/ieejeiss.126.877,
ISSN：1348-8155,
J-Global ID：200902291153835590,
CiNii Articles ID：10018146520,
SCOPUS ID：33745773492 一次元セルラーネットワークにおける保留時間を考慮したチャネル制御について
吉浦紀晃; 井上通宏; 小野里好邦
シミュレーション, 巻：24, 号：2, 開始ページ：112, 終了ページ：121, 2005年06月, ［査読有り］
In one-dimensional mobile cellular networks such as arterial roads or speedways, blocking rate of call increases according to the increase of new call arrival rate. If there is only one available channel and if we do not distinguish between new call and handover call, then it is arbitrary which new call or handover call can use the available channel and starts communication. Moreover, if some call uses a channel in the long time and keeps long communication, then there would not be available channels for new arrival or handover calls. If we assign the priority of channel usage to calls, then there is possibility that all calls can not use channel fairly. In this paper, we introduce channel assignment strategy and evaluate this strategy by simulation. This strategy is that if there is a new arrival or handover call and if some call uses a channel in the long time, then this long call is quitted and the channel that is used in the long time by the call is assigned to the new arrival or handover call.
日鉄技術情報センタ-, 日本語
ISSN：0285-9947, J-Global ID：200902295100156913, CiNii Articles ID：110003969613, CiNii Books ID：AN00329524
一次元セルラーネットワークの通信性能に関する移動体の速度分布の影響について
井上通宏; 吉浦紀晃; 小野里好邦
情報処理学会論文誌, 巻：46, 号：2, 開始ページ：470, 終了ページ：481, 2005年02月, ［査読有り］
本論文では，幹線道路や高速道路のような一次元セルラーネットワークにおいて移動体の速度分布の型や最低速度と最高速度の速度差の違いが通信性能に与える影響について調べるために，計算機シミュレーションにより実験を行った．この実験より，低速度の移動体が高速度の移動体に比べて多く存在する速度分布では，低速度の移動体が高速度の移動体に比べて少ない速度分布と比較して，呼損率が最大で約20%高くなり，完了呼の平均保留時間は約16%長くなった．また，ネットワークへの負荷が高く速度差が大きい場合，速度分布の型の違いは，呼損率と完了呼の平均保留時間に影響を与えること，そして，速度差や速度分布の違いは，完了呼数に対しては影響をほとんど与えないことという結果が得られた．これらのシミュレーション結果の考察から，高速度の移動体よりも低速度の移動体が，呼損率や完了呼の平均保留時間などの通信性能に影響を及ぼすことが考えられる．In this paper, we use simulation method to evaluate how the mobile node's speed distribution difference or difference between maximum and minimum speeds influences the communication performance of one-dimensional mobile cellular networks such as arterial roads or speedways. Our simulation results show that the speed distribution which has the much more low speed mobile users than the high speed mobile users has maximally 20% higher blocking probability and 16% longer mean holding time of completed calls compared to the other speed distribution which has the much more high speed mobile users than the low speed mobile users. In the heavy traffic situation, distribution difference has influences on blocking probability and mean holding time of completed calls. The number of completed call does not vary whatever speed distribution or the difference between maximum and minimum speeds is. By considering our simulation results, we can mention that the number of low speed mobile users has much influences on the the blocking probability and the mean holding time of completed calls.
一般社団法人情報処理学会, 日本語
ISSN：0387-5806, J-Global ID：200902263224098360, CiNii Articles ID：110002768552
リアクティブシステム動作仕様の段階的充足可能性の判定手続き(<特集>システム検証の科学技術) 吉浦 紀晃; Noriaki Yoshiura; 群馬大学総合情報処理センター; Computer Center; Gunma University
コンピュータソフトウェア = Computer software,
巻：22,
号：1,
開始ページ：45,
終了ページ：57, 2005年01月,
［査読有り］リアクティブシステムとは,システム利用者などのシステムの外界とシステムがインタラクションを行いながら,システムが利用者ヘサービスを提供するシステムである.時相論理は,リアクティブシステムの仕様を形式的に記述するための方法の1つである.リアクティブシステムの仕様が実現可能であるとは,システム利用者がどのような動作を行っても,仕様を満たすように動作を行うことが可能であるシステムが存在することをいう.リアクティブシステムの仕様が実現可能では無い場合,リアクティブシステムをいくつかのクラスに分けることができる.本論文では,実現可能ではないリアクティブシステム仕様の性質の1つである段階的充足可能性の判定手続きを示す.Reactive systems are intended to maintain some interaction with their environment such as system users and provide services for the users. Temporal logic is one of the methods for formal specification descriptions of reactive systems. Reactive system formal specification is realizable if and only if there is a reactive system which satisfies the specmcation for any behavior of system users. The unrealizable specifications are divided into several classes. In this paper, we give the decision procedure of stepwise satisfiability which is one of the classes.
日本ソフトウェア科学会, 日本語
DOI：https://doi.org/10.11309/jssst.22.1_45DOI ID：10.11309/jssst.22.1_45,
ISSN：0289-6540,
J-Global ID：200902271509100174,
CiNii Articles ID：110003744164,
CiNii Books ID：AN10075819 Effect of mobility on communication performance in overloaded one-dimensional cellular networks M Inoue; N Yoshiura; Y Onozato
DISTRIBUTED COMPUTING AND INTERNET TECHNOLOGY, PROCEEDINGS,
巻：3816,
開始ページ：82,
終了ページ：92, 2005年,
［査読有り］In this paper, we investigate the communication performance of one-dimensional cellular networks from the viewpoint of the mobile node's speed with the simulation method assuming various types of speed distributions. Simulation results are measured as blocking probabilities of both new and handoff calls and call completion probability. We can observe the phenomenon that blocking probabilities of both new and handoff calls are not related to the mobile node's speed distribution, but the call completion probability concerns with that under overloaded situation when the blocking probabilities are not small.
SPRINGER-VERLAG BERLIN, 英語, 研究論文（学術雑誌）
DOI：https://doi.org/10.1007/11604655_12DOI ID：10.1007/11604655_12,
ISSN：0302-9743,
DBLP ID：conf/icdcit/InoueYO05,
Web of Science ID：WOS:000235804200012 Community Security By Widely Available Information Technology.
Yusaku Fujii; Noriaki Yoshiura; Naoya Ohta
J. Community Informatics, 巻：2, 号：1, 2005年, ［査読有り］
DBLP ID：journals/jci/FujiiYO05, CiNii Articles ID：10026029846
Creating a Worldwide Community Security Structure Using Individually Maintained Home Computers: The e-JIKEI Network Project 藤井雄作; 吉浦紀晃; 太田直哉
Social Science Computer Review,
巻：23,
号：2,
開始ページ：250,
終了ページ：258, 2005年,
［査読有り］DOI：https://doi.org/10.1177/0894439304273274DOI ID：10.1177/0894439304273274 Decision procedures for several properties of reactive system specifications N Yoshiura
SOFTWARE SECURITY - THEORIES AND SYSTEMS,
巻：3233,
開始ページ：154,
終了ページ：173, 2004年,
［査読有り］Reactive systems, such as operating systems or elevator control systems, are systems that ideally never terminate and are intended to maintain some interaction with their environment. Temporal logic is one of the methods for formal specification descriptions of reactive systems. By describing the formal specifications of reactive systems we can check the consistency of the specifications and whether they contain defects. By using a synthesis algorithm we also obtain reactive system programs from the formal specifications and prevent programming bugs. Therefore, it is important to describe reactive system formal specifications to secure reactive system programs. However, it is difficult to describe realizable reactive system specifications and it is important to revise unrealizable reactive system specifications into realizable reactive system specifications. In previous research, three properties have been introduced into unrealizable reactive system specifications. By using these properties, we can acquire more detailed information about the cause of the defects of unrealizable reactive system specifications in the specification description process. In this paper, we propose decision procedures that judge whether a reactive system specification has these properties. We also prove the soundness and completeness of these procedures.
SPRINGER-VERLAG BERLIN, 英語, 研究論文（学術雑誌）
DOI：https://doi.org/10.1007/978-3-540-37621-7_8DOI ID：10.1007/978-3-540-37621-7_8,
ISSN：0302-9743,
DBLP ID：conf/isss2/Yoshiura03,
Web of Science ID：WOS:000225088600008 Finding the causes of unrealizability of reactive system formal specifications N Yoshiura
PROCEEDINGS OF THE SECOND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS,
開始ページ：34,
終了ページ：43, 2004年,
［査読有り］Reactive systems are the systems that maintain some interaction with their environment. Temporal logic is one of the methods for formal specification descriptions of reactive systems. The formal specifications of reactive systems enables to check the consistency of the specifications and whether they contain defects. By using a synthesis algorithm we also obtain reactive system programs from the formal specifications and prevent programming bugs. Thus, it is important to describe reactive system formal specifications. However it is difficult to describe realizable reactive system specifications and it is necessary to find the causes of unrealizable reactive system specifications. In previous research, three properties have been introduced into unrealizable reactive system specifications and we suppose that this classification gives the hists of finding the causes of unrealizability. In this paper we propose several heuristics of finding the causes of unrealizability of reactive system formal specifications. To find the causes, we use tableau methods and the classification of the reactive system specifications.
IEEE COMPUTER SOC, 英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1109/SEFM.2004.1347501DOI ID：10.1109/SEFM.2004.1347501,
DBLP ID：conf/sefm/Yoshiura04,
Web of Science ID：WOS:000224600300004 Proposal for a world wide home security system using PC-cameras the e-Vigilante Network Project
K. Hagiwara; Y. Chigira; N. Yoshiura; Y. Fujii
Proceedings of the SICE Annual Conference, 開始ページ：1743, 終了ページ：1746, 2004年
This paper describes a project for the design and implementation of a community security system using individually maintained home computers that are connected to the internet. In the initial stage of the project, a preliminary kit has been developed that consists of a commercial camera, free-software and an operation manual. Using the preliminary kit, an experimental security system has been implemented with the cooperation of private households in the historic town of Kiryu. The primary goal of the experiment is to verify the effectiveness of the concept in the prevention of crimes. The future prospects are also discussed.
英語, 研究論文（国際会議プロシーディングス）
SCOPUS ID：12744253735
Characteristic of crossover traffic in graphical representation of cellular networks
M. Inoue; N. Yoshiura; Y. Onozato
Midwest Symposium on Circuits and Systems, 巻：2, 開始ページ：II477, 終了ページ：II480, 2004年
In this paper, we will evaluate the communication performance of one-dimensional mobile cellular networks from the view point of the mobile node's speed distributions with the simulation method changing the minimum and maximum speeds, the type of speed distributions and the type of holding time distributions. Simulation results are measured as total number of completed calls, mean holding time of completed calls and probability distribution of holding time of completed calls. We can observe the phenomenon that the total number of completed calls changes according to the type of holding time distributions when arrival rate increases in the heavy traffic situation.
英語, 研究論文（国際会議プロシーディングス）
ISSN：1548-3746, SCOPUS ID：11144336635
Proposal for a world wide home security system using PC-cameras Subtitle: the e-Vigilante Network Project
K Hagiwara; Y Chigira; N Yoshiura; Y Fujii
SICE 2004 ANNUAL CONFERENCE, VOLS 1-3, 開始ページ：1514, 終了ページ：1517, 2004年, ［査読有り］
This paper describes a project for the design and implementation of a community security system using individually maintained home computers that are connected to the internet. In the initial stage of the project, a preliminary kit has been developed that consists of a commercial camera, free-software and an operation manual. Using the preliminary kit, an experimental security system has been implemented with the cooperation of private households in the historic town of Kiryu. The primary goal of the experiment is to verify the effectiveness of the concept in the prevention of crimes. The future prospects are also discussed.
SOC INSTRUMENT CONTROL ENGINEERS JAPAN, 英語, 研究論文（国際会議プロシーディングス）
Web of Science ID：WOS:000231324801114
Mobile network system evaluation from the viewpoint of completed call rate
N Yoshiura; M Inoue
8TH WORLD MULTI-CONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL III, PROCEEDINGS, 開始ページ：531, 終了ページ：536, 2004年, ［査読有り］
In this paper, we evaluate the Communication quality from the viewpoint of velocity distribution in the one dimensional cellular network system. We did the simulation in the case that velocity distribution is different and variance is different in the same velocity distribution. By the result of this simulation, we discuss the relation between communication quality and velocity distribution, and especially, we discuss the completed call rate.
INT INST INFORMATICS & SYSTEMICS, 英語, 研究論文（国際会議プロシーディングス）
Web of Science ID：WOS:000227676400097
生体情報による認証への一方向関数の応用 吉浦紀晃; 小野里好邦; 木村博茂
電気学会論文誌 C,
巻：124,
号：8,
開始ページ：1538,
終了ページ：1545, 2004年
In biometric authentication, the biometric data is registered and authentication is done by collation input biometric data with the registered biometric data. If the registered biometric data is stolen, there is a possibility that the the biometric data of registrants may be used improperly. It is very difficult to prevent such improper use because we no longer change biometric data. Therefore it is necessary to pay sufficient attention to the protection of biometric data. This paper proposes the application of one way function to biometric authentication in order to protect biometric data of registrants. We examine and discuss the possibility of application of one way function in biometric authentication.
一般社団法人 電気学会, 英語, 研究論文（学術雑誌）
DOI：https://doi.org/10.1541/ieejeiss.124.1538DOI ID：10.1541/ieejeiss.124.1538,
ISSN：1348-8155,
J-Global ID：200902284458593043,
CiNii Articles ID：10013325107,
SCOPUS ID：35248875858 Logic of relevant connectives for knowledge base reasoning
N Yoshiura
INFORMATION MODELLING AND KNOWLEDGE BASES XIV, 巻：94, 開始ページ：66, 終了ページ：80, 2003年, ［査読有り］
The formalization of human knowledge base reasoning is a main issue in artificial intelligence. Although logic is one of most useful ways of such formalization, inference of logic does not correspond to that of knowledge base reasoning. The reason is that the aim of logical inference is to deal with the truth values of propositions while that of human reasoning is to infer useful information. As far as logical connectives are concerned, whether there is some relation between two propositions, we can connect them by logical connectives such as conjunction and so on in classical logic. However, in daily speech or in knowledge base reasoning, when we introduce logical connectives into propositions, we give consideration to relation between the propositions. In this paper, we discuss relevance of logical connectives on formalization of knowledge base reasoning and propose logic LRC (Logic of Relevant Connectives). LRC is based on relevant logic ER from which fallacies of relevance and validity are removed. ER has two merits. One is that it is one of the stronger relevant logical systems, and the other is that ER is decidable. These characteristics are the reason why LRC is based on ER.
I O S PRESS, 英語, 研究論文（国際会議プロシーディングス）
ISSN：0922-6389, Web of Science ID：WOS:000187422000006
Program synthesis for stepwise satisfiable specification of reactive system Noriaki Yoshiura; Naoki Yonezaki
International Workshop on Principles of Software Evolution (IWPSE),
巻：2000-,
開始ページ：58,
終了ページ：67, 2000年,
［査読有り］Reactive system, such as operating systems or elevator control systems, is a system which ideally never terminates and is intended to maintain some interaction with environment. In previous researches, a reactive system specification is required to satisfy realizability for synthesizing a program from it. A specification is realizable if and only if there exists a system which satisfies the specification no matter how the environment behaves. However, many of actual reactive system specifications do not satisfy realizability and there exist actual reactive system programs of such specifications. In this paper, we discuss realizability property of actual reactive system specifications and show that stepwise satisfiability is a property which actual reactive system specifications have to satisfy. This paper also presents a synthesis procedure of reactive system programs from stepwisely satisfiable specifications. By this procedure, we can synthesize prototype programs from an imperfect specification. It is useful to synthesize prototype programs in the middle of describing a specification because prototype programs give useful information for testing or revising the specification. Thus, the procedure in this paper is useful for system specification revision.
Institute of Electrical and Electronics Engineers Inc., 英語, 研究論文（国際会議プロシーディングス）
DOI：https://doi.org/10.1109/ISPSE.2000.913222DOI ID：10.1109/ISPSE.2000.913222,
SCOPUS ID：1442346087 More Expressive Temporal Logic for Specifications.Noriaki Yoshiura; Naoki Yonezaki
SEKE'93, The 5th International Conference on Software Engineering and Knowledge Engineering, Tutorials, June 14-15, 1993, Technical Program, June 16-18, 1993, Hotel Sofitel, San Francisco Bay, USA,
開始ページ：363,
終了ページ：366, 1993年,
［査読有り］Knowledge Systems Institute
DBLP ID：conf/seke/YoshiuraY93
Applying reinforcement learning to deck building games
YICHEN CUI; 吉浦紀晃
情報処理学会第87回全国大会, 2025年03月
Web サーバにおけるTorブラウザからのアクセス検知
小島彰悟; 吉浦紀晃
情報処理学会第87回全国大会, 2025年03月
JavaScriptコードの変換手法と頻度の調査 -通常のwebサイトとonionサービスの比較-
普入健太; 吉浦紀晃
情報処理学会第87回全国大会, 2025年03月
複数台設置された独立制御信号機の性能評価
萩原, 貴利; 吉浦, 紀晃
第86回全国大会講演論文集, 2024年03月, 情報処理学会
2024年03月 - 2024年03月, 日本語
信号機制御を機械学習により最適化する研究が行われているが、信号機単一での性能評価しか行われていない。そこで、本研究では、機械学習により信号制御を行う信号機に一部を置き換えた場合、その地域に全体における交通効率への影響をシミュレーションにより行う。独立制御の信号機はDQNアルゴリズムを適用しており、交差点周辺の交通量から車両全体の平均速度等を基準に現示を決定する。周辺の信号機が固定時間で動作している環境での独立制御の信号機の有効性を検証するため、交通シミュレーションツールSUMOで格子上に交わる道路ネットワークを設計し、独立制御の信号機の設置台数を変化させシミュレーションを行う。
R-NaDを用いたガイスターAIに関する研究
原田, 響己; 吉浦, 紀晃
第86回全国大会講演論文集, 2024年03月, 情報処理学会
2024年03月 - 2024年03月, 日本語
本研究では不完全情報ゲームの1つに分類されるボードゲームであるガイスターを対象に，勾配法であるR-NaDを適用したガイスターAIの構築を試みた．その後，ガイスターAI大会にて上位に入賞している「naotti2020」といった有力なガイスターAIとの対戦を通して，その結果からR-NaDを用いたガイスターAIの性能と戦略について検討を行った．結果として，構築したガイスターAIは有力なガイスターAIに匹敵する性能を発揮した．また，赤駒を多く前面に配置する初期配置を好み，青駒を多く前面に配置する初期配置はしないといったように，特有の戦略傾向があることが判明した．
Bitcoin資金洗浄サービスUniJoinについての調査
大杉, 遼; 吉浦, 紀晃
第86回全国大会講演論文集, 2024年03月, 情報処理学会
2024年03月 - 2024年03月, 日本語
暗号通貨における資金洗浄サービスは，ユーザの資金に対し分散及び合算を行った後、返金することで資金の匿名性を強化するサービスである．資金洗浄サービスは犯罪に利用されることがあるため，資金洗浄サービス内のBitcoinの追跡は重要である．本研究では，資金洗浄サービスの一つであるUnijoinについて，入金用のBitcoinアドレスから送金先のBitcoinアドレスをどの程度推定できるかの検証を行う．実際にUnijoinを利用したデータを元に取引を追跡し条件付けをすることによって入金先Bitcoinアドレスから出金先Bitcoinアドレスをどの程度推定することができるかの検証を行う．
SDNにおけるセキュリティ対策の改良に関する研究
ZHIYUAN, HAO; 吉浦, 紀晃
第86回全国大会講演論文集, 2024年03月, 情報処理学会
2024年03月 - 2024年03月, 日本語
SDNに対する攻撃を検出するためのシステムであるSPHINXでは、その検出にネットワーク内のスイッチからコントローラへ報告されるトラフィック量が利用されている。よって、SPHINXの攻撃検出が正当性はスイッチの信頼性に依存し、スイッチ自体が攻撃元となっている場合には検出できない。SPHINXではネットワーク内のスイッチの信頼性を検証する仕組みがされるが、 全てのスイッチの信頼性を検証できるわけではなく、ネットワーク上の位置によっては検証できない。本研究では、これまで検証できていなかったスイッチの検証と検証の効率化を目指す。
Cross Site Leakの攻撃の危険性の分析と対策に関する研究
Duo Chen; 吉浦紀晃
情報処理学会 第85回全国大会, 2023年03月
環境の動作の変更を想定したシステムの合成に関する研究
松井大志; 吉浦紀晃
情報処理学会 第85回全国大会, 2023年03月
分散型Bitcoin資金洗浄サービスの出金先アドレスの検出と絞り込み
佐藤 大河; 吉浦 紀晃
情報処理学会第84回全国大会講演集, 2022年03月
マルウェアのネットワーク通信の特徴調査及びSSLインスペクションの評価
諸 鷹大; 吉浦 紀晃
情報処理学会第84回全国大会講演集, 2022年03月
IoTにおけるTPMの処理スケジューリング
本澤 翔矢; 吉浦 紀晃
情報処理学会第84回全国大会講演集, 2022年03月
モデル検査器を用いた完全情報ゲームの必勝戦略の構築の可能性について
高橋 昂平; 吉浦 紀晃
情報処理学会第84回全国大会講演集, 2022年03月
パソコンの設定を支援するスマートヘルプデスクの提案
小川 康一; 浜元 信州; 吉浦 紀晃
インターネットと運用技術シンポジウム論文集, 2021年11月
2021年11月 - 2021年11月, 日本語
スピーチシミュレーションVRシステムの開発
廣瀬竜介; 吉浦紀晃
電子情報通信学会大会講演論文集(CD-ROM), 2021年
2021年 - 2021年
Website Fingerprinting攻撃によるHidden Serviceの特定
西村怜二; 吉浦紀晃
情報処理学会研究報告(Web), 2021年
2021年 - 2021年
Webページの類似性を利用したTorにおける複数セッションに対するフィンガープリンティング攻撃
WENJIE Teng; 吉浦紀晃
情報処理学会研究報告(Web), 2021年
2021年 - 2021年
BERTとLSTMを利用した株価予測
新津康平; 吉浦紀晃
情報処理学会研究報告(Web), 2021年
2021年 - 2021年
サーバラック内機器監視手法の提案
小川 康一; 吉浦 紀晃
情報処理学会インターネットと運用技術シンポジウム, 2020年11月
携帯端末を利用した無線LANシステムの運用管理支援手法の開発と実装
小川 康一; 吉浦 紀晃
情報処理学会インターネットと運用技術シンポジウム, 2019年11月
口頭発表（一般）
移動ロボットと監視装置を利用した無線LANシステムの運用管理支援手法の提案
小川康一; 吉浦紀晃
情報処理学会研究報告(Web), 2019年06月
日本語
Bitcoin資金洗浄サービスへの預け入れに対する返金先アドレスの絞り込み
佐藤千尋; 吉浦紀晃
電子情報通信学会大会講演論文集(CD-ROM), 2019年03月
日本語
行列計算を用いた秘密計算による位置情報保護
石川正人; 吉浦紀晃
電子情報通信学会大会講演論文集(CD-ROM), 2019年03月
日本語
常時録画型TVドアホンを用いた市民参加型地域見守りシステムの提案
藤井雄作; 田北啓洋; 加藤蒼悟; 太田直哉; 吉浦紀晃; 澤野勝利; 高橋純一
社会安全とプライバシー, 2018年11月
2018年11月 - 2018年11月
一般市民の協力により設置された多数のカメラによる地域社会の見守りと，一般市民のプライバシー保護を両立させることを目的として，暗号化保存機能と常時録画機能を備えたＴＶドアホン「e自警ドアホン」を開発した．また，一般市民ボランティアによるe自警ドアホンを用いた自宅回りの見守り，および，それを自治会が組織化して活用することによる地域社会の安全・安心の向上と，一般市民のプライバシー保護の両立を目指して，社会実験を実施した．e自警ドアホンの特徴として，①（自宅周りの見守りのための）常時録画，②（プライバシー保護のための）暗号化保存，③（通常ドアホンの既設配線を使える）２線式接続，などが挙げられる．社会実験においては，個々のドアホン設置住民を所有者，自治会役員会を閲覧権者とする運用方法を試行し，地域内見守りの効果，プライバシー保護の効果，などについて，検証を試みた．
利用者のネットワーク障害時に管理者を支援する移動ロボットの開発と実装
小川 康一; 吉浦 紀晃
マルチメディア，分散協調とモバイルシンポジウム2018論文集, 2018年06月
2018年06月 - 2018年06月, 日本語
利用者のネットワーク機器を監視する移動ロボットの自動情報収集のための通信制御手法
小川 康一; 吉浦 紀晃
インターネットと運用技術シンポジウム論文集, 2017年11月
日本語
移動ロボットによる環境地図を用いたネットワーク機器監視情報の自動収集手法
小川康一; 小川康一; 吉浦紀晃; 吉浦紀晃
情報処理学会研究報告(Web), 2017年09月
日本語
移動ロボットと小型コンピュータを活用したネットワーク機器監視手法
小川康一; 吉浦紀晃; 小川康一; 吉浦紀晃
情報処理学会シンポジウムシリーズ(CD-ROM), 2017年06月
日本語
小型コンピュータと画像処理技術を活用したネットワーク機器監視装置の開発
小川康一; 小川康一; 吉浦紀晃; 吉浦紀晃
情報処理学会研究報告(Web), 2017年06月
日本語
Torを利用して掲示板書き込みを行うユーザの特定手法 (インターネットアーキテクチャ)
飯田 嘉一郎; 吉浦 紀晃
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 2017年03月
日本語
Torネットワークにおける匿名サーバのIPアドレスの収集手法 (インターネットアーキテクチャ)
小泉 賢人; 吉浦 紀晃
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 2017年03月
日本語
Torを利用して掲示板書き込みを行うユーザの特定手法
飯田嘉一郎; 吉浦紀晃
電子情報通信学会技術研究報告, 2017年02月
日本語
Torネットワークにおける匿名サーバのIPアドレス収集手法
小泉賢人; 吉浦紀晃
電子情報通信学会技術研究報告, 2017年02月
日本語
プライバシに配慮した地域見守り防犯カメラシステムの開発
田北 啓洋; 村松 公祐; 丸 浩一; 上田 浩; 吉浦 紀晃; 太田 直哉; 藤井 雄作
社会安全とプライバシー, 2017年
2017年 - 2017年
防犯カメラ画像の暗号化によるプライバシ保護とセキュリティ確保の両立
田北 啓洋; 村松 公祐; 丸 浩一; 上田 浩; 吉浦 紀晃; 太田 直哉; 藤井 雄作
社会安全とプライバシー, 2017年
2017年 - 2017年
画像処理を用いた汎用性の高いネットワーク機器監視システムの提案
小川康一; 小川康一; 吉浦紀晃; 吉浦紀晃
情報処理学会研究報告(Web), 2016年06月
日本語
Torネットワークにおける通信分析システム
堀越雄貴; 吉浦紀晃
情報処理学会全国大会講演論文集, 2016年03月
日本語
IP Traceback手法の提案とOpenFlowを用いた実装 (技術と社会・倫理)
矢野 隼太; 吉浦 紀晃
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 2016年03月, 電子情報通信学会
2016年03月 - 2016年03月, 日本語
NetCoreプログラムのCoqによる検証 (インターネットアーキテクチャ)
伊達 弘明; 吉浦 紀晃
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 2016年03月
日本語
AS-6-14 通学路への防犯カメラの導入に関するアンケート結果の分析(AS-6.安全・安心な生活のための情報通信システム,シンポジウムセッション)
吉浦 紀晃; 加藤 蒼梧; 田北 啓洋; 太田 直哉; 藤井 雄作
電子情報通信学会基礎・境界ソサイエティ/NOLTAソサイエティ大会講演論文集, 2016年03月, 一般社団法人電子情報通信学会
2016年03月 - 2016年03月, 日本語
通学路への防犯カメラの導入に関するアンケート結果の分析
吉浦紀晃; 加藤蒼梧; 田北啓洋; 太田直哉; 藤井雄作
電子情報通信学会大会講演論文集(CD-ROM), 2016年03月
日本語
IP Traceback手法の提案とOpenFlowを用いた実装
矢野隼太; 吉浦紀晃
情報処理学会研究報告(Web), 2016年02月
日本語
Will every streetlight have network cameras in the near future?
Y. Fujii; N. Yoshiura
SCIENCE, eLetters, 2016年
2016年 - 2016年
通信の信頼性確保を考慮した位置情報に基づくネットワーク運用手法
小川康一; 吉浦紀晃
情報処理学会シンポジウムシリーズ(CD-ROM), 2015年07月
日本語
埼玉大学における光ファイバ直収型ネットワークの運用経験について
小川康一; 吉浦紀晃
情報処理学会研究報告(Web), 2015年06月
日本語
センサネットワークにより制御されるスマート街路灯の実装に関する研究 (インターネットアーキテクチャ)
平柳 優馬; 吉浦 紀晃
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 2015年03月
日本語
この論文では人の周りと人の視界に入る街路灯のみを点灯させるスマート街路灯システムの基本部分の実装を行った.このシステムは,無線メッシュネットワークにより相互に通信可能な街路灯とセンサと街路灯の点灯を制御するサーバからなる.街路灯の消灯は省エネルギーにはなるが,安全性の低下を招く一方,このシステムでは街路灯の消費電力を小さくすると同時に人の視野の範囲内を明るくすることで安全性を維持することを目指している.センサと街路灯に見立てたものを作り実際のハードウェア用いてシステムを動作させることに成功した.センサ7個と街路灯7本と制御用のサーバからなるメッシュネットワークを構築して動作することを確認した.
分解証明法を利用したリアクティブシステム仕様の強充足可能性判定器の提案
中村風太; 吉浦紀晃
情報処理学会研究報告(Web), 2015年03月
日本語
時間論理により記述されたリアクティブシステム仕様の満たすべき性質の一つに強充足可能性がある.システム利用者からのいかなる要求列についても,それに対し仕様を満たすようなシステムのある応答列が存在するという性質である.仕様が強充足可能性を満たしているかを判定するためにモデルを利用した判定法が存在するが,二重指数の計算コストがかかり大きな仕様の判定に対してあまり有効ではない.そこで本論文では,モデルを利用しない判定法として,様相論理に対する分解証明法を利用した仕様の強充足可能性判定器の提案を行う.提案法の判定手続きを与え,提案法における健全性及び完全性を示す.
リアクティブシステム仕様の外部環境制約式に関する研究
深谷悠一; 吉浦紀晃
情報処理学会研究報告(Web), 2015年03月
日本語
時相論理で記述されたリアクティブシステム仕様の満たすべき性質の一つに強充足可能性がある.これは 「将来生起する環境からの入力が与えられたとき,いかなる入力に対しても仕様を満たす応答が存在する」 という性質である.リアクティブシステムは環境に対して開いたシステムであるので,その仕様は環境からのすべての入力パターンを考慮する必要がある.そのため,強充足可能性はリアクティブシステム仕様の満たすべき重要な性質である.仕様が強充足不能であると判明した場合,仕様を修正する必要がある.このとき,仕様の欠陥情報を理解しやすい表現で得ることができれば,仕様を修正する助けとなる.そこで,本論文では強充足不能な仕様の外部環境制約式の導出手続きを提案する.外部環境制約式とは仕様を満たせない環境からの入力の集合を表す時相論理式である.本手続きでは,得られる制約式が単純で直感的な形を保つよう制約式の形を限定する.得られる制約式はその形において最も多くの欠陥情報を表現した式である.
センサネットワークにより制御されるスマート街路灯の実装に関する研究
平柳優馬; 吉浦紀晃
電子情報通信学会技術研究報告, 2015年02月
日本語
この論文では人の周りと人の視界に入る街路灯のみを点灯させるスマート街路灯システムの基本部分の実装を行った．このシステムは，無線メッシュネットワークにより相互に通信可能な街路灯とセンサと街路灯の点灯を制御するサーバからなる．街路灯の消灯は省エネルギーにはなるが，安全性の低下を招く一方，このシステムでは街路灯の消費電力を小さくすると同時に人の視野の範囲内を明るくすることで安全性を維持することを目指している．センサと街路灯に見立てたものを作り実際のハードウェア用いてシステムを動作させることに成功した．センサ 7 個と街路灯 7 本と制御用のサーバからなるメッシュネットワークを構築して動作することを確認した．This paper implements the basic part of a smart street lamp system that is controlled by a sensor network. The street lamps in the system light up only when a pedestrian or a vehicle comes around the street lamps or can see the street lamps. This system consists of a server, street lamps and sensors that have built-in wireless communication modules. The server, the street lamps and sensors set up a mesh network. The server receives signals from the sensors and controls lighting up of the lamps according to the signals from the sensors. Lighting off of the street lamps decreases energy consumption, but declines safety and security in streets. This system keeps lighting up the street lamps that are around pedestrians or vehicles to keep streets safe. This paper creates the software for the server, lamps and sensors in the system and evaluates the software by an experiment.
位置情報に基づく災害時の重要情報を優先転送するネットワーク管理手法~実用化に向けた実地検証報告~
小川康一; 吉浦紀晃
情報処理学会研究報告(Web), 2014年06月
日本語
著者らは災害時における重要情報を優先転送する 「災害 ID 付与方式」 を提案している.「災害 ID 付与方式」 は,位置情報に基づく制御が可能とするネットワーク管理手法である.ネットワークを流れるパケット内の IP アドレス情報から災害地の通信であると判断できた場合には,その通信に 「災害 ID」 を付与することである.ネットワーク機器はこの災害 ID を確認し,災害 ID が付いている場合には優先的に配送を行う.また,災害地からの通信,または災害地への通信を優先制御するために,通信が災害地からのものであるかを把握する必要がある.そのためには,IP アドレスと位置情報の対応関係の把握が必要となる.本論文では,提案手法の有効性を検証するため,著者らの大学構内に実際の利用環境を再現した検証環境を構築した.検証環境で実験を行った結果,重要な情報が IP アドレスに関連付けられた位置情報に従い優先転送されることを確認した.
複数の配信ツリーを持つP2Pライブ配信システム
土方健志; 吉浦紀晃
情報処理学会全国大会講演論文集, 2014年03月
日本語
インターネット上でのライブ配信システムとして、P2Pを利用したシステムが研究されている。しかしメッシュ型のP2Pを利用すると、視聴者の新規接続や切断、あるいは配信データを要求する際の問い合わせが複雑であることなどから、データの受信がコンテンツの再生に間に合わない状況が生まれてしまう。そこで本研究ではこれを解消し、全ての視聴者の再生が途切れないシステムとして、配信者と視聴者を複数の配信ツリーで接続するシステムを提案し、配信ツリーの作成と視聴者が切断した際の再構築に関するアルゴリズムについて研究を行った。要件を満たすアルゴリズムを作成し、視聴者の数に応じた配信ツリーの構造を示した。
デマと流言を抑制する災害時のネットワーク運用手法
小川康一; 吉浦紀晃
情報処理学会全国大会講演論文集, 2014年03月
日本語
東日本大震災では，Twitterなどのソーシャルメディアや有志による災害情報サイトなどが立ち上がり、人命救助や安否確認、救援物資の確保など、多くの活用方法が見出され，情報伝達手段としてのインターネットの可能性が明らかになった．しかし，一方でデマや流言などが蔓延し，情報が不足した人々を不安に陥れた．そこで，本研究では災害時に発生するデマや流言を抑制し，災害に重要な通信を優先するネットワーク運用手法について述べる．
災害ID付与方式による災害時のネットワーク優先配送 : OpenFlowによる実装と評価 (インターネットアーキテクチャ)
小川 康一; 吉浦 紀晃
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 2014年02月, 一般社団法人電子情報通信学会
2014年02月 - 2014年02月, 日本語
災害時には,人々のネットワーク利用の殺到によって,災害地への重要な通信が優先的にネットワークに転送されにくくなる問題点がある.本論文では,災害地の通信を優先するといった,災害時のネットワークの対応策について提案する.対応策の具体的な方法は,ネットワークを流れるパケット内のIPアドレス情報から災害地の通信であると判断できた場合には,その通信に「災害ID」を付与することである.ネットワーク機器はこの災害IDを確認し,災害IDが付いている場合には優先的に配送を行う.また,災害地からの通信,または災害地への通信を優先制御するために,通信が災害地からのものであるかを把握する必要がある.そのためには,IPアドレスと位置情報の対応関係の把握が必要となる.この対応関係の把握のためにデータベースを利用する.この対応策を具体的に実現する方法の1つとしてOpenFlowを用いる.
災害ID付与方式による災害時のネットワーク優先配送～OpenFlowによる実装と評価～
小川 康一; 吉浦 紀晃
研究報告インターネットと運用技術（IOT）, 2014年02月
2014年02月 - 2014年02月, 日本語
災害時には，人々のネットワーク利用の殺到によって，災害地への重要な通信が優先的にネットワークに転送されにくくなる問題点がある．本論文では，災害地の通信を優先するといった，災害時のネットワークの対応策について提案する．対応策の具体的な方法は，ネットワークを流れるパケット内の IP アドレス情報から災害地の通信であると判断できた場合には，その通信に 「災害 ID」 を付与することである．ネットワーク機器はこの災害 ID を確認し，災害 ID が付いている場合には優先的に配送を行う．また，災害地からの通信，または災害地への通信を優先制御するために，通信が災害地からのものであるかを把握する必要がある．そのためには，IP アドレスと位置情報の対応関係の把握が必要となる．この対応関係の把握のためにデータベースを利用する．この対応策を具体的に実現する方法の １ つとして OpenFlow を用いる．In disasters, important communication for disasters area should be given priority, but it is not given priority because many people use network to obtain information on disasters. This paper proposes a countermeasure against the network trouble during disasters. The countermeasure attaches IDs to communications from or to the disaster areas. The IDs are used to give priority communications from or to the disaster areas; network equipment identifies communications for disaster areas by IDs. This paper calls the IDs "Disaster IDs". Network equipment preferentially processes the communications with the IDs. Network equipment needs to identify communications that are related with disaster areas in order to control the priority of communication from or to the disaster areas. Identification of communications for disaster areas needs to obtain location information by IP Addresses of disaster areas. This paper uses OpenFlow to implement the proposed countermeasure.
OpenFlowを用いた災害時の通信品質の向上 : 位置情報に基づく災害ID付与方式の提案 (インターネットアーキテクチャ)
小川 康一; 吉浦 紀晃
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 2013年06月, 一般社団法人電子情報通信学会
2013年06月 - 2013年06月, 日本語
緊急時には, 人々のネットワーク利用が殺到することによって,災害地への重要な通信が優先的にネットワークに転送されない可能性がある.本論文では,災害地の通信を優先するといった,災害時のネットワークの対応策について提案する.対応策の具体的な方法は,ネットワークを流れるパケット内のIPアドレスから災害地の通信であると判断できた場合には,その通信に「災害ID」を付与することである.ネットワーク機器はこの災害IDを確認し,災害IDが付いている場合には優先的に配送を行う.また,災害地からの通信,または災害地への通信を優先制御するために,通信が災害地からの通信であるかを把握する必要がある.そのためには,IPアドレスと位置情報の対応関係の把握が必要となる.この対応関係の把握のためにデータベースを利用する.この対応策を具体的に実現する方法の1つとしてOpenFlowを用いる.
首都圏近郊の大学における計画停電の影響と対策
小川 康一; 吉浦 紀晃
情報処理学会論文誌, 2013年03月, 情報処理学会
2013年03月 - 2013年03月, 日本語
2011年3月11日に発生した東日本大震災は，東北地方を中心に大きな被害をもたらした．大震災によって，信頼していた通信手段であるインターネットや固定電話や携帯電話の利用に支障が出た．Webサーバが稼働せずに情報発信ができないことも問題となった．震源地から遠く離れた埼玉大学では，地震による直接の被害はなかったものの，その後のエネルギー問題に起因する計画停電などによって間接的に影響が出た．通常，停電への対応としては発電機の利用があるが，計画停電への対応を発電機で行うことは困難であった．そこで，埼玉大学ではデータセンターとVirtual Private Serverを活用することで計画停電に対応した．そのため情報基盤が停止することはなく，学生や教職員はメールやWebによる情報の伝達を継続することができた．このようなコミュニケーション基盤は大学のような教育機関だけでなく，企業や公共機関における安否確認や連絡手段の確保に重要な機能となっている．本論文では，埼玉大学における震災への対応，今回の震災から得た教訓，震災対策について述べる．The Great East Japan Earthquake, which occurred on March 11th 2011, caused significant damage around Tohoku region in Japan. The earthquake was detrimental to reliable communication means such as the Internet, land phones and mobile phones. The earthquake also caused unavailability of web servers; inability to put out information on the Internet became a serious problem. Saitama University is far from the epicenter of the earthquake and the damage at the university was small. However, the university was indirectly affected by rolling blackouts due to energy problems. One of the countermeasures of blackouts is to use power generators, but it is difficult to deal with rolling blackouts only by power generators. The university responded to rolling blackouts by Data Center and Virtual Private Server and could maintain communications among students and staff of the university via e-mail or web servers during blackouts. Maintenance of communication infrastructure such as e-mail or web servers is important for safety confirmation system and communication means not only at education institutions such as universities but also at corporations and public institutions. This paper describes the handling of the earthquake at the university and lessons from earthquake, and discusses earthquake countermeasures for information infrastructure.
検索されたWebページにおける検索語に基づく重要箇所の表示 (インターネットアーキテクチャ)
横尾 駿一; 吉浦 紀晃
電子情報通信学会技術研究報告 : 信学技報, 2013年03月, 一般社団法人電子情報通信学会
2013年03月 - 2013年03月, 日本語
検索エンジンで検索を行った際に,検索されたWebページにおいて検索ワードの存在する箇所が非表示になっている場合,検索ワードがすぐに見つからない問題がある.この問題を解決するため,使用された検索ワードに基づいてWebページ内のHTML要素の中から最も検索ワードと関連が深いと思われる箇所を探し,その箇所を表示させるソフトウェアを開発した.結果,既存の類似したソフトウェアよりも正確に検索ワードの存在する箇所を表示し,ユーザが検索ワードを探す手間を省くことができる場合が存在することが確認できた.
ベイジアンフィルタを利用したWeb Application Firewallの開発 (インターネットアーキテクチャ)
菱沼 猛; 吉浦 紀晃
電子情報通信学会技術研究報告 : 信学技報, 2013年03月, 一般社団法人電子情報通信学会
2013年03月 - 2013年03月, 日本語
近年,インターネット上では様々なWebアプリケーションによるサービスが提供されているが,その運用ではセキュリティ対策が大きな課題となる.Web Application Firewall (以下WAF)は,事前に用意された特定の人力のパターンに基づくシグネチャベースの入力検査を行うが,悪意のあるコードやスクリプト,バグ等による個々のWebアプリケーション固有の脆弱性に対して,人力検査のための適切な入力のパターンが常に用意されているとは限らない.そこで本論文では,Webアプリケーションの管理者が提示する拒否すべき入力や許可すべき入力からベイジアンフィルタによる学習を行うWAFを開発した.入力検査では統計時報に基づくベイジアンフィルタとアノマリ検出器を併用し,統計時報にはN-gram統計を利用する.スクリプト言語Pythonを用いて本WAFのプロトタイプを実装し,ランダムに作成したHTTPリクエストによる実験を行った.実験の結果,ベイジアンフィルタによる学習を繰り返すことで入力検査における誤検知および検知漏れが減少していくことが確認できた.
検索されたWebページにおける検索語に基づく重要箇所の表示
横尾 駿一; 吉浦 紀晃
研究報告インターネットと運用技術（IOT）, 2013年03月
2013年03月 - 2013年03月, 日本語
検索エンジンで検索を行った際に，検索されたWebページにおいて検索ワードの存在する箇所が非表示になっている場合，検索ワードがすぐに見つからない問題がある．この問題を解決するため，使用された検索ワードに基づいてWebページ内のHTML要素の中から最も検索ワードと関連が深いと思われる箇所を探し，その箇所を表示させるソフトウェアを開発した．結果，既存の類似したソフトウェアよりも正確に検索ワードの存在する箇所を表示し，ユーザが検索ワードを探す手間を省くことができる場合が存在することが確認できた．Users cannot always find retrieval terms immediately in web pages that are obtained by search engines. There are several reasons, one of which is that the retrieval terms are hidden in searched web pages. To solve the problem, this paper develops software that indicates important HTML elements in searched web pages. The software finds HTML elements which are the most closely related to the retrieval terms and indicates important part in searched web pages. This paper also evaluates the software by experiments. The results of the experiments show that the software can indicate important parts more correctly than existing similar software and reduce time taken to find the retrieval terms in searched web pages.
ベイジアンフィルタを利用したWeb Application Firewallの開発
菱沼 猛; 吉浦 紀晃
研究報告インターネットと運用技術（IOT）, 2013年03月
2013年03月 - 2013年03月, 日本語
近年，インターネット上では様々なWebアプリケーションによるサービスが提供されているが，その運用ではセキュリティ対策が大きな課題となる．Web Application Firewall（以下WAF）は，事前に用意された特定の入力のパターンに基づくシグネチャベースの入力検査を行うが，悪意のあるコードやスクリプト，バグ等による個々のWebアプリケーション固有の脆弱性に対して，入力検査のための適切な入力のパターンが常に用意されているとは限らない．そこで本論文では，Webアプリケーションの管理者が提示する拒否すべき入力や許可すべき入力からベイジアンフィルタによる学習を行うWAFを開発した．入力検査では統計情報に基づくベイジアンフィルタとアノマリ検出器を併用し，統計情報にはN-gram統計を利用する．スクリプト言語Pythonを用いて本WAFのプロトタイプを実装し，ランダムに作成したHTTPリクエストによる実験を行った．実験の結果，ベイジアンフィルタによる学習を繰り返すことで入力検査における誤検知および検知漏れが減少していくことが確認できた．Recently, many web applications which provide many kinds of services on the Internet and security is important in their operations. Web Application Firewall(WAF) is used for security of web applications. Many of WAFs consists of signature-based filters which have prepared particular input patterns, but the filters do not always have proper patterns for malicious codes, malicious scripts and vulnerability due to bugs of individual web applications. This paper develops a WAF which learns good or bad input patterns by Bayesian filter when the administrators of web applications suggest input which should be rejected or accepted. Input inspection uses a Bayesian filter and an anomaly detector. The anomaly detector is based on statistics, which are data of N-gram of inputs for web applications. This paper implements a prototype of our WAF by script language Python and experiments with randomly-generated HTTP requests. The results of the experiment found that iteration of learning by using Bayesian filter decreases false positives and false negatives.
検索されたWebページにおける検索語に基づく重要箇所の表示
横尾駿一; 吉浦紀晃
電子情報通信学会技術研究報告, 2013年03月
2013年03月 - 2013年03月, 日本語
ベイジアンフィルタを利用したWeb Application Firewallの開発
菱沼猛; 吉浦紀晃
電子情報通信学会技術研究報告, 2013年03月
2013年03月 - 2013年03月, 日本語
文字列解析の利用による動的クラスローディングに対応した静的データレース検出方法
魏偉; 吉浦 紀晃
情報処理学会論文誌, 2013年02月, 情報処理学会
2013年02月 - 2013年02月, 日本語
マルチスレッドプログラムでは，スレッド間の排他制御においてミスが起こりやすい．排他制御が正しく行われないことに起因するエラーの1つとしてデータレースがある．データレース検出には動的手法と静的手法があり，動的手法はプログラム実行を通して得られた情報を解析することでデータレースを検出する．静的手法はプログラムのソースコードを調べることでデータレースを検出する．Javaプログラムの静的データレース検出方法がすでに提案されているが，この静的データレース検出方法では動的クラスローディングが無視されている．そこで本論文では静的データレース検出方法における動的クラスローディングへの対策の方法を提案し，プログラムを実装する．さらに，開発したプログラムでJavaプログラムのデータレースの検出を試行し，新たにデータレースを起こす箇所を発見した．これにより，本論文の検出プログラムの有効性を示した．Multi-thread programs are likely to have bugs in mutual exclusions between threads. Data race is one of the problems that occur from wrong mutual exclusions. There are two kinds of methods of data race detection: dynamic analysis detection and static analysis detection. Dynamic analysis detection is to detect data race by analyzing the results of program executions. Static analysis detection is to detect data race by analyzing source codes of programs. A method of static analysis detection of data race for Java programs has been proposed, but this method cannot deal with dynamic class loading. This paper proposes a method of static analysis detection of data race for dynamic class loading and implements this method. The experiment of this paper uses this method for Java programs that have dynamic class loading. This experiment shows that the proposed method can find possibilities of data race in Java programs more than previous data race detection methods.
ICMPパケットの遮断によるIPv6通信における問題への対策
近江 敬太; 吉浦 紀晃
研究報告インターネットと運用技術（IOT）, 2012年05月
2012年05月 - 2012年05月, 日本語
IPv6 では ICMP パケットの遮断が原因で起こるフォールバック問題と Path MTU 問題がある．ICMP パケットが端末に届かない状況下でフォールバック問題や Path MTU 問題が発生した場合，通信に遅延が発生する．本論文では，フォールバック問題か Path MTU 問題が発生した場合，問題が生じている端末へ正規の ICMP パケットと同等な ICMP パケットを送信し，通信の遅延を解消させるシステムを開発した．開発したシステムの有効性を確かめるため実験を行った．実験ではフォールバック問題で起こる通信の遅延は解消できた．In IPv6, denying ICMP packets causes two problems; one is a problem of fallback in IPv4/IPv6 Dual-Stack environment and the other is that of Path MTU Discovery. Each of the problems delays communication. This paper creates a system that shortens this communication delay. The overview of the system behavior is as follows; the system runs on the gateway of a network and chapters the IPv6 traffic of the nodes in the network. The system checks IPv6 communication between the nodes in the network and outside of the network. If the system notices failure of the IPv6 communication, the system sends ICMP packets to the node that is a node of IPv6 communication to prompt fallback of IPv6/IPv4 or adjustment of packet length for path MTU problem. This paper evaluates the performance of the system by experiment, which shows that the system can shorten communication delay that is caused by the fallback problem.
Access Control Listの等価性判定のためのテストケース生成
吉浦 紀晃; 佐山 弘和
研究報告インターネットと運用技術（IOT）, 2012年03月
2012年03月 - 2012年03月, 日本語
Access Control List は、Layer3 スイッチや Firewall などのネットワーク機器において、どのようなパケットを通過させ遮断させるかを記述したものである．AccessControl List はネットワークトポロジーやセキュリティポリシーの変更、セキュリティインシデントの発生などで変更されることがある．ネットワーク管理者はその度に変更することになるが、この変更が積み重なると Access Control List には冗長な記述が増えてくることがある．ネットワーク管理者が Access Control List を書き換える場合、その前後で Access Control List の意味が変わっていないことを確認する必要がある．本論文では、2 つの Access Control List の等価性を判定するためのテストケースの作成方法を提案する．このテストケースはパケットであり、2 つの Access Control List をそれぞれ設定したときのこのパケットを透過性をチェックすることで、2 つの Access Control List の等価性を判定する．Computer network security is one of the important issues in the Internet age. Network Administrators of companies or universities filters IP packets at network equipment between their organizations and the Internet to keep the security of the computer networks. Access control lists are lists of rules, which describe permission or denial of packet transition by source IP address, destination IP address, port numbers and so on. Access control lists are not always fixed; network administrators change access control list according to the change of network topology or network security policy. After several changes, access control lists may include redundancies and network administrators have to modify the access control list to remove redundancies. This modification keeps the semantics of access control list. After modification, the network administrators have to confirm that the semantics of access control list does not change. For this purpose, this paper proposes the method of generating test packets to confirm the equivalence of two access control lists.
Access Control List の等価性判定のためのテストケース生成
吉浦 紀晃; 佐山 弘和
電子情報通信学会技術研究報告. IA, インターネットアーキテクチャ, 2012年03月, 一般社団法人電子情報通信学会
2012年03月 - 2012年03月, 日本語
Access Control Listは、Layer3スイッチやFirewallなどのネットワーク機器において、どのようなパケットを通過させ遮断させるかを記述したものである.Access Control Listはネットワークトポロジーやセキュリティポリシーの変更、セキュリティインシデントの発生などで変更されることがある.ネットワーク管理者はその度に変更することになるが、この変更が積み重なるとAccess Control Listには冗長な記述が増えてくることがある.ネットワーク管理者がAccess Control Listを書き換える場合、その前後でAccess Control Listの意味が変わっていないことを確認する必要がある.本論文では、2つのAccess Control Listの等価性を判定するためのテストケースの作成方法を提案する.このテストケースはパケットであり、2つのAccess Control Listをそれぞれ設定したときのこのパケットを透過性をチェックすることで、2つのAccess Control Listの等価性を判定する.
リアクティブシステム仕様の実現不能判定器の高速化
閨芳紀; 吉浦紀晃
情報処理学会全国大会講演論文集, 2012年03月
2012年03月 - 2012年03月, 日本語
高い信頼性の求められるリアクティブシステムを開発するためには形式的手法による検証が有効である．特に仕様の段階での自動検証は開発コスト削減にも非常に効果的である．そのリアクティブシステムの仕様が満たすべき性質の一つに実現可能性がある．この性質を満たすことを検証するために，タブローと推論規則を用いた実現不能性判定手続きの提案がされ，これに基づく実現不能判定器の作成が行われた．しかしながら，この判定器では判定能力，速度共に不十分で判定できない仕様が存在する．そこで，本研究ではより判定能力，速度に優れた実現不能判定器の開発を行う．
静的データレース検出における動的クラスローディングへの対策
WEI Wei; 吉浦紀晃
情報処理学会全国大会講演論文集, 2012年03月
2012年03月 - 2012年03月, 日本語
M. Naik らは、静的データレース検出方法を提案している。この静的データレース検出方法では、動的クラスローディングが無視されている。多くのJavaプログラムに動的クラスローディングが使われているので、もし動的クラスローディングを無視すると重要なデータレースを漏らすおそれがある。そこで、本研究では静的データレース検出方法における動的クラスローディングへの対策を提案する。動的クラスローディングへの対策アルゴリズムには、URLの文字列表現を計算するのが重要である。URLの文字列表現は3つのパターンで計算されている。3つのパターンとは、ユーザからの入力に依存しているパターン、変数間の演算に依存しているパターン、そしてコンフィグファイルに依存しているパターンである。本研究では、動的クラスローディングへの対策を提案する。
災害対策におけるコミュニケーション基盤フレームワークの一提案 (インターネットアーキテクチャ)
小川 康一; 吉浦 紀晃
電子情報通信学会技術研究報告 : 信学技報, 2012年02月, 一般社団法人電子情報通信学会
2012年02月 - 2012年02月, 日本語
2011年3月11日に発生した東日本大震災は,東北地方を中心に大きな被害をもたらした.大震災によって,信頼していた通信手段であるインターネットや固定電話や携帯電話の利用に支障が出た.Webサーバが稼働せずに情報発信ができないことも困難であった.これらの教訓をうけて我々にとって必要なことは,ディザスタリカバリのようにデータを遠隔地に保存しておくことだけではなく,データを利用できるサービスの維持である.本論文では災害や不測の事態に対応し,サービスの維持を目的としたフレームワークを提案する.また,本フレームワークを具体的に実現する災害ネットBOXを考案した.
BitTorrentにより配信される音楽や映像ファイルの自動検出 (インターネットアーキテクチャ)
周 志強; 吉浦 紀晃
電子情報通信学会技術研究報告, 2011年02月, 電子情報通信学会
2011年02月 - 2011年02月, 日本語
BitTorrentにより配信される音楽や映像ファイルの自動検出
周 志強; 吉浦 紀晃
研究報告インターネットと運用技術（IOT）, 2011年02月, 情報処理学会
2011年02月 - 2011年02月, 日本語
近年，インターネットの普及に伴って，インターネットのトラフィックが年々増大している．サーバー対クライアントの通信に加えて，クライアント同士が通信する Peer to Peer (P2P) の利用が盛んに利用されるようになってきている．P2P の 1 種である BitTorrent は OS などの大きなファイルのダウンロードに利用される一方，著作権侵害など違法なファイル配信に利用されることがある．本研究では BitTorrent でファイルをダウンロードする時，音楽や映像ファイルを自動で検出し，違法なファイルとしてこのダウンロードを止める仕組みを提案する．Recently, with internet spreading , network traffic increases year by year. While Server-Client system is used , Peer to Peer (P2P) communication comes to be used actively. BitTorrent which is one kind of P2P is used to download big files such as OS etc. It is also used to download illegal files such as the copyright infringing material etc. This study proposes a mechanism that automatically detects music and video file downloaded by BitTorrent,and stops this dovnload.
適切さの論理ERの自動定理証明器の実装 (特集 「知識発見の生命科学への応用」および一般)
吉沢 康伸; 吉浦 紀晃
人工知能基本問題研究会, 2010年03月, 人工知能学会
2010年03月 - 2010年03月, 日本語
適切さの論理ERの自動定理証明器の実装
吉沢康伸; 吉浦紀晃
人工知能学会人工知能基本問題研究会資料, 2010年03月
2010年03月 - 2010年03月, 日本語
ハードウェア処理されるAccess Control Listの短縮化
石川 拓道; 吉浦 紀晃
インターネットと運用技術シンポジウム2009論文集, 2009年12月
2009年12月 - 2009年12月, 日本語
ネットワークにおけるアクセスコントロールリスト(Access Control List,ACL)はファイアウォールの機能の1つでネットワークセキュリティにおいて重要な役割を果たすものである。 ACLの処理には一律でかつ短い時間で処理が可能なハードウェアが使われることが多いが、 ACLは物理的制限のあるハードウェアに適したサイズでなければならない。そこで本論文では与えられたACLの記述を短縮し、ハードウェアのサイズに当てはまるようにするプログラムを開発する。そして開発したプログラムを実際のACLに使用するこAccess control list (ACL) is one of the most important,things in computer,network security. While an inexpensive router or PC processes ACL by software, network equipment such as Layer 2 or 3 switch processes ACL by hardware because there is a speed limit
A Study of Mobile Node's Mobility and Communication Performance Evaluation On Mobile Communication Systems
井上通宏; 吉浦紀晃; 小野里好邦; 木村博茂
日本シミュレーション学会大会発表論文集, 2008年06月
2008年06月 - 2008年06月, 英語
埼玉大学FTTLの構築
伊藤和人; 田邊俊治; 小川康一; 吉浦紀晃; 重原孝臣; 前川仁
学術情報処理研究, 2007年09月
2007年09月 - 2007年09月, 日本語
利他主義とITによる地域社会の安全化~集合住宅既設エレベータへの設置事例と集合住宅内でのコンセンサス形成~
大塚洋明; 熊倉繁; 藤井雄作; 吉浦紀晃
電気学会全国大会講演論文集, 2006年03月
2006年03月 - 2006年03月, 日本語
分散自律設置カメラシステムによる地域社会の安全化--e自警ネットワーク構想の概要と学校への導入事例紹介 (第22回センシングフォーラム 資料--センシング技術の新たな展開と融合) -- (セッション1B2 ネットワークセンシングシステム)
藤井 雄作; 吉浦 紀晃; 太田 直哉
センシングフォ-ラム資料, 2005年09月, 〔計測自動制御学会〕
2005年09月 - 2005年09月, 日本語
二次元セルラーシステムにおける移動特性と通信性能に関するシミュレーション評価
井上 通宏; 吉浦 紀晃; 小野里 好邦
電気学会研究会資料. CMN, 通信研究会, 2005年05月
2005年05月 - 2005年05月, 日本語
一次元セルラーネットワークの通信性能に関する移動体の速度分布の影響について
井上 通宏; 吉浦 紀晃; 小野里 好邦
情報処理学会論文誌, 2005年02月, 一般社団法人情報処理学会
2005年02月 - 2005年02月, 日本語
本論文では，幹線道路や高速道路のような一次元セルラーネットワークにおいて移動体の速度分布の型や最低速度と最高速度の速度差の違いが通信性能に与える影響について調べるために，計算機シミュレーションにより実験を行った．この実験より，低速度の移動体が高速度の移動体に比べて多く存在する速度分布では，低速度の移動体が高速度の移動体に比べて少ない速度分布と比較して，呼損率が最大で約20%高くなり，完了呼の平均保留時間は約16%長くなった．また，ネットワークへの負荷が高く速度差が大きい場合，速度分布の型の違いは，呼損率と完了呼の平均保留時間に影響を与えること，そして，速度差や速度分布の違いは，完了呼数に対しては影響をほとんど与えないことという結果が得られた．これらのシミュレーション結果の考察から，高速度の移動体よりも低速度の移動体が，呼損率や完了呼の平均保留時間などの通信性能に影響を及ぼすことが考えられる．In this paper, we use simulation method to evaluate how the mobile node's speed distribution difference or difference between maximum and minimum speeds influences the communication performance of one-dimensional mobile cellular networks such as arterial roads or speedways. Our simulation results show that the speed distribution which has the much more low speed mobile users than the high speed mobile users has maximally 20% higher blocking probability and 16% longer mean holding time of completed calls compared to the other speed distribution which has the much more high speed mobile users than the low speed mobile users. In the heavy traffic situation, distribution difference has influences on blocking probability and mean holding time of completed calls. The number of completed call does not vary whatever speed distribution or the difference between maximum and minimum speeds is. By considering our simulation results, we can mention that the number of low speed mobile users has much influences on the the blocking probability and the mean holding time of completed calls.
Using the Security Camera System Based on Individually Maintained Computers for Homeland Security
YOSHIURA N.
The e-JIKEI Network Project, Proc. IEEE IMTC 2005, (Ottawa, Canada), 5, 2005年
2005年 - 2005年
移動体の速度分布を考慮した一次元セルラーネットワークのシミュレーションによる通信性能評価
井上通宏; 吉浦紀晃; 小野里好邦
電気学会通信研究会資料, 2004年06月
2004年06月 - 2004年06月, 日本語
Characteristic of Crossover Traffic in Graphical Representation of Cellular networks
Michihiro Inoue; YOSHIURA NORIAKI; ONOZATO YOSHIKUNI
The 2004 IEEE International Midwest Symposium on Circuits and System(MWSCAS2004),July 25-28, Hiroshima, Japan, 2004年
2004年 - 2004年
生体情報による認証へのハッシュ関数の応用
吉浦紀晃; 吉崎陽一; 中村智博; 小野里好邦
情報科学技術フォーラム, 2003年08月
2003年08月 - 2003年08月, 日本語
ハッシュ関数を用いた生体情報による認証の実験
中村 智博; 吉浦 紀晃; 小野里 好邦
情報処理学会研究報告マルチメディア通信と分散処理（DPS）, 2003年02月, 一般社団法人情報処理学会
2003年02月 - 2003年02月, 日本語
近年、インターネットの普及による電子商取引(EC)などの増加から正確な個人認証が要求されている。現状では、個人認証を行う際、パスワードによる認証が主流だが、今後はネットワークを介した指紋認証や虹彩(アイリス)認証などの生体計測機器による認証が増加すると考えられる。しかしながら既存の生体計測機器による認証は独自の手法によりセキュリティの強化に励んでいるが、基本的に生体情報の暗号化には鍵暗号方式を用いており、その場合復号される危険性があるため、安全とは言い切れない。そこで本論文では生体情報における認証時にハッシュ関数を用いて生体情報そのものを扱わない認証方法提案し、実験を行う。In recent years,exact individual recognition is demanded from the increase in the electronic commerce by the spread of the internet etc. In the present condition, recognition with a password is main stream ,but biometric recognition through the internet increase from now on. Although biometric data is encrypted and saved in the existent recognition system, it may be decrypted, and then the biometric data itself may be stolen. This paper experiments of biometric recognition by proposing the method of treating the biometric data by hash function.
Performance of live and interactive video in Distance Education
R.Deshpande; YOSHIURA NORIAKI; R.Nakanishi; ONOZATO YOSHIKUNI
25th Annual Conference,Pacific Telecommunications Council(PTC2003), January 19-23, Hilton Hawaiian Village Honolulu,Hawaii,U.S.A., Collaborative Applications T.1.2.1 (2003), 2003年
2003年 - 2003年
多地点参加の遠隔講義の運用実験
吉浦 紀晃; 中西 令; 小野里 好邦
情報処理学会研究報告インターネットと運用技術（IOT）, 2002年10月
2002年10月 - 2002年10月, 日本語
遠隔講義はネットワークの発達と共に広く研究されており 実際の講義等で利用されている.また、遠隔講義のシステムの提案や、実際の遠隔講義における様々な考察や報告が行われている.しかしながら 多地点参加の遠隔講義に関する報告は少なく ほとんどが2 3地点参加の遠隔講義のものである.本論文では、多くの地点の遠隔講義への参加を容易にするために、MPEG4ストリーム配信システムと遠隔会議システムの2つのシステムを用いることにより スケーラビリティを持つ遠隔講義システムを用意し 8地点というこれまであまり報告されていない多地点による遠隔講義を実際に行った.運用者や実施者による考察 受講者のアンケート、映像や音声の途切れ時間 トラフィックなどの情報など 遠隔講義の実施により得られた様々な情報から 今回利用したシステムの有効性や多地点の遠隔講義の問題点とその分析を行なう.The rapid advancement of the Information technology(IT) such as the Internet has been changing education, particularly distance lecture becomes very popular in higher education. Although, there are several reports of experiments of distance lecture, most of them is reports of two or three point distance lecture. This paper presents an experiment of eight point distance lecture and analyzes the results of this experiment with questionnaire answers of participants, image and sound pause data and traffic data. The system distance lecture system used in this paper is a hybrid system of two network communication systems; one is MPEG4 streaming system and the other is distance meeting system. This hybrid system has scalability of distance lecture participant sites.
多地点参加の遠隔講義の運用実験
吉浦 紀晃; 中西 令; 小野里 好邦
電子情報通信学会技術研究報告. IA, インターネットアーキテクチャ, 2002年10月, 一般社団法人電子情報通信学会
2002年10月 - 2002年10月, 日本語
遠隔講義は、ネットワークの発達とともに広く研究されており、実際の講義等で利用されている。また、遠隔講義のシステムの提案や、実際の遠隔講義における様々な考察や報告が行われている。しかしながら、多地点参加の遠隔講義に関する報告は少なく、ほとんどが2,3地点参加の遠隔講義のものである。本論文では、多くの地点の遠隔講義への参加を容易にするために、MPEG4ストリーム配信システムと遠隔会議システムの2つのシステムを用いることにより、スケーラビリティをもつ遠隔講義システムを用意し、8地点というこれまであまり報告されていない多地点による遠隔講義を実際に行った。運用者や実施者による考察、受講者のアンケート、映像や音声の途切れ時間、トラフィクなどの情報など、遠隔講義の実施により得られた様々な情報から、今回利用したシステムの有効性や多地点の遠隔講義の問題点とその分析を行う。
DNSサーバの分散管理から集中管理への移行
吉浦紀晃
情報処理学会研究報告, 2001年10月, 一般社団法人情報処理学会
2001年10月 - 2001年10月, 日本語
大学などの大規模な組織では、各部署がそれぞれドメイン名を持ち、独自にDNSサーバを運用している。一方、ドメインの多国語化やDNSサーバへの攻撃など、DNSサーバ管理者が対応しなければならない問題が増え、多くの管理作業が要求される。DNSサーバを一カ所に集中させ、管理コストの軽減とセキュリティ対策を行うことが有効であるが、そのDNSサーバの管理者は多くのDNSのデータを管理しなければならない。本稿では、DNSサーバを集中させ、DNSサーバとそのデータの管理を分けることによる、DNSサーバの効率的かつ安全な管理体制の提案と、そのDNSサーバの管理者の負担を軽減するための、DNSのデータのWebを用いた登録システムの構築について述べる。
環境に合わせて最適な動作を行うリアクティブシステム
吉浦紀晃
日本ソフトウエア科学会大会論文集, 2001年09月
2001年09月 - 2001年09月, 日本語
リアクティブシステムの利用に伴う進化
吉浦紀晃
電子情報通信学会技術研究報告, 2001年07月
2001年07月 - 2001年07月, 日本語
リアクティブシステムの利用に伴う進化
吉浦 紀晃
電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス, 2001年07月, 一般社団法人電子情報通信学会
2001年07月 - 2001年07月, 日本語
時相論理で記述されたリアクティブシステムの仕様から, その仕様を満たすリアクティブシステムの合成手続きが提案されている。リアクティブシステムの合成においては、1つの仕様から複数のプログラムが合成される。このとき、この複数のプログラムからどれを選択するかの方法としていくつかの方法がある。しかしながら、そのいずれの方法でも、環境の動作すべてに対して最適なものであるかどうかは保証されない。そこで、本稿では、実際の環境の動作に応じて最適な動作を行うように動作を変更することが可能なリアクティブシステムの合成方法について議論を行う。
DNSサーバの分散管理から集中管理への移行 (第4回ネットワークシンポジウム講演論文集)
吉浦 紀晃; Yonezaki Naoki
NOC technical report, 2001年04月, Network Operation Center,Tokyo Institute of Technology
2001年04月 - 2001年04月, 日本語
リアクティブシステムの段階的充足可能性と Safety Property の関係
吉浦 紀晃; 米崎 直樹
電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス, 2001年01月, 一般社団法人電子情報通信学会
2001年01月 - 2001年01月, 日本語
時相論理で記述されたリアクティブシステムの仕様から、その仕様を満たすリアクティブシステムが存在するかどうかを判定することができる。また、その実現可能性に関しては様々な性質が提案されている。ここで提案されている実現可能性は、実際のリアクティブシステムにとっては、強すぎる性質である。一方、段階的充足可能性は、実際のリアクティブシステムが満たすべき性質に最も近いものであると考えられる。Safety Propertyは、システムが満たすべき重要な性質であり、システムの安全性を保証するものである。本稿では、段階的充足可能性を満たす仕様からは、その仕様を満たし、かつ、Safety Propertyを満たすリアクティブシステムが存在することを示す。これにより、段階的充足可能性が実際のリアクティブシステムが満たすべき性質であることが言える。
時相論理によるリアクティブシステム動作仕様からの効率的なプログラムの合成法 (第3回ネットワークシンポジウム講演論文集)
吉浦 紀晃
NOC technical report, 2000年04月, Network Operation Center,Tokyo Institute of Technology
2000年04月 - 2000年04月, 日本語
証明力を拡張した適切さの論理$ER$ (プログラム変換と記号・数式処理)
吉浦 紀晃; 米崎 直樹
数理解析研究所講究録, 2000年01月, 京都大学
2000年01月 - 2000年01月, 日本語
適切さと論理RとERの証明力の比較
吉浦 紀晃; 米崎 直樹; Noriaki Yoshiura; Naoki Yonezaki
人工知能学会誌 = Journal of Japanese Society for Artificial Intelligence, 1999年11月, 人工知能学会
1999年11月 - 1999年11月, 日本語
The formalization of human deductive reasoning is a main issue in artificial intelligence. Although classical logic (CL) is one of the most useful ways for the formalization, the implication of CL has some fallacies. For example, in Cl, A→B can be inferred form B for and arbitrary formula A. This inference is incorrect from the viewpoint of the meaning of implication which human has. In human deductive reasoning, when A⇾B is inferred, A and B should be related. Relevant logic has been studied for removal of implication fallacies in CL. The system R is a typical logical system from which fallacies of relevance and validity are removed. ER is a relevant typical logical system from which fallacies of relevance and validity are removed. ER is a relevant logical system from which these fallacies are removed and this system is not weaker than R. Especially, it is known that disjunctive syllogism holds in ER but does not hold in R. This inference rule is considered to be natural in human reasoning. In this paper, we prove that ER is properly stronger than R. This means that, for the formalization of human deductive reasoning, ER is more suitable than other relevant logical systems. The proof consists of the following steps: First, the natural deduction systems FR and FR' are introduced. FR is a natural deduction system equivalent to R. It is proved that FR' is stronger than FR. Next, we show that he normalization theorem holds in FR' and that there is a proof of ER corresponding to each normal proof of FR'. In addition, We show the fact that there is theorem of ER which can not be inferred in R. It follows that ER is properly stronger than R.
プライベートネットワークアドレスを利用する際の経路制御について
吉浦紀晃; 桜井成一朗; 坂本直志; 藤本衛
情報処理学会研究報告, 1999年09月, 一般社団法人情報処理学会
1999年09月 - 1999年09月, 日本語
IPアドレスの枯渇やセキュリティーの問題からプライベートアドレスの広く利用されている。本稿では、パブリックネットワークアドレスを利用しているキャンパスネットワークにプライベートネットワークを併用し、双方で通信可能なネットワークとして運用する場合の特に経路制御の問題と運用例について述べる。この問題を解決するためには、プライベートネットワークとの通信の中継をするルータがすべて可変長サブネットマスクに対応していることと、サブネットマスクを伝搬する経路制御プロトコルを利用する必要がある。さらに、経路の爆発を防ぐためにプライベートアドレスの割り振り方や現在判明している問題について述べる。
適切さの論理ERの決定可能性
吉浦紀晃; 米崎直樹
人工知能学会誌, 1999年09月, 人工知能学会
1999年09月 - 1999年09月, 日本語
証明力を拡張した適切さの論理ER
吉浦 紀晃; 米崎 直樹; Noriaki Yoshiura; Naoki Yonezaki
人工知能学会誌 = Journal of Japanese Society for Artificial Intelligence, 1998年11月, 人工知能学会
1998年11月 - 1998年11月, 日本語
The formalization of human deductive reasoning is a main issue in artificial intelligence. Although classical logic (CL) is one of the most useful ways for the formalization, the implication of CL has some fallacies. For example, in CL, A ⟶ B can be inferred from B for an arbitrary formula A. This inference is not relevant from the viewpoint of the meaning of implication which human has. In human reasoning, when A ⟶ B is inferred, A and B should be related. Relevant logic has been studied for removal of the implication fallacies of CL. For the relevance of A ⟶ B, several principles are introduced. One of the most important principles is Variable-sharing, where, if A ⟶ B is a theorem, then A and B share an atomic proposition. Relevant logical system should satisfy this principle. Another principle is that the truth values of A and B do not decide A ⟶ B. Classification of the fallacies of implication is also introduced. Fallacies are classified into those of relevance, validity, or necessity. Since the fallacies of relevance and validity are strong fallacies, they are removed from almost all relevant logical systems. Relevant logic, however, is a weaker logical system than CL. In this paper, we propose the relevant logic ER. Then we prove that Variable-sharing holds in ER, that fallacies of relevance and validity are removed from ER. We also prove that ER is not weaker than R. Respecially, disjunctive syllogism holds in ER but does not hold in R. In this sense, ER is a natural formalization of human reasoning.
論理結合子の適切さを導入した論理体系LRC
吉浦紀晃; 米崎直樹
日本ソフトウエア科学会大会論文集, 1998年09月
1998年09月 - 1998年09月, 日本語
結合子の適切さによる人間の演繹的な推論の形式化
吉浦 紀晃; 米崎 直樹
電子情報通信学会技術研究報告. AI, 人工知能と知識処理, 1997年11月, 一般社団法人電子情報通信学会
1997年11月 - 1997年11月, 日本語
人間の行なう演繹的な推論の形式化は、人工知能の研究にとって重要な問題であり、論理はその形式化の有効な候補の1つである。しかし、人間の演繹的な推論は、形式的な論理体系による推論とは必ずしも一致しない。なぜなら、論理体系の目的が正しい式を推論することにあるが、人間の演繹的な推論では有用な情報の導出がその目的であるからである。本稿では、人間の演繹的な推論における結合子の導入の仕方を議論し、結合の適切さを定義する。さらに、定理が適切な結合のみからなる論理体系 LRC (Logic of Relevant Connectives) を提案する。この論理体系は、適切さの論理の中でも強い体系であるERをべースに構築される。
証明力が拡張された適切さの論理体系ER
吉浦 紀晃; 米崎 直樹
全国大会講演論文集, 1997年09月
1997年09月 - 1997年09月, 日本語
論理の主たる目的は, 人間の行なう演繹的な推論を形式化することである。しかし, 古典論理における含意「ならば」は, 日常利用する「ならば」とは, 違和を感じる箇所もある。例えば, 古典論理では, 「2+3=5」が真であることから, 「雪は白いならば, 2+3=5」が真となる。しかし, このような推論は, 奇異に感じられる。古典論理の含意が持つこのような違和感は次のように3つに分類される。1. 関連性の違和感 A→(B→A), 2. 恒真性の違和感 (A∧￢A)→B, A→(B∨￢B), 3. 偶然性の違和感 A→((A→B)→B)。適切さの論理は, これらの違和感を除去することを目的として研究されてきた。Lewisによる関連性の違和感が除去された厳密含意の提案に始まり, 多くの適切さの論理の体系が提案されている。代表的な体系としては, ChurchやMohによる, 関連性と恒真性の違和感が除去された論理体系Rや, Ackennannによる, すべての違和感が除去された論理体系Eなどがある。関連性・恒真性の違和感は強い違和感とみなされ, ほとんどの体系で, これらは除去されている。一方, 適切さの論理では, 体系が弱いという問題がある。例えば, 自然演繹における推論規則Disjunctive syllogism (DS)が許されない。[numerical formula]この推論規則が認められない理由は, 以下のように(A∨￢A)+Bが証明可能となるためである。[numerical formula][5]では, DSが問題のある規則と見なされ, 適切さの論理では, この推論規則は除去されている。また, 違和感を含んでいない以下の式が, 適切さの論理では定理ではない。1. A→(B→(A∧B)), 2. A→(A∧(B∨￢B))。適切さの論理では, 1.が定理である場合, A→(B→A)が定理となり, また, 2.が定理である場合, A→(B∨￢B)が定理となるため, これら2つの式は定理とはならない。このように, 適切さの論理では, 違和感を除去するために, 結果として, 定理となることが自然であると考えられる式が定理とはならず, また, 自然な推論規則が成り立たない。本稿では, 関連性・恒真性の違和感が除去されており, 体系Rよりも強い論理体系ERを提案する。ERは, [4]に示されているsequentによる自然演繹の体系として与えられ, 各推論規則では, 式の属性が利用される。この属性は, 証明を制御し, 違和感を含む式の推論を防ぐために利用される。また, 属性を利用する点からみると, ERは, Labelled deductive systemの一種であるといえる。
知識推論のための適切さの論理
吉浦紀晃; 米崎直樹
日本ソフトウエア科学会大会論文集, 1996年09月
1996年09月 - 1996年09月, 日本語
命題の成立回数に関する時相演算子に基づく時相論理MTLの決定可能性について
吉浦紀晃; 米崎直樹
日本ソフトウエア科学会大会論文集, 1992年09月
1992年09月 - 1992年09月, 日本語
