Browsing by Author "Schwoon, Stefan"
Now showing items 1-4 of 4
-
Distributed Certificate-Chain Discovery in SPKI/SDSI
Schwoon, Stefan; Wang, Hao; Jha, Somesh; Reps, Thomas (University of Wisconsin-Madison Department of Computer Sciences, 2005)The authorization problem is to decide whether, according to a security policy, some principal should be allowed access to a resource. In the trust-management system SPKI/SDSI, the security policy is given by a set of ... -
On Generalized Authorization Problems
Schwoon, Stefan; Jha, Somesh; Reps, Thomas; Stubblebine, S. (University of Wisconsin-Madison Department of Computer Sciences, 2003)This paper defines a framework in which one can formalize a variety of authorization and policy issues that arise in access control of shared computing resources. Instantiations of the framework address such issues as ... -
Reducing the Dependence of Trust-Management Systems on PKI
Wang, Hao; Jha, Somesh; Reps, Thomas; Schwoon, Stefan; Stubblebine, Stuart (University of Wisconsin-Madison Department of Computer Sciences, 2005)Trust-management systems address the authorization problem in distributed systems by defining a formal language for expressing authorization and access-control policies, and relying on an algorithm to determine when a ... -
Weighted Pushdown Systems and Their Applications to Interprocedural Dataflow Analysis
Reps, Thomas; Schwoon, Stefan; Jha, Somesh (University of Wisconsin-Madison Department of Computer Sciences, 2003)Recently, pushdown systems (PDSs) have been extended to weighted PDSs, in which each transition is labeled with a value, and the goal is to determine the meet-over-all-paths value (for paths that meet a certain criterion). ...