GIDIS Trusted Linux: A MLS Linux version

Monday, 26 May 2003, 5:59 PM EST

GIDIS Trusted Linux is a security enhanced version of Linux which descends from Lisex. Lisex is a MLS prototype of Linux developed by GIDIS (R+D Group on Software Engineering) from National University of Rosario (Argentina). GIDIS Trusted Linux, as well as Lisex, is developed with a great deal of Formal Methods.

Recently, the economic support given by our sponsor has finished. Therefore, the R+D Group on Software Engineering (GIDIS) is now seeking for partners, investors, sponsors or funding institutions interested in supporting the GIDIS Trusted Linux project. Any kind of support is welcome, including grants, subsides, computer equipment, etc. In return, GIDIS offers to share any economic benefit originated in marketing GIDIS Trusted Linux as well as any industrial patent derived from it. Also, we want to enter into relations with other R+D groups on software engineering, computer security or formal methods.

[ Read more ]




Spotlight

Almost 1 in 10 Android apps are now malware

Posted on 28 July 2014.  |  Cheetah Mobile Threat Research Labs analyzed trends in mobile viruses for Q1 and Q2 of 2014. Pulling 24.4 million sample files they found that 2.2 million files had viruses. This is a 153% increase from the number of infected files in 2013.


Weekly newsletter

Reading our newsletter every Monday will keep you up-to-date with security news.
  



Daily digest

Receive a daily digest of the latest security news.
  

DON'T
MISS

Mon, Jul 28th
    COPYRIGHT 1998-2014 BY HELP NET SECURITY.   // READ OUR PRIVACY POLICY // ABOUT US // ADVERTISE //