Sciweavers

143 search results - page 10 / 29
» A Formalization of Distributed Authorization with Delegation
Sort
View
ISW
2004
Springer
14 years 4 months ago
A Distributed High Assurance Reference Monitor
Abstract Ajay Chander1 , Drew Dean2 , and John Mitchell3 1 DoCoMo Communications Laboratories USA, San Jose, CA 95110 2 Computer Science Laboratory, SRI International, Menlo Park, ...
Ajay Chander, Drew Dean, John C. Mitchell
EGC
2005
Springer
14 years 4 months ago
Ticket-Based Grid Services Architecture for Dynamic Virtual Organizations
A Virtual Organization (VO) in the Grid is a collection of users and distributed resources, in which resources are shared by users. VOs are dynamically created for some goals and t...
Byung Joon Kim, Kyong Hoon Kim, Sung Je Hong, Jong...
CORR
2010
Springer
116views Education» more  CORR 2010»
13 years 11 months ago
Dist-Orc: A Rewriting-based Distributed Implementation of Orc with Formal Analysis
Abstract. Orc is a theory of orchestration of services that allows structured programming of distributed and timed computations. Several formal semantics have been proposed for Orc...
Musab AlTurki, José Meseguer
CCS
2010
ACM
14 years 5 months ago
A logic for authorization provenance
In distributed environments, statements from a number of principals, besides the central trusted party, may influence the derivations of authorization decisions. However, existin...
Jinwei Hu, Yan Zhang, Ruixuan Li, Zhengding Lu
USENIX
2003
14 years 7 days ago
Secure and Flexible Global File Sharing
Trust management credentials directly authorize actions, rather than divide the authorization task into authentication and access control. Unlike traditional credentials, which bi...
Stefan Miltchev, Vassilis Prevelakis, Sotiris Ioan...