Cobb, Jorge A.

Permanent URI for this collection

Jorge Cobb is an Associate Professor of Computer Science. His research focus is computer networking which includes:

  • Quality of Service in High-Speed Computer Networks
  • Mobile Computing
  • Design and Implementation of Network Protocols
  • Concurrent and Distributed Computing


Recent Submissions

Now showing 1 - 1 of 1
  • Item
    Policy Expressions and the Bottom-Up Design of Computing Policies
    (Springer-verlag Wien) Reaz, R.; Acharya, H. B.; Elmallah, E. S.; Cobb, Jorge A.; Gouda, M. G.; 472149294284280521392 (Cobb, JA); Cobb, Jorge A.
    A policy is a sequence of rules, where each rule consists of a predicate and a decision, and where each decision is either “accept” or “reject”. A policy P is said to accept (or reject, respectively) a request if the decision of the first rule in P, that matches the request is “accept” (or “reject”, respectively). Examples of computing policies are firewalls, routing policies and software-defined networks in the Internet, and access control policies. In this paper, we present a generalization of policies called policy expressions. A policy expression is specified using one or more policies and the three policy operators: “not”, “and”, and “or”. We show that policy expressions can be utilized to support bottom-up methods for designing policies. We also show that each policy expression can be represented by a set of special types of policies, called slices. We present several algorithms that use the slice representation of given policy expressions to verify whether the given policy expressions satisfy logical properties such as adequacy, implication, and equivalence. Finally, we present 19 equivalence laws of policy expressions. ©2018, Springer-Verlag GmbH Austria, part of Springer Nature.

Works in Treasures @ UT Dallas are made available exclusively for educational purposes such as research or instruction. Literary rights, including copyright for published works held by the creator(s) or their heirs, or other third parties may apply. All rights are reserved unless otherwise indicated by the copyright owner(s).