Geodesic

Volume (2009) no. 1

Sommaire

Minimization of Boolean functions of many variables~-- iterative method and program realization
p. 5-14
Bent functions: results and applications. A~survey
p. 15-37
Logical methods for design and analysis of choice models
p. 38-71
Approximate solution of the traveling salesman problem
p. 72-78
Modelling of the PKI protocols in the universally composable framework using model checkers
p. 79-92
Approaches to the construction of the DP-model of file systems
p. 93-112
Usage formal models for vulnerability analysis
p. 113-116
Security analysis of the information flows by memory in the computer systems with functional and parametric associated entities
p. 117-125