2,468 research outputs found
La relation homme-cheval
No full textil s'agit d'un type de produit dont les métadonnées ne correspondent pas aux métadonnées attendues dans les autres types de produit : REPORTLa qualité de la relation homme-cheval est une préoccupation de plus en plus présente chez les cavaliers, éleveurs,… Les facettes de cette relation sont très nombreuses, ce qui la rend particulièrement complexe, mais quelques notions clé permettent de l’améliorer
Comportement social du cheval
No full textil s'agit d'un type de produit dont les métadonnées ne correspondent pas aux métadonnées attendues dans les autres types de produit : REPORTBien que le cheval ait été domestiqué depuis plus de 5000 ans, les comportements sociaux des chevaux domestiques retournés à l'état sauvage (chevaux féraux) ou élevés en semi-liberté sont les mêmes que ceux des chevaux de Przewalski qui n'ont jamais été domestiqués.En conditions naturelles ou semi-naturelles, en dehors de quelques rares individus solitaires, les chevaux vivent soit en groupe familial soit en groupe de mâles célibataires. Les interactions sociales au sein du groupe et entre groupes sont désormais mieux connues
Lengths May Break Privacy – Or How to Check for Equivalences with Length
No full textSecurity protocols have been successfully analyzed using symbolic models, where messages are represented by terms and protocols by processes. Privacy properties like anonymity or untraceability are typically expressed as equivalence between processes. While some decision procedures have been proposed for automatically deciding process equivalence, all existing approaches abstract away the information an attacker may get when observing the length of messages.
In this paper, we study process equivalence with length tests. We first show that, in the static case, almost all existing decidability results (for static equivalence) can be extended to cope with length tests.
In the active case, we prove decidability of trace equivalence with length tests, for a bounded number of sessions and for standard primitives. Our result relies on a previous decidability result from Cheval et al (without length tests). Our procedure has been implemented and we have discovered a new flaw against privacy in the biometric passport protocol
APTE: An Algorithm for Proving Trace Equivalence
No full textThis paper presents APTE, a new tool for automatically proving the security of cryptographic protocols. It focuses on proving trace equivalence between processes, which is crucial for specifying privacy type properties such as anonymity and unlinkability.
The tool can handle protocols expressed in a calculus similar to the applied-pi calculus, which allows us to capture most existing protocols that rely on classical cryptographic primitives. In particular, APTE handles private channels and else branches in protocols with bounded number of sessions. Unlike most equivalence verifier tools, APTE is guaranteed to terminate
Moreover, APTE is the only tool that extends the usual notion of trace equivalence by considering ``side-channel'' information leaked to the attacker such as the length of messages and the execution times. We illustrate APTE on different case studies which allowed us to automatically (re)-discover attacks on protocols such as the Private Authentication protocol or the protocols of the electronic passports
Note sur le cheval de Solulré
No full textPiétrement C.-A. Note sur le cheval de Solulré. In: Bulletins de la Société d'anthropologie de Paris, II° Série. Tome 9, 1874. pp. 689-698
Analyse cinématique de la locomotion du cheval
No full textANALYSE CINÉMATIQUE DE LA LOCOMOTION DU CHEVAL
Analyse cinématique de la locomotion du cheval (101) (-
13. Delebecque (Édouard). Le cheval dans l'Iliade, suivi d'un lexique du cheval chez Homère et d'un essai sur le cheval préhomérique (Collection : Études et commentaires, fasc. IX). Paris, C. Klincksieck, 1951
No full textFlacelière Robert. 13. Delebecque (Édouard). Le cheval dans l'Iliade, suivi d'un lexique du cheval chez Homère et d'un essai sur le cheval préhomérique (Collection : Études et commentaires, fasc. IX). Paris, C. Klincksieck, 1951. In: Revue des Études Grecques, tome 65, fascicule 304-305, Janvier-juin 1952. pp. 245-247
13. Delebecque (Édouard). Le cheval dans l'Iliade, suivi d'un lexique du cheval chez Homère et d'un essai sur le cheval préhomérique (Collection : Études et commentaires, fasc. IX). Paris, C. Klincksieck, 1951
No full textFlacelière Robert. 13. Delebecque (Édouard). Le cheval dans l'Iliade, suivi d'un lexique du cheval chez Homère et d'un essai sur le cheval préhomérique (Collection : Études et commentaires, fasc. IX). Paris, C. Klincksieck, 1951. In: Revue des Études Grecques, tome 65, fascicule 304-305, Janvier-juin 1952. pp. 245-247
Salmonella dans les boucheries III. — Contamination des boucheries de cheval
No full textCatsaras Marc, Seynave René, Sery C. Salmonella dans les boucheries. III. Contamination des boucheries de cheval. In: Bulletin de l'Académie Vétérinaire de France tome 127 n°8-9, 1974. pp. 399-404
- …
