教員情報 - 林原　尚浩

研究概要

業績

著書・論文歴

経歴

学歴

職歴

研究キーワード：分散システム、ネットワークコンピューティング、安全性・信頼性、メタヒューリスティックス、分散システム、データーベース、故障検出、高信頼性、システム管理、故障検出器、ネットワーク、ネットワーク・コンピューティング、ソフトウェアフレームワーク、分散アルゴリズム、耐故障システム、サービス指向アーキテクチャ、アクセス制御、P2Pシステム、トランザクション処理、信用度、耐故障性、耐障害システム、自律分散システム、Peer-to-Peerシステム、サービス品質(QoS)、モバイルエージェント、大規模分散システム、グループ通信、高速ネットワーク、メタヒューリスティックス、分散システム、データーベース、故障検出、高信頼性、システム管理、故障検出器、ネットワーク、ネットワーク・コンピューティング、ソフトウェアフレームワーク、分散アルゴリズム、耐故障システム、サービス指向アーキテクチャ、アクセス制御、P2Pシステム、トランザクション処理、信用度、耐故障性、耐障害システム、自律分散システム、Peer-to-Peerシステム、サービス品質(QoS)、モバイルエージェント、大規模分散システム、グループ通信、高速ネットワーク

（最終更新日：1000-01-01 00:00:00）

  ハヤシバラ　ナオヒロ   HAYASHIBARA NAOHIRO
  林原　尚浩
   所属   京都産業大学情報理工学部情報理工学科

職種教授

研究概要

■ 研究概要

◆研究課題 ORAMとTEEによる安全な分散システムの構築 ◆研究概要オペレーティングシステムの脆弱性によるサービスの停止やデータの漏洩などが社会問題となっており，これに対処するために様々なCPUベンダがハードウェア協調型高信頼実行環境TEEを提供している．TEEはエンクレーブと呼ばれる保護されたメモリ領域を作成して認証されたプロセスのみがそのエンクレーブにアクセスできる．これによってたとえオペレーティングシステムが侵入や権限の乗っ取りなどの外部攻撃にさらされたとしてもエンクレーブにアクセスすることができず重要なデータを保護できるという仕組みである．しかし，いくつかのTEE（たとえばIntel SGXなど）はタイミング攻撃やサイドチャネル攻撃などに脆弱であることが知られており，社会インフラとなるような高度なセキュリティが求められているシステムを動作させるためには更なる安全性が求められている．本研究では暗号的難読化手法であるOblivious Random Access Memory (ORAM)を用いて実行系列，メモリのアクセスパターンなどを外部から読み取り困難な状態にし，タイミング攻撃やサイドチャネル攻撃に耐性を持たせる．また，この性質を利用して安全な分散システムの構築を行い，本研究で提案する手法が分散システムのビルディングブロックとなることを示す．具体的には，安全性の高いリーダ選挙プロトコル（SSLE）を実装し，有効性を検証する．SSLEはPoS型のブロックチェーンにおいてリーダが早期に判明することによってリーダがDDoSなどの攻撃を受けブロックの生成が困難になるという問題を解決する手法として注目されており，本研究で新たなSSLEプロトコルを提供することによるインパクトは大きいと考えている．

業績

■ 著書・論文歴

