Searching for authors named "Jacques Cazin" – sorted by Relevance.
-
Formal Validation Of Software For Secure Systems
- FORMAL VALIDATION OF SOFTWARE FOR SECURE SYSTEMS Jacques CAZIN, Pierre GIRARD CERT
- Cited by 8 (6 self) – Add To MetaCart
-
Security Extensions to ONERA HLA RTI Prototype
- Security Extensions to ONERA HLA RTI Prototype 1 Pierre Bieber Jacques Cazin Pierre Siron Guy
- Cited by 2 (1 self) – Add To MetaCart
-
Checking Secure Interactions of Smart Card Applets
- Science, pp. 1--16, Springer-Verlag, 2000.] Pierre Bieber 1 , Jacques Cazin 1 , Pierre Girard 2
- Add To MetaCart
-
unknown title
- 'es Concurrentes (FAC 2000), Toulouse,France, May 18, 2000.] Pierre Bieber1, Jacques Cazin1, Pierre Girard2, Jean
- Add To MetaCart
-
Checking Secure Interactions of Smart Card Applets
- Science, pp. 1–16, Springer-Verlag, 2000.] Pierre Bieber 1 , Jacques Cazin 1 , Pierre Girard 2 , Jean
- Cited by 14 (2 self) – Add To MetaCart
-
The pacap prototype: A tool for detecting java card illegal flow
- Science, pp. 25-37, Springer-Verlag, 2001.] Pierre Bieber1, Jacques Cazin1, Abdellah El-Marouani2
- Cited by 14 (1 self) – Add To MetaCart
-
Electronic Purse Applet Certification ⋆ (Extended Abstract)
- in Theoretical Computer Science, Elsevier Science, 2000.] Pierre Bieber 1 , Jacques Cazin 1 , Pierre Girard 2
- Add To MetaCart

