ISSN 1991-2927
 

ACP № 1 (55) 2019

Author: "Valentin Leonidovich Tsirlov"

Alexander Vladimirovich Barabanov, Echelon, JSC, graduated from Bauman Moscow State Technical University; head of a group of the test and certification department at Echelon, JSC; author of articles in the field of analysis of information-technology product security against unauthorized access to information [e-mail: mail@cnpo.ru]A. Barabanov,

Alexey Sergeevich Markov, Echelon, JSC, Candidate of Engineering, Associate Professor at the chair 'Information Security' of Bauman Moscow State Technical University, CISSP, SBCI; Director General of Echelon, JSC; is interested in testing and certification of software as per requirements of information security, issues of software reliability [e-mail: mail@cnpo.ru]A. Markov,

Valentin Leonidovich Tsirlov, Echelon, JSC, Candidate of Engineering, Associate Professor at the chair 'Information Security' of Bauman Moscow State Technical University, CISSP, AMBCI; Chief Executive Officer at Echelon, JSC; is interested in security audit and formal verification of software and computer-aided systems, management of information security [e-mail: mail@cnpo.ru]V. Tsirlov,

Andrey Sergeevich Korsunsky, Federal Research-and-Production Center 'Research-and-Production Association 'Mars', Candidate of Engineering; graduated from the Faculty of Radio-Communications of Ulyanovsk branch of the Military Communications University; finished his post-graduate studies at the Military Communications Academy named after S. Budenny; lead programmer; author of articles and inventions in the field of radioelectronic protection, communications and information security as well as data transmission through wireless communications channels of infotelecommunication systems [e-mail: aksspb@mail.ru]A. Korsunsky

Stability Inspection for Characteristicsof Certified Information-security Facilities 27_2.pdf

The article deals with issues of periodic inspection of stability of characteristics of certified information-security facilities. The authors have developed stochastic and deterministic models for inspections of information-security facilities and operation environment.

Inspection, periodic inspection, stochastic inspection models, regular flow, bernoulli flow, certification, security mechanisms.

2012_ 1

Sections: System analysis, datamanagement andprocessing

Subjects: Automated control systems, Information systems.


Alexey Sergeevich Markov, Research-and-Production Association Eshelon, JSC, Candidate of Engineering, Associate Professor at the Chair Information Security at Bauman Moscow State Technical University, CISSP, SBCI; Director General of Research-and-Production Association Eshelon, JSC; interested in testing and certifying of software as per requirements of information security, software reliability. [e-mail: mail@npo-echelon.ru]A. Markov,

Valentin Leonidovich Tsirlov, Research-and-Production Association Eshelon, JSC, Candidate of Engineering, Associate Professor at the Chair Information Security at Bauman Moscow State Technical University, CISSP, AMBCI; Executing Chief Manager of Research-and-Production Association Eshelon, JSC; interested in audit of security and formal verification of software and computer-aided systems, control of information security. [e-mail: mail@npo-echelon.ru]V. Tsirlov,

Sergey Anatolyevich Smolin, FRPC OJSC RPA Mars, Graduated from the Faculty of Mechanics and Mathematics at Ulyanovsk State University; head of a research laboratory at FRPC OJSC RPA Mars; author of articles in certification in the field of information security. [e-mail: mars@mv.ru]S. Smolin,

Andrey Sergeevich Korsunky, FRPC OJSC RPA Mars, Candidate of Engineering, graduated from the Faculty of Radio-Communications at Ulyanovsk branch of the Military Communications University, finished his post-graduate studies at the Military Communications Academy named after S. Budenny; lead programmer of FRPC OJSC RPA Mars; author of articles and inventions in the field of radio-electronics protection, communications and information security. [e-mail: aksspb@mail.ru]A. Korsunky

Modern Methods of Certification Tests of Software Codes Without Source Codes 24_13.pdf

The article researches features of state-of-the-art systems of software development from the point of view of audit of security and certification tests of software without source codes. It also shows possible detection of vulnerability, bookmarks and errors as well as development of certification-test reports for the programming environments JVM (Java) and .NET (C#).

Software, vulnerability, not declared capabilities, certification, information security, security audit.

2011_ 2

Sections: Telecommunications systems and computer networks

Subjects: Information systems.


© FRPC JSC 'RPA 'Mars', 2009-2018 The web-site runs on Joomla!