Author

Dejun Mu

127 papers · 2003–2026

2003peak 13 in 20182026

Frequent co-authors

Papers

showing 1–25 of 127 RSS

CoDetect: Financial Fraud Detection With Anomaly Feature Detection

Dongxu Huang, Dejun Mu, Libin Yang +1 more

Sociology and Political Science · IEEE Access · 2018 · cited 139× · DOI ↗ · more like this ·

Financial fraud, such as money laundering, is known to be a serious process of crime that makes illegitimately obtained funds go to terrorism or other criminal activity. This kind of illegal activities involve complex networks of trade and financial transactions, which makes it difficult to detect the fraud entities and discover the features of fraud. Fortunately, trading/transaction network and features of entities in the network can be constructed from the complex networks of the trade and financial transactions. The trading/transaction network reveals the interaction between entities, and thus anomaly detection on trading networks can reveal the entities involved in the fraud activity; while features of entities are the description of entities, and anomaly detection on features can reflect details of the fraud activities. Thus, network and features provide complementary information…

A LSTM Based Model for Personalized Context-Aware Citation Recommendation

Libin Yang, Yu Zheng, Xiaoyan Cai +4 more

Information Systems · IEEE Access · 2018 · cited 90× · DOI ↗ · more like this ·

The rapid growth of scientific papers makes it difficult to find relevant and appropriate citations. Context-aware citation recommendation aims to overcome this problem by providing a list of scientific papers given a short passage of text. In this paper, we propose a long-short-term memory (LSTM)based model for context-aware citation recommendation, which first learns the distributed representations of the citation contexts and the scientific papers separately based on LSTM, and then measures the relevance based on the learned distributed representation of citation contexts and the scientific papers. Finally, the scientific papers with high relevance scores are selected as the recommendation list. In particular, we try to incorporate author information, venue information, and content information in scientific paper distributed vector representation. Furthermore, we integrate author…

Theoretical Fundamentals of Gate Level Information Flow Tracking

Wei Hu, Jason Oberg, Ali Irturk +4 more

Artificial Intelligence · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 13 Jul 2011 · cited 68× · DOI ↗ · more like this ·

Information flow tracking is an effective tool in computer security for detecting unintended information flows. However, software based information flow tracking implementations have drawbacks in preciseness and performance. As a result, researchers have begun to explore tracking information flow in hardware, and more specifically, understanding the interference of individual bits of information through logical functions. Such gate level information flow tracking (GLIFT) can track information flow in a system at the granularity of individual bits. However, the theoretical basis for GLIFT, which is essential to its adoption in real applications, has never been thoroughly studied. This paper provides fundamental analysis of GLIFT by introducing definitions, properties, and the imprecision problem with a commonly used shadow logic generation method. This paper also presents a solution to…

Exploiting Fine-Grained Co-Authorship for Personalized Citation Recommendation

Lantian Guo, Xiaoyan Cai, Fei Hao +3 more

Information Systems · IEEE Access · 2017 · cited 45× · DOI ↗ · more like this ·

In the era of big scholarly data, citation recommendation is playing an increasingly significant role as it solves information overload issues by automatically suggesting relevant references that align with researchers' interests. Many state-of-the-art models have been utilized for citation recommendation, among which graph-based models have garnered significant attention, due to their flexibility in integrating rich information that influences users' preferences. Co-authorship is one of the key relations in citation recommendation, but it is usually regarded as a binary relation in current graph-based models. This binary modeling of co-authorship is likely to result in information loss, such as the loss of strong or weak relationships between specific research topics. To address this issue, we present a fine-grained method for co-authorship modeling that incorporates the co-author…

On the Complexity of Generating Gate Level Information Flow Tracking Logic

Wei Hu, Jason Oberg, Ali Irturk +4 more

Artificial Intelligence · IEEE Transactions on Information Forensics and Security · 5 Mar 2012 · cited 41× · DOI ↗ · more like this ·

Hardware-based side channels are known to expose hard-to-detect security holes enabling attackers to get a foothold into the system to perform malicious activities. Despite this fact, security is rarely accounted for in hardware design flows. As a result, security holes are often only identified after significant damage has been inflicted. Recently, gate level information flow tracking (GLIFT) has been proposed to verify information flow security at the level of Boolean gates. GLIFT is able to detect all logical flows including hardware specific timing channels, which is useful for ensuring properties related to confidentiality and integrity and can even provide real-time guarantees on system behavior. GLIFT can be integrated into the standard hardware design, testing and verification process to eliminate unintended information flows in the target design. However, generating GLIFT logic…

