Prikladnaya Diskretnaya Matematika
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
General information
Latest issue
Archive
Impact factor

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS



Prikl. Diskr. Mat.:
Year:
Volume:
Issue:
Page:
Find






Personal entry:
Login:
Password:
Save password
Enter
Forgotten password?
Register


2009, Number 1(3)  


Theoretical Foundations of Applied Discrete Mathematics
Minimization of Boolean functions of many variables – iterative method and program realization
A. D. Zakrevskij, N. R. Toropov
5–14
Bent functions: results and applications. A survey
N. N. Tokareva
15–37
Logical methods for design and analysis of choice models
L. A. Sholomov
38–71

Computational Methods in Discrete Mathematics
Approximate solution of the traveling salesman problem
V. I. Dulkeyt, R. T. Faizullin
72–78

Mathematical Foundations of Cryptography
Modelling of the PKI protocols in the universally composable framework using model checkers
S. E. Prokopyev
79–92

Mathematical Foundations of Computer Security
Approaches to the construction of the DP-model of file systems
P. V. Burenin
93–112
Usage formal models for vulnerability analysis
D. N. Kolegov
113–116
Security analysis of the information flows by memory in the computer systems with functional and parametric associated entities
D. N. Kolegov
117–125
Прикладная дискретная математика
 
  Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2026