ライブラリ登録: Guest
Begell Digital Portal Begellデジタルライブラリー 電子書籍 ジャーナル 参考文献と会報 リサーチ集
Telecommunications and Radio Engineering
SJR: 0.202 SNIP: 0.2 CiteScore™: 0.23

ISSN 印刷: 0040-2508
ISSN オンライン: 1943-6009

巻:
巻 78, 2019 巻 77, 2018 巻 76, 2017 巻 75, 2016 巻 74, 2015 巻 73, 2014 巻 72, 2013 巻 71, 2012 巻 70, 2011 巻 69, 2010 巻 68, 2009 巻 67, 2008 巻 66, 2007 巻 65, 2006 巻 64, 2005 巻 63, 2005 巻 62, 2004 巻 61, 2004 巻 60, 2003 巻 59, 2003 巻 58, 2002 巻 57, 2002 巻 56, 2001 巻 55, 2001 巻 54, 2000 巻 53, 1999 巻 52, 1998 巻 51, 1997

Telecommunications and Radio Engineering

DOI: 10.1615/TelecomRadEng.v71.i6.70
pages 561-566

APPLICATION OF PETRI NET TOOLS FOR SOFTWARE MONITORING TO IDENTIFY UNDECLARED CAPACITIES

V. A. Minakov
Federal State Research Testing Institute of Problems of Technical Protection of Information, Federal Service on Technical and Export Control, Voronezh, Russian Federation
V. V. Miroshnikov
Federal State Research Testing Institute of Problems of Technical Protection of Information, Federal Service on Technical and Export Control, Voronezh, Russian Federation
E. Yu. Laminskii
Federal State Research Testing Institute of Problems of Technical Protection of Information, Federal Service on Technical and Export Control, Voronezh, Russian Federation

要約

A method of monitoring the integrity of the algorithm, incorporated in the original software texts, is described. The capacities of this method, restriction on its use, and its application fields are evaluated.

参考

  1. State Standard GOST R 34.11-94. , Information Technology. Cryptographic Information Protection. Hashing Function.

  2. Kotov, V. E., Petri Nets.

  3. Peterson, J. , Petri Net Theory and the Modeling of Systems.


Articles with similar content:

Influence of Elastic and Dissipative Properties of Hinge Joints on Dynamics of Space Manipulator
Journal of Automation and Information Sciences, Vol.33, 2001, issue 10
Natalya M. Zavrazhina, Tatyana V. Zavrazhina
Optimal Control Processes Modeling under Uncertainty in Economic Systems with Hierarchy
Journal of Automation and Information Sciences, Vol.39, 2007, issue 2
Inna I. Sugonyak, Alexander G. Nakonechnyi
AN ALGORITHM FOR IMAGE RECOGNITION AND ANALYSIS USING NEURAL INFORMATION TECHNOLOGIES
Telecommunications and Radio Engineering, Vol.71, 2012, issue 17
S. S. Stolyarova, A. O. Gafurov, V. I. Syryamkin, O. M. Gafurov
Rational Control of Operability of Autonomous Aircrafts. Part 1
Journal of Automation and Information Sciences, Vol.49, 2017, issue 5
Anatoliy S. Kulik
DISCRETE-CONTINUAL VARIATION-DIFFERENCE METHOD OF ANALYSIS FOR TWO-DIMENSIONAL AND THREE-DIMENSIONAL PROBLEMS OF STRUCTURAL ANALYSIS
International Journal for Computational Civil and Structural Engineering, Vol.1, 2005, issue 2
Pavel A. Akimov, Alexander B. Zolotov