Rapha l Marvie, Marie-Claude Pellegrini, Olivier Potonni e, S bastien Jean. 1998 Using B Method to Model Protocols by Jean-Louis Lanet. Formal Proof of Smart Card Applets Correctness by Jean-Louis Lanet and Antoine Requet. The Vault, an Architecture for Smartcards to Gain Infinite Memory by Patrick Biget. In Proceedings of International Workshop on Comparing Systems Specification Techniques, Nantes, March 1998 .
All trademarks are the property of their respective owners.
Gemplus Privacy Policy .