Papers and Reports: 2001-2002

Security Protocols and Access Control

• V. Shmatikov and J.C. Mitchell: Finite-State Analysis of Two Contract Signing Protocols accepted for publication in Theoretical Computer Science.
• N. Li, W. Winsborough, and J.C. Mitchell: " Distributed Credential Chain Discovery in Trust Management", accepted for publication in Journal of Computer Security.
• N. Li, J.C. Mitchell, W.H. Winsborough: " "Design of a Role-based Trust-management Framework", in the Proceedings of 2002 IEEE Symposium on Security and Privacy - SP '02, Oakland, California, USA, May 12-15, 2002.
• A. Chander, D. Dean, and J.C. Mitchell: " A state-transition model of trust management and access control", in the Proceedings of the 14th IEEE Computer Security Foundations Workshop - CSFW-14, Cape Breton, Nova Scotia, Canada, June 11-13, 2001.
• N.A. Durgin, J.C. Mitchell, and D. Pavlovic: " A Compositional Logic for Protocol Correctness", in the Proceedings of the 14th IEEE Computer Security Foundations Workshop - CSFW-14, Cape Breton, Nova Scotia, Canada, June 11-13, 2001.
• J.Y. Halpern and R. van der Meyden: " A logic for SDSI's linked local named spaces", in Journal of Computer Security 9:1,2, 2001, pp. 47-74.
• J.Y. Halpern and R. van der Meyden: " A logical reconstruction of SPKI", in the Proceedings of the 14th IEEE Computer Security Foundations Workshop - CSFW-14, Cape Breton, Nova Scotia, Canada, June 11-13, 2001.
• J.Y. Halpern and K. O'Neill: " Secrecy in Multiagent Systems", in the Proceedings of 15th IEEE Computer Security Foundations Workshop - CSFW-15, Cape Breton, Nova Scotia, Canada, June 24-26, 2002.
• J. Y. Halpern and R. Pucella: " On the relationship between strand spaces and multi-agent systems", in the Proceedings of the Eighth ACM Conference on Computer and Communications Security - CCS-8, Philadelphia, Pennsylvania, USA, November 5-8, 2001.
• R. Pucella and V. Weissman: " A logic for reasoning about digital rights (Extended abstract)", in the Proceedings of the Workshop on Issues in the Theory of Security - WITS '02, Portland, Oregon, USA, January 14-15, 2002.
• J. Mitchell, A. Ramanathan, A. Scedrov, and V. Teague: " A probabilistic polynomial-time calculus for analysis of cryptographic protocols" (preliminary report), in the Proceedings of 17th Annual Conference on the Mathematical Foundations of Programming Semantics - MFPS XVII, Aarhus, Denmark, May 23-27, 2001.
• J. Mitchell, A. Ramanathan, A. Scedrov, and V. Teague: " A probabilistic polynomial-time calculus for analysis of cryptographic protocols" (full paper), submitted for publication.
• R. Chadha, M.I. Kanovich, and A. Scedrov: " Inductive methods and contract-signing protocols", in the Proceedings of the Eighth ACM Conference on Computer and Communications Security - CCS-8, Philadelphia, Pennsylvania, USA, November 5-8, 2001.

Mobile Code Security

• A. Chander, J.C. Mitchell, and I. Shin: " Mobile code security by Java bytecode instrumentation", in the Proceedings of DARPA Information Survivability Conference & Exposition - DISCEX II, Anaheim, CA, USA, June 11-14, 2001.

Monitoring Real-Time and Distributed Systems

• K. Bhargavan, C.A. Gunter, M. Kim, I. Lee, D. Obradovic, O. Sokolsky, and M. Viswanathan: " Verisim: Formal Analysis of Network Simulations", in IEEE Transactions on Software Engineering, 28(2), February 2002, pp. 129-145.
• M. Kim, S. Kannan, I. Lee, O. Sokolsky: " Java-MaC: a Run-time Assurance Tool for Java", in the Proceedings of the first Workshop on Runtime Verification - RV '01, Paris, France, July 23, 2001.

