+++ /dev/null
-<?xml version="1.0"?>
-
-<!DOCTYPE site SYSTEM "site.dtd">
-
-<site>
- <name>Trusted Logic</name>
- <country>France</country>
- <url>http://www.trusted-logic.fr</url>
- <address>
- 5 rue du Bailliage,
- 78000 Versailles,
- FRANCE
- </address>
- <responsible file="trusted-logic/bolignano"/>
- <description>
- <p>Created in January 1999, TRUSTED LOGIC S.A. is a french start-up company,
- which presents a unique combination of expertise in embedded
- software challenges and in formal methods analysis.
- TRUSTED LOGIC offers a wide range of efficient and secure solutions for
- smart cards and terminals in the following areas : open systems for smart
- cards (Java Card,Windows SmartCards, Multos), open systems for terminals
- (mobile phones, PDA, bank terminals, etc), e-commerce, remote secured
- access to intranets, and secured networks infrastructures (home or car
- control).</p>
- <p>The development methodology, inside Trusted Logic S.A., includes a
- permanent concern of quality and security aspects (formal specification
- and proofs) that provides a software which is efficient, reliable and
- ready to face high level Common Criteria evaluations when needed</p>
- <p>The main actors in the smart card and in the embedded software industry
- are among its customers : Sun Microsystems Inc., Bull, Gemplus, Oberthur,
- Schlumberger, ST Microelectronics, VISA International, Carte Bleue, GIE
- Cartes Bancaires, ActivCard, Proton World International, etc.</p>
- </description>
- <member file="trusted-logic/bolignano"/>
-</site>