Autonomic Parameter Tuning of Anomaly-Based IDSs: an SSH Case Study

Anomaly-based intrusion detection systems classify network traffic instances by comparing them with a model of the normal network behavior. To be effective, such systems are expected to precisely detect intrusions (high true positive rate) while limiting the number of false alarms (low false positive rate). However, there exists a natural trade-off between detecting all anomalies (at the expense of raising alarms too often), and missing anomalies (but not issuing any false alarms). The parameters of a detection system play a central role in this trade-off, since they determine how responsive the system is to an intrusion attempt. Despite the importance of properly tuning the system parameters, the literature has put little emphasis on the topic, and the task of adjusting such parameters is usually left to the expertise of the system manager or expert IT personnel. In this paper, we present an autonomic approach for tuning the parameters of anomaly-based intrusion detection systems in case of SSH traffic. We propose a procedure that aims to automatically tune the system parameters and, by doing so, to optimize the system performance. We validate our approach by testing it on a flow-based probabilistic detection system for the detection of SSH attacks

Nonabelian Gauge Symmetry in the Causal Epstein-Glaser Approach

We present some generalizations of a recently proposed alternative approach to nonabelian gauge theories based on the causal Epstein-Glaser method in perturbative quantum field theory. Nonabelian gauge invariance is defined by a simple commutator relation in every order of perturbation theory separately using only the linear (abelian) BRS-transformations of the asymptotic fields. This condition is sufficient for the unitarity of the S-matrix in the physical subspace. We derive the most general specific coupling compatible with the conditions of nonabelian gauge invariance and normalizability. We explicitly show that the quadrilinear terms, the four-gluon-coupling and the four-ghost-coupling, are generated by our linear condition of nonabelian gauge invariance. Moreover, we work out the required generalizations for linear gauges.Comment: 32 pages, latex-file, no figure

Quantum Noether Method

We present a general method for constructing consistent quantum field theories with global symmetries. We start from a free non-interacting quantum field theory with given global symmetries and we determine all consistent perturbative quantum deformations assuming the construction is not obstructed by anomalies. The method is established within the causal Bogoliubov-Shirkov-Epstein-Glaser approach to perturbative quantum field theory (which leads directly to a finite perturbative series and does not rely on an intermediary regularization). Our construction can be regarded as a direct implementation of Noether's method at the quantum level. We illustrate the method by constructing the pure Yang-Mills theory (where the relevant global symmetry is BRST symmetry), and the N=1 supersymmetric model of Wess and Zumino. The whole construction is done before the so-called adiabatic limit is taken. Thus, all considerations regarding symmetry, unitarity and anomalies are well-defined even for massless theories.Comment: 53 pages, latex, version to appear in Nuclear Physics

The Master Ward Identity

In the framework of perturbative quantum field theory (QFT) we propose a new, universal (re)normalization condition (called 'master Ward identity') which expresses the symmetries of the underlying classical theory. It implies for example the field equations, energy-momentum, charge- and ghost-number conservation, renormalized equal-time commutation relations and BRST-symmetry. It seems that the master Ward identity can nearly always be satisfied, the only exceptions we know are the usual anomalies. We prove the compatibility of the master Ward identity with the other (re)normalization conditions of causal perturbation theory, and for pure massive theories we show that the 'central solution' of Epstein and Glaser fulfills the master Ward identity, if the UV-scaling behavior of its individual terms is not relatively lowered. Application of the master Ward identity to the BRST-current of non-Abelian gauge theories generates an identity (called 'master BRST-identity') which contains the information which is needed for a local construction of the algebra of observables, i.e. the elimination of the unphysical fields and the construction of physical states in the presence of an adiabatically switched off interaction.Comment: 73 pages, version to appear in Rev. Math. Phy

Generalized models as a universal approach to the analysis of nonlinear dynamical systems

We present a universal approach to the investigation of the dynamics in generalized models. In these models the processes that are taken into account are not restricted to specific functional forms. Therefore a single generalized models can describe a class of systems which share a similar structure. Despite this generality, the proposed approach allows us to study the dynamical properties of generalized models efficiently in the framework of local bifurcation theory. The approach is based on a normalization procedure that is used to identify natural parameters of the system. The Jacobian in a steady state is then derived as a function of these parameters. The analytical computation of local bifurcations using computer algebra reveals conditions for the local asymptotic stability of steady states and provides certain insights on the global dynamics of the system. The proposed approach yields a close connection between modelling and nonlinear dynamics. We illustrate the investigation of generalized models by considering examples from three different disciplines of science: a socio-economic model of dynastic cycles in china, a model for a coupled laser system and a general ecological food web.Comment: 15 pages, 2 figures, (Fig. 2 in color

Bose-Einstein condensation dynamics from the numerical solution of the Gross-Pitaevskii equation

We study certain stationary and time-evolution problems of trapped Bose-Einstein condensates using the numerical solution of the Gross-Pitaevskii equation with both spherical and axial symmetries. We consider time-evolution problems initiated by changing the interatomic scattering length or harmonic trapping potential suddenly in a stationary condensate. These changes introduce oscillations in the condensate which are studied in detail. We use a time iterative split-step method for the solution of the time-dependent Gross-Pitaevskii equation, where all nonlinear and linear nonderivative terms are treated separately from the time propagation with the kinetic energy terms. Even for an arbitrarily strong nonlinear term this leads to extremely accurate and stable results after millions of time iterations of the original equation.Comment: LaTeX2e (iop style files included), 17 pages, 6 EPS figures, accepted for publication in J. Phys. B: At. Mol. Opt. Phy

Secular dynamics of a planar model of the Sun-Jupiter-Saturn-Uranus system; effective stability into the light of Kolmogorov and Nekhoroshev theories

We investigate the long-time stability of the Sun-Jupiter-Saturn-Uranus system by considering a planar secular model, that can be regarded as a major refinement of the approach first introduced by Lagrange. Indeed, concerning the planetary orbital revolutions, we improve the classical circular approximation by replacing it with a solution that is invariant up to order two in the masses; therefore, we investigate the stability of the secular system for rather small values of the eccentricities. First, we explicitly construct a Kolmogorov normal form, so as to find an invariant KAM torus which approximates very well the secular orbits. Finally, we adapt the approach that is at basis of the analytic part of the Nekhoroshev's theorem, so as to show that there is a neighborhood of that torus for which the estimated stability time is larger than the lifetime of the Solar System. The size of such a neighborhood, compared with the uncertainties of the astronomical observations, is about ten times smaller.Comment: 31 pages, 2 figures. arXiv admin note: text overlap with arXiv:1010.260

Algebraic Quantum Field Theory, Perturbation Theory, and the Loop Expansion

The perturbative treatment of quantum field theory is formulated within the framework of algebraic quantum field theory. We show that the algebra of interacting fields is additive, i.e. fully determined by its subalgebras associated to arbitrary small subregions of Minkowski space. We also give an algebraic formulation of the loop expansion by introducing a projective system ${\cal A}^{(n)}$ of observables ``up to $n$ loops'' where ${\cal A}^{(0)}$ is the Poisson algebra of the classical field theory. Finally we give a local algebraic formulation for two cases of the quantum action principle and compare it with the usual formulation in terms of Green's functions.Comment: 29 page

Stochastic differential utility as the continuous-time limit of recursive utility

We establish a convergence theorem that shows that discrete-time recursive utility, as developed by Kreps and Porteus (1978), converges to stochastic differential utility, as introduced by Dufffie and Epstein (1992), in the continuous-time limit of vanishing grid size