Prikladnaya Diskretnaya Matematika
RUS
ENG
JOURNALS
PEOPLE
ORGANISATIONS
CONFERENCES
SEMINARS
VIDEO LIBRARY
PACKAGE AMSBIB
JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website
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:
email
Terms of Use
Registration to the website
Logotypes
©
Steklov Mathematical Institute RAS
, 2026