Noriaki Yoshiura

Proceedings of the Intelligent Information and Database Systems - 15th Asian Conference, 2023

2022

Modeling and Verification of a Hybrid Model of Mobile Banking Based Branchless Banking System in E-Banking Using SPIN.

[BibT_eX]

[DOI]

Proceedings of the ICSCA 2022: 11th International Conference on Software and Computer Applications, Melaka, Malaysia, February 24, 2022

Smart Help Desk to support user's PC settings.

[BibT_eX]

[DOI]

Kohichi Ogawa

Nobukuni Hamamoto

Proceedings of the IEEE International Conference on Consumer Electronics - Taiwan, 2022

AntiPhiMBS-TRN: A New Anti-phishing Model to Mitigate Phishing Attacks in Mobile Banking System at Transaction Level.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Information and Database Systems - 14th Asian Conference, 2022

2021

Modeling and Verification of Contactless Mobile Banking System in E-Banking Using SPIN.

[BibT_eX]

[DOI]

Proceedings of the Computational Science and Its Applications - ICCSA 2021, 2021

AntiPhiMBS-Auth: A New Anti-phishing Model to Mitigate Phishing Attacks in Mobile Banking System at Authentication Level.

[BibT_eX]

[DOI]

Proceedings of the Database Systems for Advanced Applications. DASFAA 2021 International Workshops, 2021

AntiPhiMBS: A New Anti-phishing Model to Mitigate Phishing Attacks in Mobile Banking System at Application Level.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Information and Database Systems - 13th Asian Conference, 2021

2020

IP Traceback method by OpenFlow.

[BibT_eX]

[DOI]

Hayata Yano

Proceedings of the ICSIM '20: The 3rd International Conference on Software Engineering and Information Management, 2020

Identification of Writing on Bulletin Board via Tor.

[BibT_eX]

[DOI]

Kaichiro Iida

Proceedings of the ICSIM '20: The 3rd International Conference on Software Engineering and Information Management, 2020

Packet Reachability Verification in OpenFlow Networks.

[BibT_eX]

[DOI]

Keigo Sugiyama

Proceedings of the 9th International Conference on Software and Computer Applications, 2020

A Method of Collecting the IP Addresses of Hidden Server in Tor Networks.

[BibT_eX]

[DOI]

Kento Koizumi

Proceedings of the 9th International Conference on Software and Computer Applications, 2020

Privacy Protection in Location Based Service by Secure Computation.

[BibT_eX]

[DOI]

Masato Ishikawa

Proceedings of the Intelligent Information and Database Systems - 12th Asian Conference, 2020

2018

Development of a Support System to Resolve Network Troubles by Mobile Robots.

[BibT_eX]

[DOI]

Kohichi Ogawa

Proceedings of the Internet and Distributed Computing Systems, 2018

Model Checking of TTCAN Protocol Using UPPAAL.

[BibT_eX]

[DOI]

Shuxin Liu

Proceedings of the Computational Science and Its Applications - ICCSA 2018, 2018

A Browser Application for Keyword Recommendation Based on User Web Search.

[BibT_eX]

[DOI]

Chen Kuo

Proceedings of the Computational Science and Its Applications - ICCSA 2018, 2018

2017

The Relation Between Syntax Restriction of Temporal Logic and Properties of Reactive System Specification.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Information and Database Systems - 9th Asian Conference, 2017

2016

Abuse Prevention of Street Camera Network by Browsing-History Disclosure.

[BibT_eX]

[DOI]

J. Community Informatics, 2016

Computational Verification of Network Programs for Several OpenFlow Switches in Coq.

[BibT_eX]

[DOI]

Hiroaki Date

Proceedings of the Computational Science and Its Applications - ICCSA 2016, 2016

2015

Implementation of Theorem Prover of Relevant Logic.

[BibT_eX]

[DOI]

Proceedings of the Current Approaches in Applied Artificial Intelligence, 2015

Implementation of Decision Procedure of Stepwise Satisfiability of Reactive System Specifications.

[BibT_eX]

[DOI]

Yuma Hirayanagi

Proceedings of the Computational Science and Its Applications - ICCSA 2015, 2015

Extracting Environmental Constraints in Reactive System Specifications.

[BibT_eX]

[DOI]

Yuichi Fukaya

Proceedings of the Computational Science and Its Applications - ICCSA 2015, 2015

2014

Static Data Race Detection for Java Programs with Dynamic Class Loading.

[BibT_eX]

[DOI]

Wei Wei

Proceedings of the Internet and Distributed Computing Systems, 2014

