Publications scientifiques

Proof-based design of security protocols
... We introduce the notion of mechanism related to a

given security

property; a mechanism can be combined with another mechanism through the double refinement process ensuring the preservation of previous

security

properties of
...
... En particulier, nous utilisons une formalisation du modèle de Dolev et Yao pour modéliser les protocoles
commercialisation / production et structures agricoles - core.ac.uk -
Model and synthesize security automata... We also show how to automatically build these controllers for given security policies
général - core.ac.uk - PDF: puma.isti.cnr.it
Correlation in an intrusion detection process... We argue that intrusion scenarios can be modelled as a planning process and we suggest modelling a malicious objective as an attempt to violate a given security requirement
général - core.ac.uk - PDF: citeseerx.ist.psu.edu
Model and synthesize security automata ∗... We also show how to automatically build these controllers for given security policies....
général - core.ac.uk - PDF: wwwold.iit.cnr.it

Exemples anglais - français

Traductions en contexte anglais - français

The software developer submits a proposed security applet to the OPC prior to distributing a

given security

applet in order to obtain the necessary permission for the given security applet.

Le réalisateur de logiciel soumet une proposition d'applet sécurisé à l'OPC préalablement à la distribution d'un applet sécurisé donné afin d'obtenir la permission requise pour l'applet sécurisé donné.

informatique et traitement des données - wipo.int
are available for a given security or in a given jurisdiction.

disponibles pour une sécurité ou une juridiction particulière.

général - CCMatrix (Wikipedia + CommonCrawl)
Oxford professor given security guards after transgender threats

Un professeur d'Oxford reçoit des gardes de sécurité après avoir été menacée par des militants transgenres

général - CCMatrix (Wikipedia + CommonCrawl)
Putin has Given Security Services Almost Total Con...

Pékin assure en effet la quasi-totalité des échanges avec…

général - CCMatrix (Wikipedia + CommonCrawl)
It can transform a given Security Token into a Security Token of a different sort.

Peut transformer un Security Token donné en Security Token de type différent.

général - CCMatrix (Wikipedia + CommonCrawl)
All local security settings will be displayed, but no indication will be given as to whether or not a given security setting is defined by Group Policy.

Tous les paramètres de sécurité locaux seront affiche, mais aucune indication ne sera donnée qu’un paramètre de sécurité est défini par la stratégie de groupe.

général - CCMatrix (Wikipedia + CommonCrawl)
o the granularity at which a given security protection should be

la granularité avec laquelle une protection donnée doit être appliquée

général - CCMatrix (Wikipedia + CommonCrawl)
(b) the courier has given security in accordance with section 11.

b) le messager a donné une garantie conformément à l’article 11.

général - CCMatrix (Wikipedia + CommonCrawl)
Credentials - Data that serve to establish the claimed identity of a security subject relative to a given security domain.

Pouvoirs - Les données qui servent à établir l'identité d'un prétendu La sécurité par rapport à un sujet donné domaine de la sécurité.

général - CCMatrix (Wikipedia + CommonCrawl)
The degree to which a given security, fund, or index rapidly changes.

Le degré selon lequel le prix d’un titre, fonds ou indice donné fluctue.

général - CCMatrix (Wikipedia + CommonCrawl)
Oxford professor given security guards after she was threatened by transgender activists

Un professeur d'Oxford reçoit des gardes de sécurité après avoir été menacée par des militants transgenres

général - CCMatrix (Wikipedia + CommonCrawl)
It can say whether a given Security Token is valid or not.

Peut définir si un Security Token est valide ou non.

général - CCMatrix (Wikipedia + CommonCrawl)
You are given the task of collecting the information and sorting through the details to resolve the given security requirement.

Il est demandé de rassembler les informations et de trier les détails obtenus pour répondre aux exigences de sécurité.

général - CCMatrix (Wikipedia + CommonCrawl)
A technical indicator that attempts to show the volatility of a given security.

ATR est un indicateur technique qui mesure la volatilité d'une certaine sécurité.

général - CCMatrix (Wikipedia + CommonCrawl)
This simply requires you identifying a key price level for a given security.

Cela nécessite simplement que vous identifiiez un niveau de prix clé pour une sécurité donnée.

général - CCMatrix (Wikipedia + CommonCrawl)


1 milliard de traductions classées par domaine d'activité en 28 langues