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). ...