Geodesic

Tome (2009) no. 10

Sommaire

Solving parallel equations over $\omega$-regular languages
p. 6-7
The degree of proximity of the Boolean function reduced representation to the class of monomial functions according to basis selection
p. 7-9
Properties of bent functions with minimal distance
p. 9-10
About finite lower neighbourhood in functional space
About tseitin's transformation in logical equations
p. 12-13
APN-functions
p. 13-14
The explicit form of information characteristic for partially defined data
p. 15-16
On Quaternary and Binary Bent Functions
p. 16-18
A~hybrid approach (SAT+ROBDD) to cryptanalysis of stream encryption systems
p. 19-20
Generalized invertibility of dynamical systems for encryption problems
p. 20-21
Stream and finite automaton ciphersystems
p. 21-24
On 2-transitivity of generalized Feistel ciphers
p. 24-26
Analysis of perturbed quantization stegosystems
p. 26-28
Transitions identification experiments with information-lossless automata
p. 29-30
Argument of knowledge of a~Goppa codeword and of a~bounded error
p. 30-32
On complexity of formal coding method for analysis of generator with monocycle substitutional transition function
p. 32-34
Protocol verification tools
p. 34-36
The generalized automorphisms of Reed-Muller code and McEliece--Sidelnikov public key cryptosystem
p. 36-37
Analysis of conditions for taking ownership access within the base role DP-model without memory-information flows
p. 38-39
Teaching the models of access and information flows management within discipline ``Theoretical foundations of computer security''
p. 39-41
Closure of basic role DP-model
p. 41-44
Approaches to security of computer systems with functionally or parametrically associated entities
p. 44-46
Multivalued logic in the enterprise information management system
p. 46-48
Analysis of network safety with Markov's chains
p. 48-50
Implementation of a~method for protecting credentials in the multi-tier applications
p. 50-51
Mathematical and software tools for programs obfuscation
p. 52-53
Software implementation of closure algorithms for the basic DP-model of computer systems with discretionary access control
p. 54-55
The technology and the instrumental environment for creation of protected information processing systems
p. 55-56
Digital watermarks resistant to collusion attacks
p. 56-59
Wireless LAN security analysis in Tomsk
p. 59-60
The method for secure video streaming over distributed networks
p. 60-62
Test suites derivation for nondeterministic finite state mashines with respect to the separability relation
p. 63-65
Path delay and multiple stuck-at fault test design for circuits derived from irredundant systems with factorized synthesis method
p. 65-66
Representation of an arbitrary number with weight sum of essential subtrees
p. 66-68
Path delay fault classification
p. 68-69
Path delay fault test design for circuits obtained by covering ROBDDs with CLBs
p. 69-70
Fault tolerant combinational circuit design
p. 71-72
Analitic approach to context-free languages in the Greibach normal form
p. 73-74
Software errors search in complex data processing algorithms
p. 75-76
Routed service of data transmission
p. 76-78
Approximation of the network traffic by model of alternating process
p. 78-79
Towards the definition of the software subsystems integration measure
p. 79-81
Translation of discrete finite automata descriptions from Microsoft Visio format to source code in C~language
p. 81-83
Experimental program estimation for the quantity of prime numbers necessary for elimination of polynomial equations without integer roots
p. 84-87
Discrete logarithm problem in subgroups of prime order
p. 87-90
Main problems of linear algebra related with satisfiability problem
p. 90-91
Transformation of CNF via resolution
p. 91-93
Computational complexity of graph extensions
p. 94-95
Some properties of graph edge clique coverings
p. 95-96
Graph recognition by moving agent
p. 96-98
On exact extensions of tournaments
Algorithms for generation of rooted tree on the base of total partition procedure
p. 99-101
Algorithms for the graph isomorphism problem based on graph deregularisation
p. 101-102
On some relations between graphic images and sounds
p. 103-105
Risk management on quality indicators
p. 105-107
Correct evaluation of alternatives weight coefficients in the method of analytical hierarchies
p. 107-109
Approach to recognition of technical system state on the base of entropy conception and formalism of multisets
p. 109-111
Information protection for law students
p. 111-112
Logical-combinatorial multicriteria selection of diagnostic tests optimal subset
p. 113-114
Reduction of multicriteria selection of optimal subset tests in intelligent systems
p. 114-115