1.	2022	論文	Message Delivery of Nomadic Lévy Walk Based Message Ferry Routing in Delay Tolerant Networks. Advanced Information Networking and Applications - Proceedings of the 36th International Conference on Advanced Information Networking and Applications (AINA-2022) 259-270頁（共著）
2.	2022	論文	The Probability of Encounters of Mutual Search Using Lévy Walk on Unit Disk Graphs. NBiS'22 90-101頁（共著）
3.	2021	論文	Message Ferry Routing Based on Nomadic Lévy Walk in Delay Tolerant Networks. Advances in Networked-Based Information Systems - The 24th International Conference on Network-Based Information Systems (NBiS-2021)(NBiS) 82-93頁
4.	2021	論文	Message Ferry Routing Based on Nomadic Lévy Walk in Wireless Sensor Networks. Advanced Information Networking and Applications - Proceedings of the 35th International Conference on Advanced Information Networking and Applications (AINA-2021) 436-447頁
5.	2020/04	論文	Performance Evaluation of Nomadic Lévy Walk on Unit Disk Graphs Using Hierarchical Clustering. In Proc. of AINA 2020 512-522頁
6.	2020/02	論文	Human Mobility and Message Caching in Opportunistic Networks. In Proc. of EIDWT 2020 395-405頁
7.	2020	論文	A Cost Analysis of Routing Algorithms in Pedestrian-Based Delay Tolerant Networks. Advances in Networked-Based Information Systems - The 23rd International Conference on Network-Based Information Systems(NBiS) 77-88頁
8.	2020	論文	Cost and Performance Analysis of Cuckoo Search Based File Replication in MANET. Advances on Broad-Band Wireless Computing, Communication and Applications - Proceedings of the 15th International Conference on Broad-Band and Wireless Computing, Communication and Applications (BWCCA-2020)(BWCCA) 87-96頁
9.	2020	論文	Message broadcasting by opportunistic communication on unit disk graphs. Evol. Intell. 13(1),93-102頁
10.	2020	論文	Performance evaluation of data replication protocol based on Cuckoo search in mobile ad-hoc networks. Internet Things 11,100223-100223頁
11.	2020	論文	Target exploration by Nomadic Lévy walk on unit disk graphs. Int. J. Grid Util. Comput. 11(2),221-229頁
12.	2019/11	論文	Data Replication Based on Cuckoo Search in Mobile Ad-Hoc Networks. In Proc. of BWCCA 2019 199-209頁
13.	2019/09	論文	Opportunistic Communication by Pedestrians with Roadside Units as Message Caches. In Proc. of NBiS 2019 167-177頁
14.	2019/07	論文	Message Dissemination Using Nomadic Lévy Walk on Unit Disk Graphs. In Proc. of CISIS 2019 136-147頁
15.	2019	論文	Gossip Message Dissemination Protocols in the Presence of Link Instability. Advanced Information Networking and Applications - Proceedings of the 33rd International Conference on Advanced Information Networking and Applications, AINA 2019, Matsue, Japan, March 27-29, 2019 535-545頁
16.	2019	論文	Scalable distributed collaborative editing for 3D models using conflict-free data structure. IJSSC 9(1),11-21頁
17.	2018/03/29	論文	Adaptive Zone Replication for Structured Peer-to-Peer Systems Proceedings - 2017 IEEE 15th International Conference on Dependable, Autonomic and Secure Computing, 2017 IEEE 15th International Conference on Pervasive Intelligence and Computing, 2017 IEEE 3rd International Conference on Big Data Intelligence and Computing and 2017 IEEE Cyber Science and Technology Congress, DASC-PICom-DataCom-CyberSciTec 2017 2018-,pp.415-422
18.	2018	その他	Conflict-free Multi-user Collaborative Editing System for 3D Models. Complex, Intelligent, and Software Intensive Systems - Proceedings of the 12th International Conference on Complex, Intelligent, and Software Intensive Systems, CISIS-2018, Matsue, Japan, 4-6 July 2018 269-279頁
19.	2018	その他	Opportunistic Message Broadcasting with Pheromone-Based Caching. 2018 IEEE 16th Intl Conf on Dependable, Autonomic and Secure Computing, 16th Intl Conf on Pervasive Intelligence and Computing, 4th Intl Conf on Big Data Intelligence and Computing and Cyber Science and Technology Congress, DASC/PiCom/DataCom/CyberSciTech 435-440頁
20.	2018	その他	Performance Evaluation of Lévy Walk on Message Dissemination in Unit Disk Graphs. Advances in Internet, Data & Web Technologies, The 6th International Conference on Emerging Internet, Data & Web Technologies, EIDWT-2018, Tirana, Albania, March 15-17, 2018. 911-921頁
21.	2018	その他	Resource Exploration Using Levy Walk on Unit Disk Graphs. 32nd IEEE International Conference on Advanced Information Networking and Applications, AINA 2018, Krakow, Poland, May 16-18, 2018 149-156頁
22.	2018	その他	Resource management for raft consensus protocol. IJSSC 8(2),80-87頁
23.	2017	論文	Merging Topic Groups of a Publish/Subscribe System in Causal Order 2017 31ST IEEE INTERNATIONAL CONFERENCE ON ADVANCED INFORMATION NETWORKING AND APPLICATIONS WORKSHOPS (IEEE WAINA 2017) pp.172-177
24.	2017	論文	Message Dissemination using Levy Flight on Unit Disk Graphs 2017 IEEE 31ST INTERNATIONAL CONFERENCE ON ADVANCED INFORMATION NETWORKING AND APPLICATIONS (AINA) pp.355-362
25.	2017	その他	Collecting Data in Sensor Networks Using Homesick Lévy Walk. Advances in Network-Based Information Systems, The 20th International Conference on Network-Based Information Systems, NBiS 2017, Ryerson University, Toronto, ON, Canada, August 24-26, 2017. 779-786頁
26.	2017	その他	Energy Efficient Raft Consensus Algorithm. Advances in Network-Based Information Systems, The 20th International Conference on Network-Based Information Systems, NBiS 2017, Ryerson University, Toronto, ON, Canada, August 24-26, 2017. 719-727頁
27.	2017	その他	Gossip-Style Message Dissemination Based on Biconnected Components. Advances in Network-Based Information Systems, The 20th International Conference on Network-Based Information Systems, NBiS 2017, Ryerson University, Toronto, ON, Canada, August 24-26, 2017. 711-718頁
28.	2016	論文	ChainVoxel: A Data Structure for Scalable Distributed Collaborative Editing for 3D Models 2016 IEEE 14TH INTL CONF ON DEPENDABLE, AUTONOMIC AND SECURE COMPUTING, 14TH INTL CONF ON PERVASIVE INTELLIGENCE AND COMPUTING, 2ND INTL CONF ON BIG DATA INTELLIGENCE AND COMPUTING AND CYBER SCIENCE AND TECHNOLOGY CONGRESS (DASC/PICOM/DATACOM/CYBERSC pp.344-351
29.	2015/02/26	その他	3Dオブジェクトのためのアノテーション共有システム研究報告マルチメディア通信と分散処理（DPS） 2015(21),1-7頁
30.	2014	論文	On Message Reachability of Gossip Algorithms in Degree-Biased Peer-to-Peer Networks 2014 20TH IEEE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS (ICPADS) pp.817-822
31.	2014	その他	Aspect-oriented exception handling for network programming in a component-based framework Proceedings of the IASTED International Conference on Software Engineering, SE 2014 pp.23-30
32.	2012	論文	Squareknot: a Flexible Framework for Actuators and Controllers in Smart Environment 2012 9TH INTERNATIONAL CONFERENCE ON UBIQUITOUS INTELLIGENCE & COMPUTING AND 9TH INTERNATIONAL CONFERENCE ON AUTONOMIC & TRUSTED COMPUTING (UIC/ATC) pp.699-706
33.	2011	論文	Towards persistent connections using failure detectors IEEE International Symposium on Parallel and Distributed Processing Workshops and Phd Forum pp.1502-1509
34.	2010/12/15	その他	アクルーアル故障検出器ACCMOSの実装と評価情報処理学会論文誌 51(12),2310-2318頁
35.	2009/11/19	その他	アクルーアル故障検出器を用いた故障検出精度の制御研究報告電子化知的財産・社会基盤（EIP） 2009(28),1-6頁
36.	2009/11/19	その他	アクルーアル故障検出器を用いた故障検出精度の制御研究報告グループウェアとネットワークサービス（GN） 2009(28),1-6頁
37.	2009/11/19	その他	アクルーアル故障検出器を用いた故障検出精度の制御研究報告マルチメディア通信と分散処理（DPS） 2009(28),1-6頁
38.	2009	論文	Design of the notification system for failure detectors International Journal of High Performance Computing and Networking 6(1),pp.25-34
39.	2007/10/31	その他	モバイルロボット群向け eventual leader election の提案マルチメディア通信と分散処理ワークショップ2007論文集 2007(9),87-88頁
40.	2007/03/02	その他	A Superpeer-based Two-layer P2P Overlay Network with the CBF Algorithm IPSJ SIG Notes 2007(16),pp.231-236
41.	2007/03	論文	A mobile agent model for fault-tolerant manipulation on distributed objects CLUSTER COMPUTING-THE JOURNAL OF NETWORKS SOFTWARE TOOLS AND APPLICATIONS 10(1),pp.81-93
42.	2007	論文	A distributed coordination algorithm for a heterogeneous group of peers CISIS 2007: First International Conference on Complex, Intelligent and Software Intensive Systems, Proceedings pp.291-296
43.	2007	論文	A distributed coordination protocol for a heterogeneous group of peer processes 21ST INTERNATIONAL CONFERENCE ON ADVANCED NETWORKING AND APPLICATIONS, PROCEEDINGS pp.565-+
44.	2007	論文	A superpeer-based two-layer P2P overlay network with the CBF strategy CISIS 2007: FIRST INTERNATIONAL CONFERENCE ON COMPLEX, INTELLIGENT AND SOFTWARE INTENSIVE SYSTEMS, PROCEEDINGS pp.111-+
45.	2007	論文	An efficient data transmission protocol in a wireless sensor-actuator network CISIS 2007: FIRST INTERNATIONAL CONFERENCE ON COMPLEX, INTELLIGENT AND SOFTWARE INTENSIVE SYSTEMS, PROCEEDINGS pp.11-+
46.	2007	論文	Concurrency control based on subject and purpose concepts 11TH IEEE INTERNATIONAL WORKSHOP ON FUTURE TRENDS OF DISTRIBUTED COMPUTING SYSTEMS, PROCEEDINGS pp.55-62
47.	2007	論文	Confidence-based trustworthiness of acquaintance peers in peer-to-peer overlay networks Proceedings - International Conference on Distributed Computing Systems pp.74
48.	2007	論文	Confidence-based trustworthiness of acquaintance peers in peer-to-peer overlay networks Proceedings - International Conference on Distributed Computing Systems pp.30
49.	2007	論文	Coordination protocols of multiple actuator nodes in a multi-actuator/ multi-sensor model Proceedings - 21st International Conference on Advanced Information Networking and Applications Workshops/Symposia, AINAW'07 2,pp.62-67
50.	2007	論文	Efficient data transmission in a lossy and resource limited wireless sensor-actuator network 10TH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT AND COMPONENT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, PROCEEDINGS pp.156-+
51.	2007	論文	Evaluation of reliable data transmission protocol in wireless sensor-actuator network 21ST INTERNATIONAL CONFERENCE ON ADVANCED NETWORKING AND APPLICATIONS WORKSHOPS/SYMPOSIA, VOL 2, PROCEEDINGS pp.713-+
52.	2007	論文	Fault detection and recovery in a transactional agent model 21ST INTERNATIONAL CONFERENCE ON ADVANCED NETWORKING AND APPLICATIONS, PROCEEDINGS pp.126-+
53.	2007	論文	Fault-tolerant semi-passive coordination protocol for a multi-actuator/multi-sensor (MAMS) model ARES 2007: SECOND INTERNATIONAL CONFERENCE ON AVAILABILITY, RELIABILITY AND SECURITY, PROCEEDINGS pp.506-+
54.	2007	論文	Performance analysis of the interrogation-based failure detector Proceedings - International Conference on Distributed Computing Systems pp.34
55.	2007	論文	Performance analysis of the superpeer-based two-layer P2P overlay network with the CBF strategy Proceedings - International Conference on Distributed Computing Systems pp.32
56.	2007	論文	Sensor-actuator communication protocols in wireless networks NETWORK-BASED INFORMATION SYSTEMS, PROCEEDINGS 4658,pp.11-+
57.	2006/11/23	その他	Performance Analysis of the φ Failure Detector マルチメディア通信と分散処理ワークショップ論文集 2006(15),pp.25-30
58.	2006/11/23	その他	Trustworthiness of Acquaintances Based on Access Control in Peer-to-Peer Overlay Networks マルチメディア通信と分散処理ワークショップ論文集 2006(15),pp.7-12
59.	2006/11/17	その他	Reliable and Energy-efficient Data Transmission Procedures in Wireless Sensor-Actuator Networks IPSJ SIG Notes 2006(121),pp.49-54
60.	2006/11	論文	HAMS: Scalable peer-to-peer multimedia streaming model in heterogeneous networks JOURNAL OF COMPUTER AND SYSTEM SCIENCES 72(7),pp.1211-1225
61.	2006/06/06	その他	Standalone Overlay Reconfiguration Algorithm for Unstructured Peer-to-Peer Networks IPSJ SIG Notes 2006(61),pp.57-62
62.	2006	論文	A fault-tolerant model for wireless sensor-actor system 20TH INTERNATIONAL CONFERENCE ON ADVANCED INFORMATION NETWORKING AND APPLICATIONS, VOL 2, PROCEEDINGS pp.303-+
63.	2006	論文	A fault-tolerant model of wireless sensor-actor network NINTH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT AND COMPONENT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, PROCEEDINGS pp.186-193
64.	2006	論文	A fault-tolerant transactional agent model on distributed object systems 20TH INTERNATIONAL CONFERENCE ON ADVANCED INFORMATION NETWORKING AND APPLICATIONS, VOL 2, PROCEEDINGS pp.907-+
65.	2006	論文	A fault-tolerant transactional agent model on distributed objects NINTH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT AND COMPONENT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, PROCEEDINGS pp.279-286
66.	2006	論文	A macro-level distributed method for the efficient allocation of zones in the Internet 20TH INTERNATIONAL CONFERENCE ON ADVANCED INFORMATION NETWORKING AND APPLICATIONS, VOL 2, PROCEEDINGS pp.753-+
67.	2006	論文	Design of a notification system for the phi accrual failure detector 20TH INTERNATIONAL CONFERENCE ON ADVANCED INFORMATION NETWORKING AND APPLICATIONS, VOL 1, PROCEEDINGS pp.87-+
68.	2006	論文	Distributed coordination for scalable multi-source multimedia streaming model Proceedings of the International Conference on Parallel and Distributed Systems - ICPADS 1,pp.243-250
69.	2006	論文	Distributed coordination for scalable multi-source multimedia streaming model Proceedings of the International Conference on Parallel and Distributed Systems - ICPADS 1,pp.243-250
70.	2006	論文	Distributed coordination protocols to realize scalable multimedia streaming in peer-to-peer overlay networks 2006 INTERNATIONAL CONFERENCE ON PARALLEL PROCESSING, PROCEEDINGS pp.569-576
71.	2006	論文	Fault-tolerant destributed systems in a mobile agent model SEVENTEENTH INTERNATIONAL CONFERENCE ON DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS pp.10-+
72.	2006	論文	HAMS: Heterogeneous asynchronous multi-source streaming protocol to realize scalable multimedia communications 20TH INTERNATIONAL CONFERENCE ON ADVANCED INFORMATION NETWORKING AND APPLICATIONS, VOL 1, PROCEEDINGS pp.347-+
73.	2006	論文	Performance analysis of the phi failure detector with its tunable parameters SEVENTEENTH INTERNATIONAL CONFERENCE ON DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS pp.20-+
74.	2006	論文	Satistiability and trustworthiness of peers in peer-to-peer overlay networks FIRST INTERNATIONAL CONFERENCE ON AVAILABILITY, RELIABILITY AND SECURITY, PROCEEDINGS pp.42-+
75.	2006	論文	Service oriented trustworthiness of acquaintances in peer-to-peer overlay networks 20TH INTERNATIONAL CONFERENCE ON ADVANCED INFORMATION NETWORKING AND APPLICATIONS, VOL 1, PROCEEDINGS pp.3-+
76.	2006	論文	Trustworthiness in peer-to-peer overlay networks IEEE INTERNATIONAL CONFERENCE ON SENSOR NETWORKS, UBIQUITOUS, AND TRUSTWORTHY COMPUTING, VOL 1, PROCEEDINGS pp.86-+
77.	2006	その他	Performance Evaluation of the . Accrual Failure Detector. 26th International Conference on Distributed Computing Systems Workshops (ICDCS 2006 Workshops), 4-7 July 2006, Lisboa, Portugal 46頁
78.	2005/11/30	その他	A Notification System for the φ-Failure Detector マルチメディア通信と分散処理ワークショップ論文集 2005(19),pp.189-193
79.	2005/11/30	その他	Flexible Multimedia Streaming Model in Heterogeneous Network マルチメディア通信と分散処理ワークショップ論文集 2005(19),pp.184-188
80.	2005/11/30	その他	Implementation and Evaluation of Transactional Agents for Distributed System マルチメディア通信と分散処理ワークショップ論文集 2005(19),pp.27-31
81.	2005/11/15	その他	Trustworthiness of Peers in Peer-to-Peer Overlay Networks IPSJ SIG Notes 2005(111),pp.55-60
82.	2005/11/14	その他	Fault-Tolerant Communication Protocol in Wireless Sensor-Actor Networks IPSJ SIG Notes 2005(111),pp.1-6
83.	2005/06/02	その他	A Scalable Group Communication Protocol with Global Clock IPSJ SIG Notes 2005(58),pp.1-6
84.	2005/06/02	その他	Information Propagation on the varphi Failure Detector IPSJ SIG Notes 2005(58),pp.25-30
85.	2005	論文	Acquaintance-based protocol for manipulating multimedia objects in peer-to-peer overlay networks SIXTEENTH INTERNATIONAL WORKSHOP ON DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS pp.771-775
86.	2005	論文	Asynchronous multi-source streaming protocol to realize high-performance multimedia communication SIXTEENTH INTERNATIONAL WORKSHOP ON DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS pp.116-120
87.	2005	論文	Byzantine agreement protocol using hierarchical groups 11TH INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS, VOL I, PROCEEDINGS pp.64-70
88.	2005	論文	Causally ordered delivery with global clock in hierarchical group 11TH INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS WORKSHOPS, VOL II, PROCEEDINGS, pp.560-564
89.	2005	論文	Definition and specification of accrual failure detectors 2005 INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS pp.206-215
90.	2005	論文	Hierarchical group protocol for parallel transmission of multimedia data PROCEEDINGS OF THE 8TH JOINT CONFERENCE ON INFORMATION SCIENCES, VOLS 1-3 pp.766-769
91.	2005	論文	Hierarchical protocol for Byzantine agreement in a peer-to-peer overlay network SIXTEENTH INTERNATIONAL WORKSHOP ON DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS pp.5-9
92.	2005	論文	Information propagation on the phi failure detector SIXTEENTH INTERNATIONAL WORKSHOP ON DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS pp.72-76
93.	2005	論文	Scalable peer-to-peer multimedia streaming model in heterogeneous networks ISM 2005: SEVENTH IEEE INTERNATIONAL SYMPOSIUM ON MULTIMEDIA, PROCEEDINGS pp.208-215
94.	2005	その他	An Asynchronous Multi-source Streaming Protocol for Scalable and Reliable Multimedia Communication. Proceedings of the 11th International Conference on Distributed Multimedia Systems, DMS 2005, September 5-7, 2005, Fairmont Banff Springs Hotel, Banff, Alberta, Canada 253-258頁
95.	2005	その他	Cbf: Look-up Protocol for Distributed Multimedia Objects in Peer-to-peer Overlay Networks. Journal of Interconnection Networks 6(3),323-344頁
96.	2005	その他	Design of a Hierarchical Group to Realize a Scalable Group. J. Mobile Multimedia 1(3),180-197頁
97.	2005	その他	SMIP: Striping Multimedia Communication Protocol for Large Scale Hierarchical Group. Proceedings of the 11th International Conference on Distributed Multimedia Systems, DMS 2005, September 5-7, 2005, Fairmont Banff Springs Hotel, Banff, Alberta, Canada 259-264頁
98.	2005	その他	Transactional agent on distributed objects Proceedings of the International Conference on Parallel and Distributed Systems - ICPADS 2,pp.644-648
99.	2004/05/14	その他	On Accrual Failure Detectors Research report 2004,pp.1-14
100.	2004/05/10	その他	The φ Accrual Failure Detector Research report 2004,pp.1-15
101.	2004	論文	A mobile agent model for fault-tolerant manipulation on distributed objects Tertiary Education and Management 10(1),pp.81-93
102.	2004	論文	Performance comparison of a rotating coordinator and a leader based consensus algorithm 23RD IEEE INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, PROCEEDINGS pp.4-17
103.	2004	論文	The phi accrual failure detector 23RD IEEE INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, PROCEEDINGS pp.66-78
104.	2003/10/06	その他	Implementation and Performance Analysis of the φ-Failure Detector Research report 2003,pp.1-14
105.	2003	その他	On the Design of a Failure Detection Service for Large-Scale Distributed Systems Proc. of Int\'l Symposium on Towards Peta-Bit Ultra-Networks 88-95頁
106.	2002	論文	Failure detectors for large-scale distributed systems 21ST IEEE SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, PROCEEDINGS pp.404-409
107.	2002	その他	Performance Comparison between the Paxos and Chandra-Toueg Consensus Algorithms Proc. of the 2002 International Arab Conference on Information Technology (ACIT\'2002) 1,526-533頁
5件表示
全件表示(107件)

経歴

■ 学歴

1.	2004 (学位取得)	北陸先端科学技術大学院大学博士（情報科学）
2.	2001/11～2002/03	スイス連邦工科大学ローザンヌ校計算機・通信科学科留学
3.	2001/04～2004/06	北陸先端科学技術大学院大学情報科学研究科情報システム学専攻博士課程修了博士（情報科学）
4.	1999/04～2001/03	北陸先端科学技術大学院大学情報科学研究科情報システム学専攻修士課程修了修士（情報科学）
5.	1995/04～1999/03	和歌山大学経済学部社会システム設計学科

■ 職歴

1.	2023/04～	京都産業大学情報理工学部情報理工学科教授
2.	2022/09～2023/08	ヌーシャテル大学理学部コンピュータ科学科招聘教授
3.	2018/04～2023/03	京都産業大学情報理工学部情報理工学科准教授
4.	2013/04～2018/03	京都産業大学コンピュータ理工学部コンピュータサイエンス学科准教授
5.	2008/04～2013/03	京都産業大学コンピュータ理工学部コンピュータサイエンス学科助教
6.	2005/04～2008/03	東京電機大学理工学部助手
7.	2004/07～2005/03	北陸先端科学技術大学院大学情報科学研究科博士研究員
5件表示
全件表示(7件)

■ 所属学会

1.		ACM
2.		IEEE
3.		情報処理学会

その他

■ 研究課題・受託研究・科研費

1.	2023/04～2027/03	ディペンダブルな分散システム実現のためのモデルチェッキング技術の開発基盤研究(B)
2.	2023/04～	ディペンダブルな分散システム実現のためのモデルチェッキング技術の開発基盤研究(B)
3.	2016/04～2020/03	体験型3Dデジタルアーカイブのためのフレームワーク基盤研究(C)
4.	2012/04～2015/03	ディペンダブル・データベースシステムのためのサービス指向フレームワーク若手研究(B)
5.	2008/04～2011/03	大規模システム管理のための自律分散型モニタリングシステム若手研究(B)
6.	2005～2006	Failure detection service for reliable distributed systems and applications
7.	2005～2006	大規模高信頼分散システム・アプリケーションの為の高精度故障検出器若手研究(B)
5件表示
全件表示(7件)

■ 委員会・協会等

1.	2006～2009	情報処理学会 DPS研究会運営委員
2.	2006～2009	情報処理学会マルチメディア通信と分散処理(DPS)研究会運営委員 (2006-2009)

■ ホームページ

https://www.cc.kyoto-su.ac.jp/~naohaya

■ 受賞学術賞

1.	2011	山下記念研究賞 (情報処理学会)
2.	2009	最優秀論文賞 (情報処理学会第17回マルチメディア通信と分散処理ワークショップ)
3.	2005	Best Paper Award (The 1st International Workshop on Distributed, Parallel and Network Applications (DPNA 2005) )
4.	2004	Best Presenter Award (情報処理学会第12回マルチメディア通信と分散処理ワークショップ)

■ 現在の専門分野

ソフトウェア, 計算機システム, データベース, 情報ネットワーク, 計算機システム, 情報ネットワーク, 計算機システム　（キーワード：分散システム、ネットワークコンピューティング、安全性・信頼性、メタヒューリスティックス、分散システム、データーベース、故障検出、高信頼性、システム管理、故障検出器、ネットワーク、ネットワーク・コンピューティング、ソフトウェアフレームワーク、分散アルゴリズム、耐故障システム、サービス指向アーキテクチャ、アクセス制御、P2Pシステム、トランザクション処理、信用度、耐故障性、耐障害システム、自律分散システム、Peer-to-Peerシステム、サービス品質(QoS)、モバイルエージェント、大規模分散システム、グループ通信、高速ネットワーク、メタヒューリスティックス、分散システム、データーベース、故障検出、高信頼性、システム管理、故障検出器、ネットワーク、ネットワーク・コンピューティング、ソフトウェアフレームワーク、分散アルゴリズム、耐故障システム、サービス指向アーキテクチャ、アクセス制御、P2Pシステム、トランザクション処理、信用度、耐故障性、耐障害システム、自律分散システム、Peer-to-Peerシステム、サービス品質(QoS)、モバイルエージェント、大規模分散システム、グループ通信、高速ネットワーク）