Analysis of Real-Time and Hybrid Systems

• A. Philippou, O. Sokolsky, I. Lee, R. Cleaveland, and S.A. Smolka: " Hiding Resources that Can Fail", in Information Processing LettersVolume 80, Issue 1, Oct 2001.
• I. Lee, J.-Y. Choi, H.-H. Kwak: " A Family of Resource-Bound Real-time Process Algebras", in the Proceedings of the 21st International Conference on Formal Techniques for Networked and Distributed Systems - FORTE 2001, Cheju Island, Korea, August 28-31, 2001.
• J. Stribrna and I. Lee: " Characterizing Non-Zenoness on Real-Time Processes", in the Proceedings of the 2nd Workshop on Models for Time-Critical Systems - MTCS '01, Aalborg, Denmark, August 25, 2001.
• R. Alur, R. Grosu, I. Lee, and O. Sokolsky: " Compositional Refinement for Hierarchical Hybrid Systems", in the Proceedings of the Fourth International Workshop on Hybrid Systems: Computation and Control - HSCC '01, Rome, Italy, March 28-30, 2001.
• O. Sokolsky and H.S.Hong: " Qualitative Modeling of Hybrid Systems", in the Proceedings of the 2001 Monterey Workshop - Monterey, Clifornia, USA, June 18-22, 2001.

Complexity

• H. Comon, V. Cortier, and J.C. Mitchell: "Tree Automata with one Memory, Set Constraints and Ping-Pong Protocols", in the Proceedings of the 28th International Colloquium on Automata, Languages and Programming - ICALP 2001, Crete, Greece, July 8-12, 2001.
• T. Batu, S. Dasgupta, R. Kumar, and R. Rubinfeld: " The complexity of approximating the entropy", in the Proceedings of the 34th ACM Symposium on Theory of Computing - STOC '02, Montréal, Québec, Canada, May 19-21, 2002.
• T. Batu, E. Fischer, L. Fortnow, R. Kumar, R. Rubinfeld, and, P. White: " Testing random variables for independence and identity", in the Proceedings of 42nd IEEE Conference on Foundations of Computer Science - FOCS 2001, Las Vegas, Nevada, USA, October 14-17, 2001.
• R. Anderson, S. Kannan, H. Karloff, and R. Ladner: "A Polynomial Time Algorithm for Computing Optimal Binary Search Trees Using Two-way Comparisons", in the Proceedings of the 22nd Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS '01), Bangalore, India, December 13-15, 2001.
• J. Fong, A. Gilbert, S. Kannan, and M. Strauss: Better Alternatives to OSPF Routing, in the Proceedings of 2nd International Workshop on Approximation and Randomized Algorithms in Communication Networks - ARACNE 2001, BRICS, University of Aarhus, Denmark, August 27, 2001.

Adaptive Systems

• K. Kiriakidis and D. Gordon: " Supervision of multiple-robot systems", in the Proceedings of the American Control Conference - ACC '01, Arlington, Virginia, USA, June 25-27, 2001.
• D. Gordon: " APT Agents: Agents that are adaptive, predictable, and timely", in the Proceedings of the First International Workshop Formal Approaches to Agent-Based Systems. Lecture Notes in Artificial Intelligence, Volume 1871. Springer-Verlag, 2001.
• K. Kiriakidis and D. Gordon: " Supervisory control of multiagent systems subject to failure", in the Proceedings of the First International Workshop Formal Approaches to Agent-Based Systems. Lecture Notes in Artificial Intelligence, Volume 1871. Springer-Verlag, 2001.
• W. Spears and D. Gordon: " Evolution of strategies for resource protection problems", book chapter in Theory and Applications of Evolutionary Computation: Recent Trends. Springer-Verlag, 2002.