This commit was manufactured by cvs2svn to create branch

[helm.git] / helm / mowgli / home / xml / sites / trusted-logic.xml

diff --git a/helm/mowgli/home/xml/sites/trusted-logic.xml b/helm/mowgli/home/xml/sites/trusted-logic.xml
deleted file mode 100644 (file)
index ed5a5d8..0000000
--- a/helm/mowgli/home/xml/sites/trusted-logic.xml
+++ /dev/null
@@ -1,35 +0,0 @@
-<?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>