- Modular Access Control via Strategic Rewriting Daniel J. Dougherty1
- Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus
- Programming Satan's Computer Ross Anderson and Roger Needham
- DUE MONDAY MAY 2 AT 1 PM CS 2223 D TERM 2011 version of May 1, 2011 12 : 08
- TheoreticalComputerScience (1975) 125459. (Q Nort%IHolland Publishing Company Departmentof Machine Imlligence, School of Artificial Intelligmce, University of Edinburgh,
- Core XACML and Term Rewriting Daniel J. Dougherty
- DUE THURSDAY APRIL 7 CS 2223 D TERM 2011 version of April 4, 2011 16 : 41
- The Margrave Tool for Firewall Analysis Timothy Nelson
- Under consideration for publication in Math. Struct. in Comp. Science Addressed Term Rewriting Systems
- Strong normalization of the dual classical sequent Daniel Dougherty,1 Silvia Ghilezan,2 Pierre Lescanne3 and Silvia Likavec2,4
- Intersection and Union Types in the -calculus
- Characterizing strong normalization in a language with control operators
- Unification and Matching Modulo Type Isomorphism Dan Dougherty1 and Carlos C. Martinez2
- Logic and computation in a lambda calculus with intersection and union types
- Multi-Join Continuous Query Optimization: Covering the Spectrum of Linear, Acyclic, and Cyclic Queries
- Electronic Proceedings in Theoretical Computer Science ??, ??, pp. 112.
- Join Minimization in XML-to-SQL Translation: An Algebraic Murali Mani Song Wang Daniel J. Dougherty Elke A. Rundensteiner
- DUE TUESDAY MARCH 22 CS 2223 D TERM 2011 version of March 14, 2011 22 : 42
- Computing Surveys, Vol 17 n. 4, pp 471-522, December 1985 On Understanding Types,
- An Automata-Theoretic Approach to Linear Temporal Logic
- Access Control: Principles and Practice Ravi S. Sandhu
- Intersection types for explicit substitutions Stephane Lengrand a
- Specifying and Reasoning about Dynamic Access-Control Policies
- Handbook of Computer Science and Engineering, Chapter 103. CRC Press, 1997. 1 Copyright 1996 by Digital Equipment Corporation. Revised Friday, March 28, 1997, 5:09 pm.
- Normal forms for binary relations Daniel J. Dougherty
- IEEE Computer, Volume 29, Number 2, February 1996, pages 38-47. Role-Based Access Control Modelsyz
- DUE MONDAY APRIL 18 AT 6 PM CS 2223 D TERM 2011 version of April 17, 2011 16 : 03
- Pessimal Algorithms and Simplexity Analysis
- Processing Nested Complex Sequence Pattern Queries over Event Streams
- Alchemy: Transmuting Base Alloy Specifications into Implementations
- Embracing Policy Engineering Kathi Fisler
- CS 2223 D TERM 2011 Rules for collaboration
- M. Fernandez (Ed.): 9th Int. Workshop on Reduction Strategies in Rewriting and Programming (WRS'09)
- Appendix to: Logic and computation in a lambda calculus with intersection and union types
- The complexity of the certification of properties of Stable Marriage
- Protection 1 Protection1
- Obligations and their Interaction with Programs Daniel J. Dougherty,1 Kathi Fisler,1 Shriram Krishnamurthi2
- A General Technique for Analyzing Termination in Symmetric Proof Calculi
- Unification: A Multidisciplinary Survey KEVIN KNIGHT
- Towards an Operational Semantics for Alloy Theophilos Giannakopoulos,1 Daniel J. Dougherty,1
- On the Finite Model Property in Order-Sorted Logic Timothy Nelson1, Daniel J. Dougherty1, Kathi Fisler1, and Shriram Krishnamurthi2
- Pushdown Automata and Context-Free Languages
- Notes on Induction and Recursion Dan Dougherty
- Properties of Regular Languages 2. a) This problem illustrates one technique for determining the language of a finite automaton
- Undecidability 3. Let M be a Turing machine that accepts a nonrecursive language L. Without loss of generality,
- Policy Analysis for Administrative Role Based Access Control Amit Sasturkar Ping Yang Scott D. Stoller C.R. Ramakrishnan
- Time Complexity 1. c) The function f(n) = n2
- Normal Forms for Context-Free 3. An equivalent essentially noncontracting grammar GL with a nonrecursive start symbol is
- Mathematical Preliminaries 5. To prove that X Y = (X Y) requires establishing both of the inclusions X Y (X Y)
- Turing Machines 1. a) q0BaabcaB b) q0BbcbcB
- Finite Automata 1. a) The state diagram of M is
- Context-Free Grammars 1. a) Derivation Rule
- 3. We prove, by induction on the length of the string, that w = (wR for every string w