Zobrazeno 1 - 10
of 210
pro vyhledávání: '"Analyse de Programmes"'
Autor:
Triches, Rozane Maria, Grisa, Catia
Publikováno v:
Revista NERA; 2015 Edições Especial, Vol. 18 Issue 26, p10-27, 18p
Publikováno v:
Colloque Didapro-Didastic 8
Colloque Didapro-Didastic 8, Feb 2020, Lille, France
Colloque Didapro-Didastic 8, Feb 2020, Lille, France
International audience; Depuis la rentrée de septembre 2016 est désormais prévue une initiation à la programmation informatique dès le primaire. Face à ces nouvelles prescriptions, et en l'absence de formation spécifique pour enseigner l'infor
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::603ddbdb4abbce08da6f34c6accf9098
https://hal.univ-lille.fr/hal-02462385/document
https://hal.univ-lille.fr/hal-02462385/document
Autor:
Assaf, Mounir
De nos jours, les ordinateurs sont omniprésents. Tous ces ordinateurs stockent et manipulent de l'information, parfois sensible, d'où l'intérêt de protéger et de confiner la dissémination de cette information. Les mécanismes de contrôle de fl
Externí odkaz:
http://www.theses.fr/2015REN1S003/document
Autor:
Assaf, Mounir
Publikováno v:
Cryptography and Security [cs.CR]. Université Rennes 1, 2015. English. ⟨NNT : 2015REN1S003⟩
Computers have become widespread nowadays. All these computers store and process information. Often, some of this information is sensitive; hence the need to confine and control its dissemination. An important field in computer science, that is conce
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2592::ff55383aa3256de1fae7ff31c4847e65
https://tel.archives-ouvertes.fr/tel-01184857/document
https://tel.archives-ouvertes.fr/tel-01184857/document
Publikováno v:
SSTIC
8ème Symposium sur la Sécurité des Technologies de l'Information et des Communications-SSTIC 2010
8ème Symposium sur la Sécurité des Technologies de l'Information et des Communications-SSTIC 2010, Jun 2010, Rennes, France. pp.125-138
8ème Symposium sur la Sécurité des Technologies de l'Information et des Communications-SSTIC 2010
8ème Symposium sur la Sécurité des Technologies de l'Information et des Communications-SSTIC 2010, Jun 2010, Rennes, France. pp.125-138
National audience; L'analyse de programmes sans code source, regroupant la recherche de vulnérabilités et l'analyse de logiciels malveillants, relève actuellement plus de la programmation système que de l'algorithmique. Par conséquent, ces champ
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::ab29058cd062b43fb341e0a3606e6915
https://hal.inria.fr/inria-00549418
https://hal.inria.fr/inria-00549418
Autor:
Lajeunesse-Robert, François
Au fil des ans, l’algèbre de Kleene s’est avérée être un outil formel très pratique et flexible quant vient le temps de raisonner sur les programmes informatiques. Cependant, actuellement, la plupart des applications à l’analyse de progra
Externí odkaz:
http://www.theses.ulaval.ca/2009/25997/25997.pdf
Autor:
Beaucamps, Philippe
L’analyse comportementale traditionnelle opère en général au niveau de l’implantation de comportements malveillants. Pourtant, elle s’intéresse surtout à l’identification de fonctionnalités données et elle se situe donc plus naturellem
Externí odkaz:
http://www.theses.fr/2011INPL092N/document
Thèse (M.Sc.)--Université Laval, 2009.
Titre de l'écran-titre (visionné le 16 juin 2009). Bibliogr.
Titre de l'écran-titre (visionné le 16 juin 2009). Bibliogr.
Externí odkaz:
http://www.theses.ulaval.ca/2009/25997/25997.pdf
Autor:
Dansereau-Trahan, Émilie
Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.
Externí odkaz:
http://hdl.handle.net/1866/15806
Autor:
Wagener, Gérard
Publikováno v:
[Rapport Technique] 2007, pp.55
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::982a85488ebda508de68d9d51ba3d5dc
https://hal.inria.fr/inria-00186915
https://hal.inria.fr/inria-00186915