How Playing Cards Changed my View of Access-Control Policies
Shriram Krishnamurthi, Brown University
Access-control policies control data dissemination in domains from health-care to social networks. The subtlety of policies, and their frequent expression in high-level, declarative languages, suggests a natural opportunity for formal methods.
The direct application of traditional formal methods, however, appears unhelpful in this domain. The talk will describe our work on useful forms of input and output, the concrete tools we've produced, and our increasing use of human cognitive aspects to drive our next generation of research in this area.
Joint work with Dan Dougherty and Kathi Fisler (WPI).
Shriram Krishnamurthi is an Associate Professor of Computer Science at Brown University. His recent work focuses on language support for interactive software, and on analyses for security policies. He is a co-author of the DrScheme programming environment, the FASTLINK genetic linkage analysis package, the Continue conference paper server, the Margrave access control policy analysis package, the Flapjax programming language, and the book How to Design Programs. He has also written Programming Languages: Application and Interpretation and coordinates the decade-old TeachScheme/ReachJava high-school computer science outreach program.
