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. Donald 
  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 Kloosterman 
  4. 2009-09-29 [20] [cap-talk] Why arn't safer OS being used. [ was Confession cap-talk    Toby Murray 
  5. 2009-09-29  [1] Re: [cap-talk] Why aren't safer OS being used.             cap-talk    David-Sarah Hopw
  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 was c cap-talk    Ben Kloosterman 
 12. 2009-09-27  [3] Re: [cap-talk] cap-talk Digest, Vol 66, Issue 45           cap-talk    Charles Landau 
 13. 2009-09-27  [1] Re: [cap-talk] cap-talk Digest, Vol 66, Issue 46           cap-talk    Leo Meyerovich 
 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.erights.or 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 report    cap-talk    Mark S. Miller 
 19. 2009-09-16  [7] Re: [cap-talk] Don't put capabilities in argv?             cap-talk    David-Sarah Hopw
 20. 2009-09-16  [2] [cap-talk] An interesting paper                            cap-talk    Zooko OWhielacro
 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 ques cap-talk    David-Sarah Hopw
 23. 2009-09-11  [1] [cap-talk] Almost-caps-in-URLs design failure by lack of   cap-talk    Kevin Reid 
 24. 2009-09-10  [7] [cap-talk] Pict programming language and the kernel space  cap-talk    Matej Kosik 
 25. 2009-09-10  [4] Re: [cap-talk] Fwd: [cors] TAG request concerning CORS &Ne cap-talk    Zooko OWhielacro
 26. 2009-09-09  [1] [cap-talk] Basic definitions and training material (Defini cap-talk    Rob Meijer 
 27. 2009-09-09  [1] Re: [cap-talk] TCB in safe language system was Security by cap-talk    Ben Kloosterman 
 28. 2009-09-08  [4] Re: [cap-talk] FW: x.509 -- MD5 considered harmful today   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: Re:  cap-talk    Ben Kloosterman 

 Next  Last