Adaptively Random Weighted Cubature Kalman Filter for Nonlinear Systems

Zhaohui Gao, Dejun Mu, Yongmin Zhong +2 more

Artificial Intelligence · Mathematical Problems in Engineering · 2019 · cited 40× · DOI ↗ · more like this ·

This paper presents a new adaptive random weighting cubature Kalman filtering method for nonlinear state estimation. This method adopts the concept of random weighting to address the problem that the cubature Kalman filter (CKF) performance is sensitive to system noise. It establishes random weighting theories to estimate system noise statistics and predicted state and measurement together with their associated covariances. Subsequently, it adaptively adjusts the weights of cubature points based on the random weighting estimations to improve the prediction accuracy, thus restraining the disturbances of system noises on state estimation. Simulations and comparison analysis demonstrate the improved performance of the proposed method for nonlinear state estimation.

Gate-Level Information Flow Tracking for Security Lattices

Wei Hu, Dejun Mu, Jason Oberg +4 more

Artificial Intelligence · ACM Transactions on Design Automation of Electronic Systems · 18 Nov 2014 · cited 40× · DOI ↗ · more like this ·

High-assurance systems found in safety-critical infrastructures are facing steadily increasing cyber threats. These critical systems require rigorous guarantees in information flow security to prevent confidential information from leaking to an unclassified domain and the root of trust from being violated by an untrusted party. To enforce bit-tight information flow control, gate-level information flow tracking (GLIFT) has recently been proposed to precisely measure and manage all digital information flows in the underlying hardware, including implicit flows through hardware-specific timing channels. However, existing work in this realm either restricts to two-level security labels or essentially targets two-input primitive gates and several simple multilevel security lattices. This article provides a general way to expand the GLIFT method for multilevel security. Specifically, it…

Feedback Control-Based QoS Guarantees in Web Application Servers

Wenping Pan, Dejun Mu, Hangxing Wu +1 more

Computer Networks and Communications · September 2008 · cited 40× · DOI ↗ · more like this ·

This paper considers providing two types of QoS guarantees, proportional delay differentiation (PDD) and absolute delay guarantee (ADG), in the database connection pool (DBCP) for Web application servers using the classical feedback control theory. PDD aims to maintain the average queuing delay ratio between different classes of requests according to pre-specified parameters, and ADG aims to ensure the average queueing delay for requests with high priority is no more than the threshold configured. To achieve these goals, we establish the approximate linear time-invariant models of the DBCP through system identification experimentally, and design two proportional-integral (PI) controllers, PDD controller and ADG controller, using the root locus method. These controllers are invoked periodically to calculate and adjust the probabilities for different classes of requests to use a limited…

Research on Network Traffic Prediction Model Based on Neural Network

Jianyong Fan, Dejun Mu, Yang Liu

Computer Networks and Communications · September 2019 · cited 34× · DOI ↗ · more like this ·

Network traffic prediction has become an important means for network security monitoring and security assessment. Through network traffic prediction, it can detect network failures effectively, optimize network performance and ensure network security. This paper proposes a network traffic prediction model based on neural network which combined deep recurrent neural network (RNN) and gated recurrent unit (GRU) neural network applied to the network traffic prediction. The analytical results are verified by numerical computation and simulations. It is shown that the network traffic prediction result of the model is close to the actual value of the network traffic in the real environment.

Energy-efficient border intrusion detection using wireless sensors network

Tao Yang, Dejun Mu, Wei Hu +1 more

Computer Networks and Communications · EURASIP Journal on Wireless Communications and Networking · 25 Mar 2014 · cited 34× · DOI ↗ · more like this ·

Monitoring the illegal movement across national border effectively is a challenging problem. The emerging technology of wireless sensor network (WSN) is expected to provide a new way to realize energy-efficient border intrusion detection. We propose a scheme to measure and guarantee the coverage quality of WSN. We also design a new coverage model for detecting one-direction path. The simulation results shows that the new coverage model could not only detect the intrusion in border area well, but also extend the network lifetime in an efficient way.

A Black-Box Attack Method against Machine-Learning-Based Anomaly Network Flow Detection Models

Sensen Guo, Jinxiong Zhao, Xiaoyu Li +3 more

Artificial Intelligence · Security and Communication Networks · 23 Apr 2021 · cited 31× · DOI ↗ · more like this ·

