cap-talk General discussion of capability systems

2006-06-01 - 2006-07-01 (216 messages)

2006-05-01 - 2006-06-01 (65 messages)

2006-04-01 - 2006-05-01 (51 messages)

  1. 2006-05-31  [6] [cap-talk] Distributed E systems                           cap-talk    Mark S. Miller 
  2. 2006-05-25  [6] [cap-talk] The Cascade Problem viewed as a Permission vs.  cap-talk    Karp, Alan H 
  3. 2006-05-25  [2] Re: [cap-talk] Formalism in computer security discussions  cap-talk    Toby Murray 
  4. 2006-05-24  [1] [cap-talk] HRU and its implications for the decidability o cap-talk    Toby Murray 
  5. 2006-05-19  [2] Re: [cap-talk] Windows Vista: security by admonition       cap-talk    David Hopwood 
  6. 2006-05-16  [1] [cap-talk] Looking for a client/server capability database cap-talk    John Carlson 
  7. 2006-05-13 [13] [cap-talk] Creating 32-bit capabilities,                   cap-talk    Sandro Magi 
  8. 2006-05-12  [6] [cap-talk] Real world distributed capabilities             cap-talk    Monty Zukowski 
  9. 2006-05-12  [1] [cap-talk] Relevant Conferences                            cap-talk    Toby Murray 
 10. 2006-05-11  [1] [cap-talk] [Fwd: Call for Participation:  PLAS 2006]       cap-talk    Mark Miller 
 11. 2006-05-11  [4] Re: [cap-talk] waiting?                                    cap-talk    Valerio Bellizzo
 12. 2006-05-10 [11] [cap-talk] Can We Make Operating Systems Reliable and Secu cap-talk    Valerio Bellizzo
 13. 2006-05-10  [1] [cap-talk] CVS or SVN capability system, based on a wiki.  cap-talk    John Carlson 
 14. 2006-05-10  [7] [cap-talk] "Security Issues related to Pentium System Mana cap-talk    John Carlson 
 15. 2006-05-09  [1] Re: [cap-talk] Graphs for real world distributed capabilit cap-talk    John Carlson 
 16. 2006-05-01  [2] Re: [cap-talk] Conciseness of languages                    cap-talk    Stiegler, Marc D