At 1:00 PM -0400 5/1/08, Epstein, Jeremy wrote: > Ken, a good example. For those of you who want to reach much further > back, Paul Karger told me of a similar problem in the compiler (I don't > remember the language)
VAX Pascal, before VMS was on Alpha (and long before Itanium). > used for compiling the A1 VAX VMM kernel, that > optimized out a check in the Mandatory Access Control enforcement, which > separates information of different classifications (*). [For those not > familiar with it, this was a provably secure kernel on which you could > host multiple untrusted operating systems. Despite what some young-uns > seem to think, VMs are not a new concept - they go back at least three > decades that I know of, and possibly longer. The A1 VAX effort ended > roughly 20-25 years ago, to give a timeframe for this particular > compiler issue.] -- Larry Kilgallen _______________________________________________ Secure Coding mailing list (SC-L) SC-L@securecoding.org List information, subscriptions, etc - http://krvw.com/mailman/listinfo/sc-l List charter available at - http://www.securecoding.org/list/charter.php SC-L is hosted and moderated by KRvW Associates, LLC (http://www.KRvW.com) as a free, non-commercial service to the software security community. _______________________________________________