Geodesic

Volume (2010) no. 1

Sommaire

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