Geodesic

Sommaire du Fascicule no. 1

On cryptographic weaknesses of some classes of binary sequence transformations
p. 5-15
Security analysis of systems with simple trajectories of functioning within the base role DP-model
p. 16-36
Using temporary logics and model checkers for dynamic control abnormal deviations of the system
p. 37-42
Integrating security policies with computer systems by means of AOP with application to Apache Ftp Server
p. 43-62
Frame of an automaton
p. 63-67
Analysis of non-linear automata with delay~2 over a~finite ring
p. 68-85
Algorithms using ROBDD as a~base for Boolean constraints
p. 86-104
Minimal edge extensions of some precomplete graphs
p. 105-117
Properties of paths in graphs and multigraphs
p. 118-124

Sommaire du Fascicule no. 2

Necessary and sufficient conditions of linear structure triviality for monomial mapping on the field of $2^{2^t}$ elements
p. 5-9
Galois relation for closed classes of discrete functions
p. 10-15
The properties of $h$-periodic sequences
p. 16-21
An additive approach to nonlinear degree of discrete function
p. 22-33
High-speed pseudorandom sequence generators based on cellular automata
p. 34-41
Modified Hotelling's chart excluding trend influence and its application for digital watermarks detection
p. 42-58
Application of unreliable tests for self-diagnostics of modular computing systems at multiple faults
p. 59-73
An analytical approach to the synthesis of regular graphs with preset values of the order, degree and girth
p. 74-86
Elasticity of algorithms
p. 87-95
The discovery of faulty work with resources in the software
p. 96-103
On constructing minimal deterministic finite automaton recognizing a~prefix-code of a~given cardinality
p. 104-116
Solving parallel equations over $\omega$-languages
p. 117-123

Sommaire du Fascicule no. 3

On automorphism groups of matrices
p. 5-16
On values of affinity level for almost all Boolean functions
p. 17-21
Point functions on semilatties
p. 22-40
Construction of perfectly balanced functions without barriers
p. 41-50
Statistical approximation theory for discrete functions with application in cryptanalysis of iterative block ciphers
p. 51-68
Zakrevskij's cipher based on reconfigurable FSM
p. 69-76
Security analysis of information flows in \textit{GNU/Linux} operating systems
p. 77-89
Authentication in trusted subsystem model using commutative encryption
p. 90-95
A family of exact 2-extensions of tournaments
p. 96-99
Solving inequalities over finite state machines in the reactive systems design
p. 100-110
Cumulative synthesis: a~cellular-automata model of target coating formation by means of cumulative flow of particles
p. 111-120

Sommaire du Fascicule no. 4

The number of disordered covers of a~finite set by subsets having fixed cardinalities
p. 5-17
Authentication in multi-tier systems using proxy signatures
p. 18-22
A secure computer architecture model and its emulation
p. 23-32
On mapping graphs of parallel programs onto graphs of distributed computer systems by recurrent neural networks
p. 33-40
Multi-parametric classification of automaton Markov models based on the sequences they generate
p. 41-54
Series parallel decomposition of a~system of incompletely specified Boolean functions
p. 55-63
Regular form of deterministic FSMs specifications in the language~L
p. 64-72
New algorithms for optimal resourse allocation
p. 73-78
Research of evolution of cellular automata modeling ``phase separation'' process on triangular mesh
p. 79-90
A method for construction of cellular automata simulating pattern formation processes
p. 91-99
Simulating a~piston motion by a~gas-lattice model
p. 100-108
Sibecrypt'10 review
p. 109-124

Sommaire du Fascicule no. 12

Optimal curves of genus~$3$ over finite field with discriminant~$-19$
p. 6-7
Some properties of the discrete Fourier transform in the field of complex numbers and in the fields of finite characteristics
p. 7-9
Constructing the classes of Boolean functions with guaranteed cryptographic properties on the base of coordinate functions of the finite field power mappings
p. 10-11
Connections between subspaces on which bent function and its dual function are affine
p. 11-12
A new combinatorial construction of bent functions
p. 13-14
Generation of the alternating group by semiregular involutions
p. 14-15
The properties of external control sequences
p. 15-19
Development of estimation method for the dependence of GOST 28147-89 cipher security on selected key information
p. 20-21
On the reduction of key space for A5/1
p. 21-23
A hardware implementation of the cryptosystem based on the Zakrevskij FSM
p. 23-24
Complexity estimation for a~differential attack on a~block cipher with given parameters
p. 25-27
On weak key-scheduling algorithms relatively the related-key attack
p. 27-29
Attacks on full block cipher GOST 28147-89 with~2 or~4 related keys
p. 29-30
Differential attack on 6-round Whirlpool-like block ciphers
p. 30-31
High-speed pseudorandom sequence generators based on cellular automata
p. 32-34
The relationship between structure of the key space and hardness of the McEliece--Sidelnikov Public Key Cryptosystem
p. 34-35
Symmetric cipher on the base of non-commutative algebra of polynomials
p. 35-36
Steganography and steganalysis in video files
p. 37-39
On steganographic system selection rule
p. 39-41
Fingerprints resistant to collusion attacks
p. 41-44
About the fact of detecting the noise in finite Markov chain with an unknown transition probability matrix
p. 44-45
The search of $\operatorname{tg}$-paths and islands for Take-Grant security model
p. 46-47
Electronic mail systems access control and information flow control modeling
p. 47-49
Security analysis of systems with simple trajectories functioning within framework of the base role DP-model
p. 49-51
About time information flows in computer systems
p. 52-53
Teaching the protected computer nets design at the Cisco platform
p. 53-55
Adaptive algorithm for anomalous network traffic indication based on alternating process
p. 55-58
Authentication in multi-tier system using commutative encryption
p. 59-60
The code injection to the process under an operating system GNU/Linux
p. 61-62
Design and development of Capture the Flag game server for competitions in information security
p. 62-64
Using Scyther for analysis SKID3 security
p. 65-66
On minimal edge $k$-extensions of oriented stars
p. 67-68
On minimal vertex 1-extensions of special form superslim trees
p. 68-70
Application of unreliable tests for self-diagnostics of modular computing systems with multiple faults
p. 70-72
About one family of exact 2-extensions of tournaments
p. 72-73
An analytical approach to the synthesis of regular structures of fault-tolerant systems
p. 74-75
Elasticity of algorithms
p. 76-78
Resource usage analysis in software
p. 78-79
An approach to fuzz testing data generation for applied and system software
p. 79-81
Software translating of combinatorial problems to propositional logic
p. 81-82
On representation of context-free languages by diagonals of linear laguages
p. 82-83
Formal proof of the semantic equivalence between the core of the AOP language AspectTalk and the OOP language Smalltalk
p. 84-85
Cryptanalysis with graphical processing units (GPU)
p. 86-87
Experimental estimation for software implementation speed of some block cipher's transformations
p. 87-88
Estimatiing complexity of directed enumeration in non-uniformly distributed key spaces
p. 88-90
Minimization procedure for Hamiltonian Circuit and Graph Isomorphism problems
p. 90-91
On constructing minimal deterministic finite automaton recognizing a~prefix-code of given cardinality
p. 92-94
About relationship between parameters of certain graphs
p. 94-95
Bent functions and linear codes for CDMA
p. 95-97
On a~new complete invariant for acyclic graphs
p. 97-98
On the frame of an automaton
p. 98-99
Classes of graphs reconstructed with
p. 99-101
Reconfigurable finite state machines with shared memory
p. 101-102
State estimation for stochastic object on the base of modeling trend in time series
p. 103-105
Logical inference on the base of optimal subset of mixed diagnostic tests for intelligent systems
p. 105-108