public marks

PUBLIC MARKS with tags secure & unix

January 2006

The contributions

by GeorgesMariano
Formal verification of an extension of a UNIX compatible, secure filesystem

May 2005

PUBLIC TAGS related to tag secure

freeware +   linux +   macosx +   network +   open-source +   software +   windows +  

Active users

GeorgesMariano
last mark : 16/01/2006 13:26

akihisa
last mark : 19/05/2005 04:27