Výsledky vyhledávání - "Chetali, Boutheina"

Akademický článek

Load time code validation for mobile phone Java Cards

Autor: Gadyatskaya, Olga, Massacci, Fabio, Nguyen, Quang-Huy, Chetali, Boutheina

Publikováno v: In Journal of Information Security and Applications September 2013 18(2-3):108-129

TASCCC - Project and Testing Tool (poster)

Autor: Dadeau, Frédéric, Cabrera Castillos, Kalou, Ledru, Yves, Bousquet, Lydie, Triki, Taha, Vega Baez, German Eduardo, Taha, Safouan, Legeard, Bruno, Botella, Julien, Chetali, Boutheina, Bernet, Julien, Rouillard, David

Publikováno v: Actes des Cinquièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel
Actes des Cinquièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, 2013, Nancy, France. pp.198

International audience; no abstract

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::9d0cfb05a27407e85b997f04d01c4a1d
https://hal.inria.fr/hal-00974765

Zobrazit plný text záznamu

TASCCC - Project and Testing Tool (poster and demo)

Autor: Cabrera Castillos, Kalou, Dadeau, Frédéric, Ledru, Yves, Du Bousquet, Lydie, Triki, Taha, Taha, Safouan, Legeard, Bruno, Botella, Julien, Chetali, Boutheina, Julien, Bernet, Rouillard, David

Publikováno v: Actes des Quatrièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel
Actes des Quatrièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, 2012, Rennes, France. pp.241

International audience; no abstract

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::4de69bfb5d59d00ca6e1fd3aba3b05e7
https://hal.inria.fr/hal-00953275

Zobrazit plný text záznamu

An Access Control Model Based Testing Approach for Smart Card Applications: Results of the {POSÉ} Project

Autor: Masson, Pierre-Alain, Potet, Marie-Laure, Julliand, Jacques, Tissot, Régis, Debois, Georges, Legeard, Bruno, Chetali, Boutheina, Bouquet, Fabrice, Jaffuel, Eddie, Van Aertrick, Lionel, Andronick, June, Haddad, Amal

Publikováno v: JIAS, Journal of Information Assurance and Security
JIAS, Journal of Information Assurance and Security, 2010, 5, pp.335-351

International audience; This paper is about generating security tests from the Common Criteria expression of a security policy, in addition to functional tests previously generated by a model-based testing approach. The method that we present re-uses

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::0d88c931a9feb0c970b2071f483de595
https://hal.archives-ouvertes.fr/hal-00943158/file/mpjt_10_oip.pdf

Zobrazit plný text záznamu

A formal proof of a protocol for communications over faulty channels using the Larch Prover

Autor: Chetali, Boutheina

Publikováno v: [Research Report] RR-2476, INRIA. 1995

Projet EURECA; This paper describes, by means of an example, how one may mechanically verify concurrent programs on the automated theorem prover {\sc Lp}. It presents a fully computer checked proof of a protocol for communications over faulty channel

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::4d87e3a9b24b2562922b4d6d81b30267
https://inria.hal.science/inria-00074198/file/RR-2476.pdf

Zobrazit plný text záznamu

Formal Verification of Concurrent programs: How to specify UNITY using the Larch Prover

Autor: Chetali, Boutheina

Publikováno v: [Research Report] RR-2475, INRIA. 1995

Projet EURECA; Prover to verify concurrent programs. The chosen specification environment is {\sc UNITY}, because it provides a higher level of abstraction to express solutions to parallel programming problems. We investigate how the syntax and the s

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::1c05bf397660583fd6ebea99b433fb62
https://hal.inria.fr/inria-00074199

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání