Searching for authors named "Guy Zanon" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

10 documents found, showing 1 through 10.

Checking Secure Interactions of Smart Card
by Guy Zanon
…-Louis Lanet2,Virginie Wiels 1, and Guy Zanon1 1 ONERA-CERT/DTIM BP 4025, 2 avenue E. Belin, F-31055 Toulouse…
Add To MetaCart

Electronic Purse Applet Certification?
by Guy Zanon
…-Louis Lanet2,Virginie Wiels 1, and Guy Zanon1 1 ONERA/CERT/DTIM 2 avenue E. Belin, 31055 Toulouse cedex…
Add To MetaCart

Security Extensions to ONERA HLA RTI Prototype
by Pierre Bieber, Jacques Cazin, Pierre Siron, Guy Zanon — 1998 — In Proceedings of the 1998 Fall Simulation Interoperability Workshop. Paper number 98F-SIW-086. Available online via doclib/doclib.cfm?SISO_FID_1709> [accessed
… Cedex Pierre.Bieber@(email omitted);, Jacques.Cazin@(email omitted);, Pierre.Siron@(email omitted);, Guy.Zanon@(email omitted); Keywords…
Cited by 2 (1 self) – Add To MetaCart

unknown title
by Rodolphe Muller, Virginie Wiels, Guy Zanon
…, Abdellah El-Marouani2, Pierre Girard2,Jean-Louis Lanet 2, Rodolphe Muller2, Virginie Wiels1, and Guy Zanon…
Add To MetaCart

Detecting Illegal Information Flow Using Abstract Interpretation and Model Checking [Published in Gemplus Developer Conference, Montpellier, France,
by Jean-louis Lanet, Rodolphe Muller, Virginie Wiels, Guy Zanon — 2000
… , and Guy Zanon 1 1 ONERA-CERT/DTIM BP 4025, 2 avenue E. Belin, F-31055 Toulouse Cedex 4, France {bieber…
Add To MetaCart

Checking Secure Interactions of Smart Card Applets
by M. Waidner, Pierre Bieber, Pierre Girard, Jean-Louis Lanet, Jacques Cazin, Virginie Wiels, Guy Zanon — 2000
… , Jean-Louis Lanet 2 , Virginie Wiels 1 , and Guy Zanon 1 1 ONERA-CERT/DTIM BP 4025, 2 avenue E…
Add To MetaCart

unknown title
by Pierre Bieber, Jacques Cazin, Pierre Girard, Jean-louis Lanet, Virginie Wiels, Guy Zanon
…-Louis Lanet2,Virginie Wiels 1, and Guy Zanon1 1 ONERA/CERT/DTIM 2 avenue E. Belin, 31055 Toulouse cedex…
Add To MetaCart

Checking Secure Interactions of Smart Card Applets
by Pierre Bieber, Jacques Cazin, Pierre Girard, Jean-louis Lanet, Virginie Wiels, Guy Zanon — 2000
…-Louis Lanet 2 , Virginie Wiels 1 , and Guy Zanon 1 1 ONERA-CERT/DTIM BP 4025, 2 avenue E. Belin, F-31055…
Cited by 14 (2 self) – Add To MetaCart

The pacap prototype: A tool for detecting java card illegal flow
by Pierre Bieber, Jacques Cazin, Abdellah El-marouani, Pierre Girard, Jean-louis Lanet, Virginie Wiels, Guy Zanon — 2000 — Java on Smart Cards: Programming and Security
…, Pierre Girard2,Jean-Louis Lanet 2, Virginie Wiels1, and Guy Zanon1 1 ONERA-CERT/DTIM BP 4025, 2 avenue…
Cited by 14 (1 self) – Add To MetaCart

Electronic Purse Applet Certification ⋆ (Extended Abstract)
by Published In S. Schneider, P. Ryan, Workshop On Secure, Pierre Bieber, Jacques Cazin, Pierre Girard, Jean-louis Lanet, Virginie Wiels, Guy Zanon, P. Bieber, J. Cazin, P. Girard, J. -l. Lanet, V. Wiels, G. Zanon
… , Jean-Louis Lanet 2 , Virginie Wiels 1 , and Guy Zanon 1 1 ONERA/CERT/DTIM 2 avenue E. Belin, 31055…
Add To MetaCart

Showing 1 through 10.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB