The Analysis of Change Region About Networked Control System Based on the Behavior Profile

Liu, Xiangwei; Wang, Mimi; Liu, Lu

doi:10.1007/978-3-642-37502-6_142

Cited by 3 publications

(3 citation statements)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Fang et al [157] proposed a consistency calculation method for models including duplicated transitions. The study in [156] used behavioral profile consistency to evaluate security, while [158] used behavioral profile consistency to lock the change regions of two different models. Polyvyanyy et al [159] investigated the expressive power of behavioral profiles and showed that behavioral profiles are strictly less expressive than regular languages.…”

Section: B Behavioral Profile-based Methodsmentioning

confidence: 99%

“…Constraint-Relative Case Conformance (CC c ) [156], [158], [163]: the difference between these two consistency measures is the number of transitions that leads to a higher conformance value. The consistencies based on behavioural profiles, CBC c and MBC c , are largely independent of those that are grounded in the cooccurrence relations, CCC c and MCC c [21].…”

Section: B Behavioral Profile-based Methodsmentioning

confidence: 99%

See 1 more Smart Citation

Behavior Analysis for Electronic Commerce Trading Systems: A Survey

et al. 2019

Self Cite

View full text Add to dashboard Cite

With the rapid development of the Internet and the continuous progress of computer science and technology, Internet-based online trading has developed rapidly and improved the convenience of everyday life. Increasingly, people conduct business activities through online transactions and payment methods, and the development prospects for online transactions are quite broad. In addition, e-commerce trading systems have attracted considerable attention. Many studies have been conducted to analyze the behaviors of these systems. This paper focuses on analyzing both system behavior and user behavior in e-commerce trading systems. To reflect the characteristics of online trading systems, system behavior reflects the strength of the system, while user behavior reflects various user actions. Consistency, which is a basis for determining whether two objects are similar, provides a reference for designers and modelers. This paper also focuses on analyzing the consistency of system behavior, especially regarding the measurement and diagnosis of e-commerce trading systems. Then, we study the existing user behavior analysis methods for e-commerce trading systems. We divide user behaviors into four groups: web browsing behavior, keystroke behavior, network transaction behavior, and mobile terminal behavior. The performance and correlation analysis techniques of these methods are discussed and compared in detail. Finally, we provide ideas for future research involving behavior analysis for online trading systems.

show abstract

Section: B Behavioral Profile-based Methodsmentioning

confidence: 99%

Section: B Behavioral Profile-based Methodsmentioning

confidence: 99%

Behavior Analysis for Electronic Commerce Trading Systems: A Survey

et al. 2019

Self Cite

View full text Add to dashboard Cite

show abstract

“…This section describes the basic concepts and definitions used in this paper. For more details, the definitions of Petri nets and labeled Petri nets can be found in [16], [36]- [47]. For the definitions of the hidden Markov model and Bayes' theorem, we can refer to [48]- [58].…”

Section: Preliminariesmentioning

confidence: 99%

Vulnerability Evaluation Method for E-Commerce Transaction Systems With Unobservable Transitions

2020

Self Cite

View full text Add to dashboard Cite

E-commerce transaction systems have become an important factor in trading activities. However, e-commerce systems are still undergoing development. Unobservable actions and attacks on systems are frequent problems that increase the vulnerability of e-commerce systems. Most existing approaches to addressing these issues cannot describe or analyze the overall structure of a local specification and unobservable actions well. The vulnerable e-commerce transaction net (VET-net) is a useful model for describing the unobservable actions, online transactions and third-party payment platforms of e-commerce systems. Based on a VET-net, we focus on the detection and evaluation of e-commerce transaction systems to attacks. We propose the concept of vulnerable transitions, which include not only vulnerable actions but also unobservable transitions. Then, we use an improved slice method to locate the vulnerable transitions. For these vulnerable transitions, we propose a vulnerable transition evaluation method based on a hidden Markov model along with a reachability graph (HMM-RG). The HMM-RG uses hidden Markov models (HMMs) to approximate the state reachability graph of a VET-net. By calculating the firing probability, the HMM-RG can evaluate the vulnerability degree of malicious states. We use a real-world case to show our method's effectiveness and reasonability.

show abstract