In recent years, machine learning has made tremendous progress in the fields of computer vision, natural language processing, and cybersecurity; however, we cannot ignore that machine learning models are vulnerable to adversarial examples, with some minor malicious input modifications, while appearing unmodified to human observers, the outputs of machine learning-based model can be misled easily. Likewise, attackers can bypass machine-learning-based security defenses model to attack systems in real time by generating adversarial examples. In this paper, we propose a black-box attack method against machine-learning-based anomaly network flow detection algorithms. Our attack strategy consists in training another model to substitute for the target machine learning model. Based on the overall understanding of the substitute model and the migration of the adversarial examples, we use the…

A Strap-Down Inertial Navigation/Spectrum Red-Shift/Star Sensor (SINS/SRS/SS) Autonomous Integrated System for Spacecraft Navigation

Zhaohui Gao, Dejun Mu, Yongmin Zhong +1 more

Artificial Intelligence · Sensors · 26 Jun 2018 · cited 21× · DOI ↗ · more like this ·

This paper presents a new Strap-down Inertial Navigation System/Spectrum Red-Shift/Star Sensor (SINS/SRS/SS) system integration methodology to improve the autonomy and reliability of spacecraft navigation using the spectrum red-shift information from natural celestial bodies such as the Sun, Jupiter and the Earth. The system models for SINS/SRS/SS integration are established. The information fusion of SINS/SRS/SS integration is designed as the structure of the federated Kalman filter to fuse the local estimations of SINS/SRS and SINS/SS integrated subsystems to generate the global state estimation for spacecraft navigation. A new robust adaptive unscented particle filter is also developed to obtain the local state estimations of SINS/SRS and SINS/SS integrated subsystems in a parallel manner. The simulation results demonstrate that the proposed methodology for SINS/SRS/SS integration…

Quantitative Analysis of Timing Channel Security in Cryptographic Hardware Design

Baolei Mao, Wei Hu, Alric Althoff +5 more

Artificial Intelligence · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 31 Oct 2017 · cited 19× · DOI ↗ · more like this ·

Cryptographic cores are known to leak information about their private key due to runtime variations, and there are many well-known attacks that can exploit this timing channel. In this paper, we study how information theoretic measures can quantify the amount of key leakage that can be exacted from runtime measurements. We develop and analyze 22 Rivest-Shamir-Adleman (RSA) hardware designs-each with unique performance optimizations, timing channel mitigation techniques, or discretization/randomization countermeasures. We demonstrate the effectiveness of information theoretic measures for quantifying timing leakage through correlation analysis of information theoretic measurements and attack results. Experimental results show that mutual information is a promising technique for quantifying timing leakage for RSA, advanced encryption standard, and elliptic curve cryptography ciphers…

Imprecise security

Wei Hu, Andrew Becker, Armita Ardeshiricham +4 more

Artificial Intelligence · Infoscience (Ecole Polytechnique Fédérale de Lausanne) · 18 Oct 2016 · cited 18× · DOI ↗ · more like this ·

Secure hardware design is a challenging task that goes far beyond ensuring functional correctness. Important design properties such as non-interference cannot be verified on functional circuit models due to the lack of essential information (e.g., sensitivity level) for reasoning about security. Hardware information flow tracking (IFT) techniques associate data objects in the hardware design with sensitivity labels for modeling security-related behaviors. They allow the designer to test and verify security properties related to confidentiality, integrity, and logical side channels. However, precisely accounting for each bit of information flow at the hardware level can be expensive. In this work, we focus on the precision of the IFT logic. The key idea is to selectively introduce only one sided errors (false positives); these provide a conservative and safe information flow response…

Expanding Gate Level Information Flow Tracking for Multilevel Security

Wei Hu, Jason Oberg, J. Barrientos +2 more

Artificial Intelligence · IEEE Embedded Systems Letters · 3 May 2013 · cited 18× · DOI ↗ · more like this ·

