University of Minnesota
University Relations
myU OneStop

Go to unit's home.

Home | Seminars and Symposia | Past seminars/symposia: Wednesday, May 7, 2003

DTC Seminar Series

Specification and Construction of Secure Distributed Collaboration Systems


Anand Tripathi
University of Minnesota
Computer Science and Engineering

Wednesday, May 7, 2003
2:00 pm

101 Walter Library

Slide presentation (powerpoint 347 KB) Slide presentation (pdf 479 KB) This talk is about developing a framework for rapid construction of secure distributed collaboration systems from their high level specifications. Dr. Tripathi will present a role-based model for specifying coordination and dynamic security requirements in collaboration systems. He will identify requirements for role admission and activation constraints, enforcement of separation-of-duties, support for dynamic access control policies, and a distributed trust model for peer-to-peer management of a large collaborative activity. In this framework, the specifications for a collaboration system are interfaced with a policy-driven middleware to construct the runtime environment. From the specifications of a collaboration system, appropriate policy modules are derived for enforcing security and coordination requirements. A policy-driven distributed middleware provides services to the users to join roles in an activity, perform role specific operations, or create new activities. He will also discuss some of their recent work on finite-state model checking techniques to verify security properties of a collaboration system.

Anand Tripathi

Anand Tripathi presenting

Anand Tripathi presenting


Anand Tripathi joined the University of Minnesota in 1985 and is currently a professor in the Department of Computer Science & Engineering. He received his Ph.D. degree in Electrical Engineering from the University of Texas at Austin in 1980 and served as a Senior Principal Research Scientist at Honeywell Computer Science Center in Minneapolis from 1981 through 1984. From 1995 through 1997, he served as the Program Director for the Computer Systems Software program at the National Science Foundation. Dr. Tripathi is a member of the editorial boards of IEEE Pervasive Computing, IEEE DS Online, and IEEE Transactions on Computers. He is also a member of the publications Board of the IEEE Computer Society and currently serving as the Program Chair for IEEE Conference on Pervasive Computing and Communications (PerCom 2004).