cap-talk General discussion of capability systems

2009-10-01 - 2009-11-01 (67 messages)

2009-09-01 - 2009-10-01 (278 messages)

2009-08-01 - 2009-09-01 (167 messages)

 Next  Last 

  1. 2009-09-30  [7] Re: [cap-talk] Why aren't safer OS being used         cap-talk  James A. Dona
  2. 2009-09-30  [1] [cap-talk] A useful strategy                          cap-talk  Karp, Alan H 
  3. 2009-09-30  [5] [cap-talk]  Capabilities and Human behaviour          cap-talk  Ben Kloosterm
  4. 2009-09-29 [20] [cap-talk] Why arn't safer OS being used. [ was Confe cap-talk  Toby Murray 
  5. 2009-09-29  [1] Re: [cap-talk] Why aren't safer OS being used.        cap-talk  David-Sarah H
  6. 2009-09-29  [1] Re: [cap-talk] Why arn't safer OS being used. [ was   cap-talk  Karp, Alan H 
  7. 2009-09-29  [7] [cap-talk] Microsoft                                  cap-talk  David Mercer 
  8. 2009-09-28 [23] [cap-talk] Specs for our 'ideal' language?            cap-talk  Matej Kosik 
  9. 2009-09-28  [3] Re: [cap-talk] Microsoft [correction]                 cap-talk  Karp, Alan H 
 10. 2009-09-28  [5] [cap-talk] "Managed code"                             cap-talk  Sandro Magi 
 11. 2009-09-28  [4] [cap-talk] Type safety vs Monolithic w HW protection  cap-talk  Ben Kloosterm
 12. 2009-09-27  [3] Re: [cap-talk] cap-talk Digest, Vol 66, Issue 45      cap-talk  Charles Landa
 13. 2009-09-27  [1] Re: [cap-talk] cap-talk Digest, Vol 66, Issue 46      cap-talk  Leo Meyerovic
 14. 2009-09-26 [37] [cap-talk] Confessions of a C programmer              cap-talk  Matej Kosik 
 15. 2009-09-24 [18] Re: [cap-talk] Security by safe language processing   cap-talk  David Barbour
 16. 2009-09-21 [48] [cap-talk] Definition of Authentication on wiki.erigh cap-talk  Mark Miller 
 17. 2009-09-19  [3] [cap-talk] An interesting sounding new language       cap-talk  David Barbour
 18. 2009-09-19  [1] [cap-talk] Fwd: [friam] Apache server compromise repo cap-talk  Mark S. Mille
 19. 2009-09-16  [7] Re: [cap-talk] Don't put capabilities in argv?        cap-talk  David-Sarah H
 20. 2009-09-16  [2] [cap-talk] An interesting paper                       cap-talk  Zooko OWhiela
 21. 2009-09-15  [6] [cap-talk] Looking for a citation                     cap-talk  Ivan_Krstić 
 22. 2009-09-13 [16] [cap-talk] Security and Full Abstraction (was: Cap OS cap-talk  David-Sarah H
 23. 2009-09-11  [1] [cap-talk] Almost-caps-in-URLs design failure by lack cap-talk  Kevin Reid 
 24. 2009-09-10  [7] [cap-talk] Pict programming language and the kernel s cap-talk  Matej Kosik 
 25. 2009-09-10  [4] Re: [cap-talk] Fwd: [cors] TAG request concerning COR cap-talk  Zooko OWhiela
 26. 2009-09-09  [1] [cap-talk] Basic definitions and training material (D cap-talk  Rob Meijer 
 27. 2009-09-09  [1] Re: [cap-talk] TCB in safe language system was Securi cap-talk  Ben Kloosterm
 28. 2009-09-08  [4] Re: [cap-talk] FW: x.509 -- MD5 considered harmful to cap-talk  David Mercer 
 29. 2009-09-07 [11] Re: [cap-talk] Cap OS question                        cap-talk  Sandro Magi 
 30. 2009-09-05  [3] [cap-talk] Security by safe language processing (was: cap-talk  Ben Kloosterm

 Next  Last