William H. Winsborough

Refereed Journal Articles:

1.       W. H. Winsborough and N. Li.  Safety in Automated Trust Negotiation.  ACM Transactions in Information and System Security, 9(3):352-390.  August 2006.  (pdf)

2.       N. Li, J. C. Mitchell, W. Winsborough.  Beyond Proof of Compliance:  Security Analysis in Trust Management.  Journal of the ACM, 52(3):474-514. May 2005.  (pdf)

3.       N. Li, W. Winsborough, and J. C. Mitchell.  Distributed Credential Chain Discovery in Trust Management. Journal of Computer Security, 11(1):35-86. February 2003.  (pdf)

4.       M. Falaschi, P. Hicks, W. Winsborough.  Demand Transformation Analysis for Concurrent Constraint Programs. Journal of Logic Programming, 41(3):185-215. March 2000.

5.       G. Gudjonsson, W. Winsborough.  Compile-Time Memory Reuse in Logic Programming Languages through Update in Place. ACM Transactions on Programming Languages and Systems, 21(3):431-502. May 1999.

6.       A. Cortesi, G. Filé, W. Winsborough.  The Quotient of an Abstract Interpretation. Theoretical Computer Science, 202(1-2):163-192. July 1998.

7.       M. Codish, M. Falaschi, K. Marriott, W. Winsborough.  A Confluent Semantic Basis for the Analysis of Concurrent Constraint Logic Programs. Journal of Logic Programming, 30(1):53-81. January 1997.

8.       A. Cortesi, G. Filé, W. Winsborough.  Optimal Groundness Analysis Using Propositional Formulas.  Journal of Logic Programming, 27(2):137-167. May 1996.

9.       A. Mulkers, W. Winsborough, M. Bruynooghe.  A Live-Structure Data-Flow Analysis for Prolog. ACM Transactions on Programming Languages and Systems, 16(2):205-258. March 1994.

10.   W. Winsborough.  Multiple Specialization Using Minimal-Function Graph Semantics. Journal of Logic Programming, 13(2/3):259-290. July 1992.

Refereed Conference and Workshop Articles:

