Formal modeling and security analysis method of security protocol based on CPN by Xiang GONG, Tao FENG, Jinze DU

“…To solve the problem of modeling and analyzing with colored Petri net (CPN), which was determining vulnerabilities in hole location but couldn’t identify any attack path, and the problem of when the introduction of the attacker model, the number of possible message paths in the CPN formal model of security protocol surges the state space prone to explosion, which made it difficult to extract accurate attack paths, the formal modeling method of security protocol was improved base on CPN, the attack paths were verified and extracted, further the fine-grained protocol modeling and control were adopted.As well as in the aspect of state-space convergence, and a waiting-sync method for different processes of CPN model in each hierarchy model was proposed, which effectively controlled the state-space scale of the model.Through the security evaluation and analysis of TMN protocol, 25 attack paths of the protocol are extracted successfully, the security of the protocol is evaluated, and the effectiveness of the proposed method is proved.…”
Get full text

A Proposed Modeling Method in Finite Element Slope Stability Analysis by A. Asakereh, H. Bazazzadeh

“…Limit-equilibrium method (LEM) and finite element method (FEM) with strength reduction method (SRM) techniques are the most widely used analysis tools in slope stability assessment. …”
Get full text

Analysis of Longitudinal and Survival Data: Joint Modeling, Inference Methods, and Issues by Lang Wu, Wei Liu, Grace Y. Yi, Yangxin Huang

Get full text

Fractal Enterprise Model in Intangible Resource Analysis: Double-Hierarchy Method by Victoria Klyukina

“…In particular, the study presents the application of the Fractal Enterprise Model (FEM) in strategic resource analysis. This research aims to propose a double-hierarchy resource modeling method using FEM and the patterns developed using this method. …”
Get full text

A Formal Method for Conceptual Fit Analysis by Antoni Olivé

Get full text

MODELS AND METHODS OF RISK MANAGEMENT IN MORTGAGE LENDING by Anna V. Vorobeva

Get full text

Two strains model of infectious diseases for mathematical analysis and simulations by Eiman, Kamal Shah, Manel Hleili, Thabet Abdeljawad

Get full text

Comparative Analysis of Transportation Methods in Order to Minimize Distribution Costs by Dudi Haryadi, Uswatun Hasanah

Get full text

Analysis of dynamic process models for aviation battery systems by S. I. Gavrilenkov

“…A comparative analysis of existing modeling approaches is carried out and the advantages of the proposed MMPEP method are shown. …”
Get full text

Kinetic Analysis of Construction, Renovation, and Demolition (CRD) Wood Pyrolysis Using Model-Fitting and Model-Free Methods via Thermogravimetric Analysis by Aravind Ganesan, Simon Barnabé, Younès Bareha, Simon Langlois, Olivier Rezazgui, Cyrine Boussabbeh

“…Model-free methods yielded E_a values between 172 and 196 kJ/mol across conversion rates (α) of 0.2–0.8. …”
Get full text

Design, Modeling, and Characteristics Analysis of Halbach Permanent Magnetic Spring by Yuexuan Lou, He Zhang, Haoran Cai

Get full text

Analysis for Detecting Banana Leaf Disease Using the CNN Method by Nita Helmawati, Ema Utami

Get full text

The analysis of spring wheat productivity by the method of principal component by R. I. Ibyatov, F. Sh. Shaykhutdinov, A. A. Valiev

Get full text

Binary Decision Support Using AHP: A Model for Alternative Analysis by Edvan Gomes da Silva, Fernando Rocha Moreira, Marcus Aurélio Carvalho Georg, Rildo Ribeiro dos Santos, Luiz Antônio Ribeiro Júnior, Rafael Rabelo Nunes

Get full text

Methods and Models for the Coupled Neutronics and Thermal-Hydraulics Analysis of the CROCUS Reactor at EFPL by A. Rais, D. Siefman, G. Girardin, M. Hursin, A. Pautz

“…In order to analyze the steady state and transient behavior of the CROCUS reactor, several methods and models need to be developed in the areas of reactor physics, thermal-hydraulics, and multiphysics coupling. …”
Get full text

Retracted: Feature Extraction and Analysis Method of Trombone Timbre Based on CNN Model by Journal of Robotics

Get full text

Time-Fractional Model of Chloride Diffusion in Concrete: Analysis Using Meshless Method by Ling Yao, Lixia Ren, Guoli Gong

Get full text

ANALYSIS AND MODELING OF TERMINAL POSITION ERROR OF PARALLEL MANIPULATOR BASED ON MDH METHOD by ZHANG YunFan, CHEN JinJie, HAO XinLong

Get full text

Model development for the analysis of reducing voltage asymmetry methods in power supply systems by V. I. Biryulin, D. V. Kudelina

Get full text

Computational Methods Applied to Data Analysis for Modeling Complex Real Estate Systems by Marco Locurcio, Francesco Tajani, Pierluigi Morano

Get full text