Ravi Pandya
ravi@iecommerce.com
www.iecommerce.com
+1 425 417 4180
vcard
syndicate this site
ARCHIVES
2007
11
10
2004
10
09
08
07
06
2003
04
02
01
2002
12
11
10
09
08
2001
11
ABOUT ME
Ravi Pandya
Architect
Cloud Computing Futures
Microsoft
ravip at microsoft.com
| 03- | Microsoft |
| 00-02 | Covalent |
| 97-00 | EverythingOffice |
| 96-97 | Jango |
| 93-96 | NetManage |
| 89-93 | Xanadu |
| 88-89 | Hypercube |
| 84,85 | Xerox PARC |
| 83-89 | University of Toronto, Math |
| 86-87 | George Brown College, Dance |
| 95- | Foresight Institute |
| 97- | Institute for Molecular Manufacturing |
DISCLAIMER
The opinions expressed here are purely my own, and do not reflect
the policy of my employer.
Tue 31 Aug 2004
Authority Reduction in Protection Systems is a great paper on analyzing the formal security properties of object capability systems by Mark Miller, Peter van Roy, Jonathon Shapiro, and Fred Spiessens. I particularly like the distinction between "de jure" properties that are explicitly granted rights versus "de facto" properties that are consequential information flows.
06:36 #
© 2002-2004 Ravi Pandya | All Rights Reserved