X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2Fmowgli%2Fhome%2Fxml%2Fsites%2Ftrusted-logic.xml;fp=helm%2Fmowgli%2Fhome%2Fxml%2Fsites%2Ftrusted-logic.xml;h=0000000000000000000000000000000000000000;hp=ed5a5d8bdc4fa3c159e6c297648aaefc80457697;hb=3ef089a4c58fbe429dd539af6215991ecbe11ee2;hpb=1c7fb836e2af4f2f3d18afd0396701f2094265ff

diff --git a/helm/mowgli/home/xml/sites/trusted-logic.xml b/helm/mowgli/home/xml/sites/trusted-logic.xml
deleted file mode 100644
index ed5a5d8bd..000000000
--- 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>