On Jan 19, 2008 10:16 PM, Orlando Andico <[EMAIL PROTECTED]> wrote: > provable as in state machine? hmmm is even the hardware provable? >
They already formally prove correctness in life critical systems right? Linux is too big for that. I just found out. > > > On Jan 19, 2008 8:05 PM, Drexx Laggui [personal] <[EMAIL PROTECTED]> wrote: > > 19Jan2008 (UTC +8) > > > > On 1/19/08, Rogelio Serrano <[EMAIL PROTECTED]> wrote: > > > Anybody aware of any effort to do that? > > > > > > What university courses are required to be able to do this? > > > > What exactly is "provable security" ? > > > > > > Drexx Laggui -- CISA, CISSP, CFE Associate, ISO27001 LA-C, CCSI, CSA > > http://www.laggui.com ( Singapore / Manila / California ) > > Computer forensics; Penetration testing; QMS & ISMS developers; K-Transfer > > PGP fingerprint = 6E62 A089 E3EA 1B93 BFB4 8363 FFEC 3976 FF31 8A4E > > > > _________________________________________________ > > Philippine Linux Users' Group (PLUG) Mailing List > > [email protected] (#PLUG @ irc.free.net.ph) > > Read the Guidelines: http://linux.org.ph/lists > > Searchable Archives: http://archives.free.net.ph > > > > > > -- > Orlando Andico > +63.2.976.8659 | +63.920.903.0335 > > "I have always wished for my computer to be as easy to use as my > telephone; my wish has come true because I can no longer figure > out how to use my telephone." > -- Bjarne Stroustrup > > _________________________________________________ > Philippine Linux Users' Group (PLUG) Mailing List > [email protected] (#PLUG @ irc.free.net.ph) > Read the Guidelines: http://linux.org.ph/lists > Searchable Archives: http://archives.free.net.ph > -- Lay low and nourish in obscurity _________________________________________________ Philippine Linux Users' Group (PLUG) Mailing List [email protected] (#PLUG @ irc.free.net.ph) Read the Guidelines: http://linux.org.ph/lists Searchable Archives: http://archives.free.net.ph
