Personal tools
Home Pós-Graduação Informações para Alunos e Docentes do Programa Seminários no IC-UNICAMP Seminários de Pesquisa do IC Palestra Extraordinária: Obligations that Require and Affect Authorizations.
Navigation
IC 40 anos
 
Document Actions

Palestra Extraordinária: Obligations that Require and Affect Authorizations.

Prof. William H. Winsborough - Department of Computer Science, University of Texas at San Antonio, dia 23/07/2009, às 16:00 h, Auditório do IC , Sala 85 - IC 2.

What Palestra
When 23/07/2009
from 16:00 to 17:00
Where Auditório do IC - Sala 85 - IC 2
Add event to calendar vCal
iCal

Increasingly computer systems are assisting with the management of work flow and other situations in which users are obligated to perform actions at specified times.  When these actions require user authorizations, the system should assist in ensuring that obligatory actions will be authorized.  When actions, obligatory or otherwise, are administrative in nature, and effect the system's authorization state, the system also should assist in ensuring that such actions will not prevent existing obligations from being authorized.  This talk will discuss recent work that (1) defines a property of system states called accountability that ensures obligatory actions will be authorized, (2) studies the complexity of this problem in general and for tractable subproblems, and (3) examines how responsibility for failed obligations can be assigned to users that do not meet their (authorized) obligations when their negligence causes the system state not to satisfy the requirements of accountability.

==========================================================

William H. Winsborough received the BA, MS, and PhD degrees at the University of Wisconsin-Madison.  He has held several research positions in academia and in industry, and is currently an Associate Professor in Computer Science at the University of Texas at San Antonio.  His current research interests are in computer security and privacy, with emphases that include authorization and obligation systems with provable security properties, trust management, automated trust negotiation, and security typed programming languages.  He is a member of the ACM and the IEEE Computer Society.  He currently has three research projects funded by the National Science Foundation.


Instituto de Computação :: Universidade Estadual de Campinas
Av. Albert Einstein, 1251 - Cidade Universitária • CEP 13083-852 • Campinas/SP - Brasil • Fone: [19] 3521-5838