Strong and Weak Policy Relations
Michael J. May, Insup Lee, Carl A. Gunter and Steve Zdancewic
IEEE International Symposium on Policies for Distributed Systems and Networks (POLICY ’09), London, UK, July 2009.

Last updated on Monday, July 25, 2011, 4:19 pm

Privacy APIs: Formal Models for Analyzing Legal Privacy Requirements
Michael J. May
Doctoral Thesis, University of Pennsylvania, March 2008. [BIB]

Last updated on Thursday, June 26, 2014, 12:59 pm

Securing the Drop-Box Architecture for Assisted Living
Michael J. May, Wook Shin, Carl A. Gunter and Insup Lee
ACM Formal Methods in Security Engineering (FMSE ’06), Alexandria, VA, November 2006. [BIB]

Last updated on Thursday, June 26, 2014, 12:50 pm

Privacy APIs: Access Control Techniques to Analyze and Verify Legal Privacy Policies
Michael J. May, Carl A. Gunter and Insup Lee
IEEE Computer Security Foundations Workshop (CSFW  ’06), Venice, Italy, July 2006. [PPT][BIB][CITES]

Last updated on Monday, July 25, 2011, 4:28 pm

Privacy Sensitive Location Information Systems in Smart Buildings
Jodie P. Boyer, Kaijun Tan and Carl A. Gunter
Springer Security in Pervasive Computing (SPC ’06), Lecture Notes in Computer Science, pages 149-164, York, UK, April 2006. [PPT][BIB]

Last updated on Monday, July 25, 2011, 4:28 pm

The Consistency of Task-Based Authorization Constraints in Workflow Systems,
Kaijun Tan, Jason Crampton, Carl A. Gunter.
IEEE Computer Security Foundations Workshop (CSFW 04), Monterey, CA, July 2004. [CITES]

Last updated on Thursday, June 26, 2014, 12:48 pm

A Formal Privacy System and its Application to Location Based Services,
Carl A. Gunter, Michael J. May, Stuart Stubblebine.
Workshop on Privacy Enhancing Technologies (PET 04), Toronto, Canada, May 2004. [CITES]

Last updated on Thursday, June 26, 2014, 12:48 pm