Embedded systems found in critical infrastructures require tight information flow controls to prevent unintended interference between different system components. These critical systems require extensive testing and verification to ensure strict enforcement of information flow policy. To assist in this process, gate level information flow tracking (GLIFT) has been proposed to expose all flows of information through Boolean gates. However, the current work in this realm only considers a two-level security lattice ( <formula formulatype="inline" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink"> <tex Notation="TeX">${\tt LOW} \sqsubset {\tt HIGH}$</tex></formula> ). In this letter, we expand the GLIFT method to multilevel security lattices and provide an analysis of the overheads using IWLS benchmarks. Results show that expanding GLIFT to multilevel…

Examining the consequences of high-level synthesis optimizations on power side-channel

Lu Zhang, Wei Hu, Armaiti Ardeshiricham +4 more

Artificial Intelligence · March 2018 · cited 17× · DOI ↗ · more like this ·

High-level synthesis (HLS) allows hardware designers to think algorithmically and not have to worry about low-level, cycle-by-cycle details. This provides the ability to quickly explore the architectural design space and tradeoff between resource utilization and performance. Unfortunately, evaluating the security is not a standard part of the HLS design flow. In this work, we aim to understand the effects of HLS optimizations with respect to power side-channel leakage. We use Vivado HLS to develop different cryptographic cores, implement them on a Xilinx Spartan 6 FPGA, and collect power traces. We evaluate the designs with respect to resource utilization, performance, and side-channel leakage through power consumption. Furthermore, we analyze the first-order leakage of the HLS-based designs alongside well-known register transfer level (RTL) cryptographic cores. We describe an…

Personalized QoS Prediction for Service Recommendation With a Service-Oriented Tensor Model

Lantian Guo, Dejun Mu, Xiaoyan Cai +2 more

Information Systems · IEEE Access · 2019 · cited 15× · DOI ↗ · more like this ·

Quality of Service (QoS) value is usually unknown in service recommendation practice. There are some matrix factorization approaches for predicting the unknown value with a user-service model, which uses a single collaboration with the user's neighbor when looking for different services. However, the QoS value is highly related to the service provider and participants. The services are considered in various collaboration based on different users. By considering the context of services, this paper proposes a QoS prediction model using tensor decomposition based on service collaboration called Service-oriented Tensor (SOT). The prediction approach analyzes service collaboration from other similar services and relevant users by using a three-order tensor. Compared with the traditional model, the experiment results show that the proposed model achieves better prediction accuracy.

Memory-Based High-Level Synthesis Optimizations Security Exploration on the Power Side-Channel

Lu Zhang, Dejun Mu, Wei Hu +3 more

Hardware and Architecture · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 30 Oct 2019 · cited 14× · DOI ↗ · more like this ·

High-level synthesis (HLS) allows hardware designers to think algorithmically and not worry about low-level, cycle-by-cycle details. This provides the ability to quickly explore the architectural design space and tradeoffs between resource utilization and performance. Unfortunately, security evaluation is not a standard part of the HLS design flow. In this article, we aim to understand the effects of memory-based HLS optimizations on power side-channel leakage. We use Xilinx Vivado HLS to develop different cryptographic cores, implement them on a Spartan-6 FPGA, and collect power traces. We evaluate the designs with respect to resource utilization, performance, and information leakage through power consumption. We have two important observations and contributions. First, the choice of resource optimization directive results in different levels of side-channel vulnerabilities. Second…

Trusted Authority Assisted Three‐Factor Authentication and Key Agreement Protocol for the Implantable Medical System

Deming Mao, Ling Zhang, Xiaoyu Li +1 more

Computer Networks and Communications · Wireless Communications and Mobile Computing · 2018 · cited 14× · DOI ↗ · more like this ·

The application of implantable medical devices (IMDs), which solves the problems of geographical distance limitation and real‐time health monitoring that plague patients and doctors, has caused great repercussions in the medical community. Despite the great potential of wide application, it also brings some security and privacy issues, such as the leakage of health data and unauthorized access to IMDs. Although a number of authentication and key agreement (AKA) schemes have been developed, we find that some subtle attacks still remain to be addressed. Then we propose an improved AKA scheme which achieves strong security features including user anonymity and known key security. It is formally proved to be secure under the Real‐or‐Random model. Moreover, a comprehensive security analysis shows that our scheme can resist various attacks and satisfy the desired requirements. Finally, the…

Cloud Service Recommendation: State of the Art and Research Challenges

Lantian Guo, Xianrong Zheng, Chen Ding +2 more

Computer Networks and Communications · May 2015 · cited 14× · DOI ↗ · more like this ·

Cloud computing is an attractive platform which offers on-demand resources as services. When many cloud services are available, some may have similar or same functionalities. So cloud service recommendation, which can help users to select the services based on their preferences, become an important technique for cloud services. In this paper, we review the relevant technologies that can perform cloud service recommendation. First, we introduce the web service selection and recommendation technologies. Next, we describe QoS measurement for cloud service and different recommendation methods focusing on Collaborative filtering. Third, we discuss the research challenges and opportunities for cloud service recommendation.

A bottom‐up approach to verifiable embedded system information flow security

Dejun Mu, Wei Hu, Baolei Mao +1 more

Artificial Intelligence · IET Information Security · 29 Oct 2013 · cited 13× · DOI ↗ · more like this ·

With the wide deployment of embedded systems and constant increase in their inter‐connections, embedded systems tend to be confronted with attacks through security holes that are hard to predict using typical security measures such as access control or data encryption. To eliminate these security holes, embedded security should be accounted for during the design phase from all abstraction levels with effective measures taken to prevent unintended interference between different system components caused by harmful flows of information. This study proposes a bottom‐up approach to designing verifiably information flow secure embedded systems. The proposed method enables tight information flow controls by monitoring all flows of information from the level of Boolean gates. It lays a solid foundation to information flow security in the underlying hardware and exposes the ability to prove…

A Cluster Based Stable Multicast Routing Protocol in Ad Hoc Network

Hao Xu, Dejun Mu

Computer Networks and Communications · December 2008 · cited 13× · DOI ↗ · more like this ·

Most of flooding algorithm of recent Ad Hoc multicast routing protocols are suitable under specific networks conditions. If the condition changes like increasing the number of multicast source nodes and networks nodes or having higher node speed and more traffic loads, they will not work well. To provide multicast routing support for a wide range of operational condition, we propose a new protocol (CBSRP) that integrates the effectiveness of a flooding scheme and the efficiency of a mesh scheme. The protocol constructs a new metric of node stability and selects a stable path with the help of entropy metric to reduce the number of route reconstruction. It selects the nodes which have the most weight and stability to be the cluster headers. In order to decrease control overhead, cluster headers are the only sets of nodes which can rebroadcast the broadcasting message from the multicast…

Attribute-based keyword search encryption for power data protection

Xun Zhang, Dejun Mu, Jinxiong Zhao

Artificial Intelligence · High-Confidence Computing · March 2023 · cited 12× · DOI ↗ · more like this ·

To protect the privacy of power data, we usually encrypt data before outsourcing it to the cloud servers. However, it is challenging to search over the encrypted data. In addition, we need to ensure that only authorized users can retrieve the power data. The attribute-based searchable encryption is an advanced technology to solve these problems. However, many existing schemes do not support large universe, expressive access policies, and hidden access policies. In this paper, we propose an attribute-based keyword search encryption scheme for power data protection. Firstly, our proposed scheme can support encrypted data retrieval and achieve fine-grained access control. Only authorized users whose attributes satisfy the access policies can search and decrypt the encrypted data. Secondly, to satisfy the requirement in the power grid environment, the proposed scheme can support large…

Machine-Learning-Based Side-Channel Leakage Detection in Electronic System-Level Synthesis

Lu Zhang, Dejun Mu, Wei Hu +1 more

Hardware and Architecture · IEEE Network · May 2020 · cited 12× · DOI ↗ · more like this ·

Security critical hardware devices in CPS must experience security testing including side-channel leakage detection, which aims to provide earlier assessment before coming into service. Due to the exponential nature of ESLS, performing fast and efficient leakage detection is a critical task in the context of security evaluation for DSE. However, the traditional method of leakage detection is always time-consuming and costly. To overcome this limitation, this article investigates the strategies of leveraging the emerging ML techniques to achieve faster and more effective leakage detection. A clustering-based methodology is proposed as an alternative method for first-order leakage detection. We further confirm the effectiveness and rapidity of the proposed method by launching clustering-based analysis on seven different benchmarks. The proposed method provides almost the same quality of…

Quantifying Timing-Based Information Flow in Cryptographic Hardware

Baolei Mao, Wei Hu, Alric Althoff +5 more

Artificial Intelligence · International Conference on Computer Aided Design · 2 Nov 2015 · cited 12× · DOI ↗ · more like this ·

Cryptographic function implementations are known to leak information about private keys through timing information. By using statistical analysis of the variations in runtime required to encrypt different messages, an attacker can relatively easily determine the key with high probability. There are many mitigation techniques to combat these side channels; however, there are limited metrics available to quantify the effectiveness of these mitigation attacks. In this work, we employ information theoretic ideas to quantify the amount of leakage that can be extracted from runtime measurements and reveal the influence of individual key bits on the timing observations across a variety of hardware implementations. By studying different RSA hardware architectures (each with different performance optimizations and mitigation techniques), we determine the effectiveness of these information…