Resolving Fallback and Path MTU Problems Caused by Denying ICMP Packets in IPv6.

[BibT_eX]

[DOI]

Keita Omi

Proceedings of the Internet and Distributed Computing Systems, 2014

Network operational method by using software-defined networking for improvement of communication quality at disasters.

[BibT_eX]

[DOI]

Koichi Ogawa

Proceedings of the 16th Asia-Pacific Network Operations and Management Symposium, 2014

2013

Indicating Important Parts in Searched Web Pages by Retrieval Keywords.

[BibT_eX]

[DOI]

Shunichi Yokoo

Proceedings of the Behavior and Social Computing, 2013

Smart street light system with energy saving function based on the sensor network.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Conference on Future Energy Systems, 2013

Construction and Verification of Mobile Ad Hoc Network Protocols.

[BibT_eX]

[DOI]

Natsuki Kimura

Proceedings of the Cyberspace Safety and Security - 5th International Symposium, 2013

2012

Operational experiences from the viewpoint of university IT system administrators in the metropolitan area on east Japan great earthquake.

[BibT_eX]

[DOI]

Kohichi Ogawa

Proceedings of the ACM Proceedings of the SIGUCCS Annual Conference, 2012

Stepwise Satisfiability Checking Procedure for Reactive System Specifications by Tableau Method and Proof System.

[BibT_eX]

[DOI]

Yoshinori Neya

Proceedings of the Formal Methods and Software Engineering, 2012

Applying Tesseract-OCR to detection of image spam mails.

[BibT_eX]

[DOI]

Daisuke Yamakawa

Proceedings of the 14th Asia-Pacific Network Operations and Management Symposium, 2012

Test tool for equivalence of access control list.

[BibT_eX]

[DOI]

Hirokazu Sayama

Proceedings of the 14th Asia-Pacific Network Operations and Management Symposium, 2012

2010

Analysis of spam mail sent to Japanese mail addresses in the long term.

[BibT_eX]

[DOI]

Daisuke Yamakawa

Proceedings of the IEEE/IFIP Network Operations and Management Symposium, 2010

2009

OTag: Architecture to Represent Real World Objects in RF Tags to Improve Future Intelligent Transportation Systems.

[BibT_eX]

J. Convergence Inf. Technol., 2009

iPark: A Universal Solution for Vehicle Parking.

[BibT_eX]

[DOI]

Proceedings of the Visioning and Engineering the Knowledge Society. A Web Science Perspective, 2009

iRail: A novel architecture towards autonomous locomotives and intelligent infrastructures for developing countries.

[BibT_eX]

[DOI]

Proceedings of the 12th International IEEE Conference on Intelligent Transportation Systems, 2009

uCard: A Novel Privacy Friendly Radio Frequency Tag Architecture for Universal Loyalty Card.

[BibT_eX]

[DOI]

Proceedings of the Digital Business - First Iternational ICST Conference, 2009

Decreasing Access Control List Processed in Hardware.

[BibT_eX]

[DOI]

Takumichi Ishikawa

Proceedings of the Management Enabling the Future Internet for Changing Business and New Computing Services, 2009

Object Tag Architecture for Innovative Intelligent Transportation Systems.

[BibT_eX]

[DOI]

Proceedings of the Advances in Databases and Information Systems, 2009

2008

Formal Definition of Relevant Logical Symbol Occurrence.

[BibT_eX]

[DOI]

Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2008

Discovering Web Pages Censored by Search Engines in Japan.

[BibT_eX]

[DOI]

Takanori Moroi

Proceedings of the 2008 International Conferences on Computational Intelligence for Modelling, 2008

Statistical Analysis of Slow Portsweep.

[BibT_eX]

[DOI]

Proceedings of the Challenges for Next Generation Network Operations and Service Management, 2008

2005

Community Security By Widely Available Information Technology.

[BibT_eX]

[DOI]

Yusaku Fujii

Naoya Ohta

J. Community Informatics, 2005

Effect of Mobility on Communication Performance in Overloaded One-Dimensional Cellular Networks.

[BibT_eX]

[DOI]

Michihiro Inoue

Yoshikuni Onozato

Proceedings of the Distributed Computing and Internet Technology, 2005

2004

Finding the Causes of Unrealizability of Reactive System Formal Specifications.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004

2003

Decision Procedures for Several Properties of Reactive System Specifications.

[BibT_eX]

[DOI]

Proceedings of the Software Security, 2003

2001

Evolution Mechanism of Reactive System Programs.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on Principles of Software Evolution, 2001

1993

More Expressive Temporal Logic for Specifications.

[BibT_eX]