Analysis of web server log files and attack detectionAutomatic Control and Computer Sciences - Tập 42 - Trang 50-54 - 2008
R. Faradzhullaev
Problems of web application security and antihacker protection are very topical. Queries that users send to a web application via the Internet are registered in log files of the web server. Analyzing log files allows detecting anomalous changes that take place on the web server and identifying attacks. In this work, different methods are used to analyze log files and detect anomalies. The proposed...... hiện toàn bộ
C program verification in SPECTRUM multilanguage systemAutomatic Control and Computer Sciences - Tập 45 - Trang 413-420 - 2012
V. A. Nepomniaschy, I. S. Anureev, M. M. Atuchin, I. V. Maryasov, A. A. Petrov, A. V. Promsky
An extendable multilanguage analysis and verification system SPECTRUM is presented; this system is being developed in the framework of the project SPECTRUM. The prospects of the application of this system are demonstrated, as exemplified by the verification of C programs. The project SPECTRUM is aimed at the creation of a new integrated approach to the verification of imperative programs that make...... hiện toàn bộ
Nondestructive RAM testing based on multiple signature comparisonAutomatic Control and Computer Sciences - Tập 43 - Trang 173-178 - 2009
S. V. Yarmolik, V. N. Yarmolik
In the present article, the problem is considered of nondestructive testing of modern RAM devices by means of multiple signature comparison. It is shown that the reference signature values for each phase of a march test are determined only by the present RAM state; furthermore, the use of two kinds of signature analyzers allows performing an analysis of the testing results on completion of each ph...... hiện toàn bộ
Securing Post-Quantum Resistance for Quantum-Protected Communication SystemsAutomatic Control and Computer Sciences - Tập 54 - Trang 949-951 - 2021
E. N. Shkorkina, E. B. Aleksandrova
Methodology for protecting the systems of quantum-protected communication based on postquantum crypto-algorithm usage at all stages of operation is presented. Authenticated encryption and postquantum signcryption makes it possible to reduce the number of keys in a quantum-protected system and to increase the number of interacting devices.
Analysis of Dynamic Characteristics of Man-Machine Co-Driving Vehicle during Driving Right SwitchingAutomatic Control and Computer Sciences - Tập 56 - Trang 166-179 - 2022
Guangcheng Ge
In order to study the influence of different drivers and vehicle speeds on the dynamics of smart cars when the driving rights are switched; this paper analyzes them through driving experiments. This experiment recruited 16 participants, and built a virtual experimental platform for man-machine co-driving, and designed an experimental program at three speeds of 50, 80, and 120 km/h based on 8 s ear...... hiện toàn bộ
MTCNN and FACENET Based Access Control System for Face Detection and RecognitionAutomatic Control and Computer Sciences - Tập 55 - Trang 102-112 - 2021
Chunming Wu, Ying Zhang
Face detection and recognition is one of the research hotspots in the field of computer vision, which is widely used in video surveillance and identity matching. The traditional algorithms of face detection include AdaBoost, Haar-like, DPM, etc. These algorithms use face geometric features and template matching for face detection, which is difficult to consider both detection speed and accuracy. I...... hiện toàn bộ