helm/mowgli/home/xml/sites/trusted-logic.xml

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