A Type Discipline for Authorization in Distributed Systems
Cedric Fournet, Andy Gordon, and Sergio Maffeis
April 2007
 PDF file |
Publisher: IEEE Computer Society
Copyright © 2007 IEEE. Reprinted from IEEE Computer Society. This material is posted here with permission of the IEEE. Internal or personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution must be obtained from the IEEE by writing to pubs-permissions@ieee.org. By choosing to view this document, you agree to all provisions of the copyright laws protecting it.
Details
| Type: | TechReport |
| URL: | http://www.computer.org/portal/site/ieeecs/index.jsp |
| Number: | MSR-TR-2007-47 |
| Pages: | 0 |
| Institution: | Microsoft Research |
©2009 Microsoft Corporation. All rights reserved.