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

diff --git a/helm/mowgli/home/xml/sites/trusted-logic.xml b/helm/mowgli/home/xml/sites/trusted-logic.xml
new file mode 100644
index 000000000..c174450ce
--- /dev/null
+++ b/helm/mowgli/home/xml/sites/trusted-logic.xml
@@ -0,0 +1,30 @@
+<?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>???</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>
+</site>