11.   Mark Reith, Jianwei Niu and William Winsborough.  Apply Model Checking to Security Analysis in Trust Management.  First International Workshop on Security Technologies for Next Generation Collaborative Business Applications (SECOBAP'07), Istanbul, Turkey, April 2007.

12.   Ziqing Mao, Ninghui Li and William H. Winsborough.  Distributed Credential Chain Discovery in Trust Management with Parameterized Roles and Constraints.  2006 International Conference on Information and Communications Security (ICICS 2006), Raleigh, NC, December 2006.

13.   K. Irwin, T. Yu, and W. H. Winsborough. On the Modeling and Analysis of Obligations. ACM Conference on Computer and Communications Security. ACM Press, pp.134-143.  Alexandria, VA, November 2006.

14.   S. Kaushik, W. H. Winsborough, D. Wijesekera and P. Ammann. Policy Transformations for Preventing Leakage of Sensitive Information in Email Systems. 20th Annual IFIP WG 11.3 Working Conference on Data and Applications Security (DBSec 06), Sophia Antipolis, France, August, 2006.

15.   C. Yao, W. H. Winsborough, and S. Jajodia. A Hierarchical Release Control Policy Framework. IFIP 11.1 & 11.5 Joint Working Conference. Fairfax, VA, December 2005. 

16.   J. Li, N. Li, and W. H. Winsborough. Automated Trust Negotiation Using Cryptographic Credentials. ACM Conference on Computer and Communications Security.  ACM Press, pp. 46-57. Alexandria, VA, November 2005.

17.   S. Kaushik, W. H. Winsborough, D. Wijesekera, and P. Ammann.  Email Feedback: A Policy-based Approach to Overcoming False Positives.  Proceedings of the 2005 ACM Workshop on Formal Methods in Security Engineering.  ACM Press, pp.73-82.  Alexandria, VA, November 2005.

18.   Danfeng Yao, Michael Shin, Roberto Tamassia, and William H. Winsborough. Visualization of Automated Trust Negotiation. IEEE Workshop on Visualization for Computer Security (VizSEC 2005). IEEE Press, pp. 65-74.  Minneapolis, MN, October 2005.

19.   S. Etalle and W. H. Winsborough.  Integrity Constraints in Trust Management (Extended Abstract).  Proceedings 10th ACM Symp. on Access Control Models and Technologies (SACMAT), G-J. Ahn (eds.), Stockholm, Sweden. June 2005. ACM Press, New York.

20.   S. Kaushik, P. Ammann, D. Wijesekera, W. H. Winsborough, and R. Ritchey.  A policy driven approach to email services.  IEEE 5th International Workshop on Policies for Distributed Systems and Networks.  IEEE Press, pp. 169-178. Yorktown Heights, NY, June 2004.  (pdf)

21.   R. Tamassia, D. Yao, and W. H. Winsborough.  Role-Based Cascaded Delegation.  Proceedings of the ACM Symposium on Access Control Models and Technologies.  ACM Press, pp. 146-155.  Yorktown Heights, NY, June 2004.  (pdf, ps)

22.   W. Winsborough and N. Li.  Safety in Automated Trust Negotiation.  Proceedings of the 2004 IEEE Symposium on Security and Privacy.  IEEE Press, pp. 147-160.  Oakland, CA, May, 2004. (pdf, ps)

23.   M. T. Goodrich, M. Shin, R. Tamassia, and W. H. Winsborough.  Authenticated Dictionaries for Fresh Attribute Credentials. First International Conference on Trust Management. Springer-Verlag, pp. 332-347.  Heraklion, Crete, May, 2003.  (pdf, ps)

24.   N. Li, W. Winsborough, J. C. Mitchell.  Beyond Proof of Compliance:  Safety and Availability Analysis in Trust Management. Proceedings of the 2003 IEEE Symposium on Security and Privacy.  IEEE Press, pp. 123-139. Oakland, CA, May, 2003.  (pdf)

25.   W. Winsborough and N. Li. Protecting Sensitive Attributes in Automated Trust Negotiation. Workshop on Privacy in the Electronic Society.  ACM Press, pp. 41-51. Washington, DC, November, 2002.  (pdf)

26.   W. Winsborough and N. Li. Towards Practical Automated Trust Negotiation. IEEE 3rd Intl. Workshop on Policies for Distributed Systems and Networks.  IEEE Press, pp. 92-103. June 2002.  (pdf)

27.   E. Cohen, R. Thomas, W. Winsborough, D. Shands.  Models for Coalition-based Access Control.  7th ACM Symposium on Access Control Models and Technologies (SACMAT 2002), ACM Press, pp. 97-163.  June 2002.

28.   N. Li, J. C. Mitchell, and W. Winsborough. Design of a Role-Based Trust Management Framework. Proceedings of the 2002 IEEE Symposium on Security and Privacy.  IEEE Press, pp. 114-130.  May 2002.  (pdf)

29.   N. Li, W. Winsborough, J. C. Mitchell. Distributed Credential Chain Discovery in Trust Management. ACM Computer and Communications Security Conference, (CCS'01). ACM Press, pp. 156-165. November, 2001.

30.   W. Winsborough, K. Seamons, V. Jones.  Negotiating Disclosure of Sensitive Credentials.  Second conference on Security in Communication Networks (SCN'99). http://www.dia.unisa.it/SCN99. Amalfi, Italy. September 1999.

31.   K.E. Seamons, W. Winsborough, and M. Winslett.  Internet Credential Acceptance Policies. Proceedings of the 2nd International Workshop on Logic Programming Tools for Internet Applications.  http://clip.dia.fi.upm.es/lpnet/proceedings97/proceedings.html. Leuven, Belgium. July 1997.

32.   G. Weyer, W. Winsborough.  Annotated Structure Shape Graphs for Abstract Analysis of Prolog. Programming Languages: Implementations, Logics, and Programs. Proceedings of the Eighth International Symposium, (PLILP'96). Springer-Verlag LNCS 1140:92-106. September 1996.

33.   M. Falaschi, P. Hicks, W. Winsborough.  Demand Transformation Analysis for Concurrent Constraint Programs. Proceedings of the 1996 Joint International Conference and Symposium on Logic Programming (JICSLP'96). MIT Press, pp. 333-347. September 1996.

34.   G. Gudjonsson, W. Winsborough.  Update in Place: Overview of the Siva Project. Logic Programming: Proceedings of the 1993 International Symposium (ILPS'93). MIT Press, pp. 94-113. October 1993.

35.   M. Codish, M. Falaschi, K. Marriott, W. Winsborough.  Efficient Analysis of Concurrent Constraint Logic Programs. Proceedings of the Twentieth International Colloquium on Automata, Languages, and Programming (ICALP 93). Springer-Verlag LNCS 700:633-644. July 1993.

36.   A. Cortesi, G. Filé, W. Winsborough.  Comparison of Abstract Interpretations. Proceedings of the Nineteenth International Colloquium on Automata, Languages, and Programming (ICALP 92). Springer-Verlag LNCS 623:521-532. July 1992.

37.   A. Mulkers, W. Winsborough, M. Bruynooghe.  Static Analysis of Logic Programs to Detect Run-Time Garbage Collection. Proceedings of the International Conference on Computer Systems and Software Engineering (CompEuro'92). IEEE Computer Society Press. May 1992.

38.   I. Foster, W. Winsborough.  Copy Avoidance through Local Reuse. International Logic Programming Symposium (ILPS'91). MIT Press. October 1991.

39.   A. Cortesi, G. Filé, W. Winsborough.  Prop revisited: Propositional Formulas as Abstract Domain for Groundness Analysis. IEEE Symposium on Logic in Computer Science (LICS'91). IEEE Computer Society Press. July 1991.

40.   A. Mulkers, W. Winsborough, M. Bruynooghe.  Analysis of Shared Data Structures for Compile-Time Garbage Collection in Logic Programs. Seventh International Conference on Logic Programming (ICLP'90). MIT Press. June 1990.

41.   D. Jacobs, A. Langen, W. Winsborough.  Multiple Specialization of Logic Programs with Run-Time Tests. Seventh International Conference on Logic Programming (ICLP'90). MIT Press. June 1990.

42.   W. Winsborough.  Path-Dependent Reachability Analysis for Multiple Specialization. North American Conference on Logic Programming (NACLP'89). MIT Press. October 1989.

43.   W. Winsborough and A. Waern.  Transparent And-Parallelism in the Presence of Shared Free Variables. Fifth International Conference on Logic Programming (ICLP'88). MIT Press. August 1988.

44.   W. Winsborough.  Semantically Transparent Selective Reset for AND-Parallel Interpreters Based on the Origin of Failures. Proceedings of the 1987 IEEE Symposium on Logic Programming (SLP'87). IEEE Computer Society Press. September 1987.

Invited Papers:

45.   W. Winsborough.  A Logic Programming View of Authorization in Distributed Systems.  International Conference on Logic Programming (ICLP’03).  December, 2003.

46.   W. Winsborough and J. Jacobs.  Automated Trust Negotiation in Attribute-based Access Control. DARPA Information Survivability Conference and Exposition (DISCEX III).  April, 2003.

47.   W. Winsborough, K. Seamons, V. Jones.  Automated Trust Negotiation. DARPA Information Survivability Conference and Exposition (DISCEX 2000).  January, 2000.