Soutenance de thèse de sajjad rahmany

Bonjour,

J'ai le plaisir de vous inviter à ma soutenance de thèse, intitulée:
" Utilisation des bases de Gröbner SAGBI pour la résolution des systèmes
polynômiaux invariants par symétries",
ainsi qu'au pot qui suivra.

Elle se tiendra le vendredi 17 juillet à 14h,
au LIP6 en salle 549 (5ème étage):
104 av du Président Kennedy
75016 Paris
Plan d'accès: http://www.lip6.fr/fr/informations/comment.php

Le jury sera composé de:
K. Yokoyama (Rapporteur), professeur (université de Rikkyo,japan)
N.M.Thiéry(Rapporteur), Maître de conférences (Université Paris Sud)
J.M Chesneaux(Examinateur), professeur (université paris 6)
G. Renault(Examinateur), Maître de conférences à (université paris 6)
S. ORANGE (Examinateur), Détaché à l'Université du Havre
J.C Faugère (Directeur), directeur de recherche à l'INRIA

Résumé:
Dans cette thèse, nous proposons une méthode efficace pour résoudre des
systèmes polynômiaux dont les équations sont invariantes par l'action
d'un groupe fini $G$. L'idée est calculer simultanément une base de
Gröbner SAGBI (une généralisation des bases de Gröbner à des idéaux de
sous algèbres de l'anneau des polynômes) et une base de Gröbner dans
l'anneau des invariants symétriques $K[e_1,...,e_n]$ où $e_i$ est le
i-ème polynôme symétrique élémentaire.

Plus précisément, nous proposons dans cette thèse deux algorithmes: nous
explicitions d'abord un algorithme à la F5 pour calculer efficacement
une base de Gröbner SAGBI tronquée. Le deuxième algorithme est une
version légèrement modifiée de l'algorithme FGLM qui permet de convertir
une base de Gröbner SAGBI tronquée d'un idéal de dimension zéro en une
base de Gröbner tronquée dans l'anneau des invariants symétriques .
Enfin, nous montrons comment ces algorithmes peuvent être combinés pour
trouver les racines complexes d'un tel système algébrique.

sajjad rahmany

Soutenance de thèse de Cassio Ditzel KROPIWIEC

Bonsoir,

De la partie de Cassio Ditzel KROPIWIEC, je vous envoie le message
ci-dessous.

Cordialement,

------------------------------------------------------------------------

Bonjour,
J'ai le plaisir de vous inviter à ma soutenance de thèse intitulée:
"Multi-Constrained Security Policies for Delegated Firewall Administration "
qui sera présentée le vendredi 10 Juillet à 10h00 au Laboratoire
d'Informatique de Paris 6 (LIP6), situé au 104 avenue du Président
Kennedy, 75016 Paris, salle 549, ainsi qu'au pot qui suivra.

Résumé:
The management of security policies is an important issue for networks of
any size. The policy must be designed to protect the internal resources
from external users and also from internal users. In networks with one or
only a few firewalls, defining the configuration of each device is easier.
However, in larger networks, the administrator must consider the
configuration of each firewall isolated and the effects of this
configuration in the whole network. This thesis proposes a framework for
representing and managing global network security policies for distributed
firewall administration. The proposed framework defines a high-level
policy language, which allows the specification of policies in mandatory,
discretionary and security property models. This framework is able to
handle simultaneously the three dimensions and coherently describes the
resulting permissions in an abstract representation that is independent of
how they will be enforced, without violating the global security goal. The
framework also includes a mechanism responsible for translating the
abstract representation of permissions into low-level configuration
scripts/rules for firewalls of different models and vendors, allowing its
use for configuration of heterogeneous networks. Each dimension can be
defined by people of different roles, allowing the cooperation in
definition of global policy. The framework is formalized in Z notation to
demonstrate its completeness and correctness, and a scalability study is
presented to demonstrate the behavior of the framework in larger networks.

Cordialement
Cássio Ditzel Kropiwiec

--
Michele Nogueira Lima <<Michele.Nogueira@lip6.fr>>
Phd Student
LIP 6 - PHARE Team
Université Pierre et Marie Curie - Paris 6
104 Avenue du President Kennedy
75016 PARIS - France

Soutenance de thèse de Ricardo Nabhen

Bonsoir,

De la partie de Ricardo Nabhen, je vous envoie le message ci-dessous.

Cordialement,
Michele Nogueira

--------------------------------------------------------------

Bonjour,

J'ai le plaisir de vous inviter à la soutenance de ma thèse intitulée
"Fuzzy Logic Based Method for Modeling Queue Behavior of Network Nodes"
qui sera présentée le vendredi 10 juillet à 15h00, au Laboratoire
d'Informatique de Paris 6 (LIP6), situé au 104 avenue du Président
Kennedy, 75016 Paris, salle 549, ainsi qu'au pot qui suivra.

Abstract:

"Capacity planning of IP-based networks is a difficult task. Ideally, in
order to estimate the maximum amount of traffic that can be carried by the
network, without violating QoS requirements such as end-to-end delay and
packet loss, it is necessary to determine the queue length distribution of
the network nodes under different traffic conditions. This relationship is
strongly dependent on the incoming traffic profile and the queuing
discipline adopted by the network node. Analytical models for queue length
distribution are available only for relatively simple traffic patterns.
The characterization of a model for the queue length distribution is a
vastly studied subject, but the associated mathematical apparatus becomes
more and more complicated when we have to deal with multiple priority
queues, non-exponential service times and long term correlated traffic.
Also, when per-flow guarantees are required, it is necessary to determine
the impact of the queue behavior on the performance of individual flows.
This thesis addresses the design of performance models of network nodes.
We propose a generic method for modeling queue behavior aiming to provide
a methodology for building the corresponding performance models. We take
into account scenarios in which it is very hard to develop an analytical
model. The proposed method combines non-linear programming and simulation
to build a fuzzy model capable of determining the performance of a network
node. Using such strategy, which is based on a general off-line method to
produce the equations capable of representing outputs for the whole space
of the specified input traffic parameters, it is possible to find out the
optimal values that can be used for the configuration of network nodes,
with important applications on traffic engineering and capacity planning.
This approach does not require the derivation of an analytical model and
can be applied to any type of traffic. Also, this methodology includes a
training method that permits the application of any type of performance
metric. "

Cordialement,

Ricardo Nabhen

--
Michele Nogueira Lima <<Michele.Nogueira@lip6.fr>>
Phd Student
LIP 6 - PHARE Team
Université Pierre et Marie Curie - Paris 6
104 Avenue du President Kennedy
75016 PARIS - France