Sciweavers

81 search results - page 17 / 17
» An Operational Semantics for Declarative Multi-Paradigm Lang...
Sort
View
CCS
2005
ACM
13 years 11 months ago
PeerAccess: a logic for distributed authorization
This paper introduces the PeerAccess framework for reasoning about authorization in open distributed systems, and shows how a parameterization of the framework can be used to reas...
Marianne Winslett, Charles C. Zhang, Piero A. Bona...