William H. Winsborough

Publication Activity (10 Years)

Years Active: 1987-2014
Publications (10 Years): 0

Top Topics

Privacy Preserving

Formal Verification

Trust Management

Security Properties

Top Venues

J. Comput. Secur.

Publications

Jianwei Niu, Mark Reith, William H. Winsborough
Formal verification of security properties in trust management policy. J. Comput. Secur. 22 (1) (2014)
Omar Chowdhury, Andreas Gampe, Jianwei Niu, Jeffery von Ronne, Jared Bennatt, Anupam Datta, Limin Jia, William H. Winsborough
Privacy promises that can be kept: a policy analysis method with application to the HIPAA privacy rule. SACMAT (2013)
Omar Chowdhury, Murillo Pontual, William H. Winsborough, Ting Yu, Keith Irwin, Jianwei Niu
Ensuring authorization privileges for cascading user obligations. SACMAT (2012)
Murillo Pontual, Andreas Gampe, Omar Chowdhury, Bazoumana Kone, Md. Shamim Ashik, William H. Winsborough
The privacy in the time of the internet: secrecy vs transparency. CODASPY (2012)
Wanying Zhao, Jianwei Niu, William H. Winsborough
Refinement-based design of a group-centric secure information sharing model. CODASPY (2012)
Ram Krishnan, Jianwei Niu, Ravi S. Sandhu, William H. Winsborough
Group-Centric Secure Information-Sharing Models for Isolated Groups. ACM Trans. Inf. Syst. Secur. 14 (3) (2011)
Murillo Pontual, Omar Chowdhury, William H. Winsborough, Ting Yu, Keith Irwin
On the management of user obligations. SACMAT (2011)
Murillo Pontual, Omar Chowdhury, William H. Winsborough, Ting Yu, Keith Irwin
Toward practical authorization-dependent user obligation systems. AsiaCCS (2010)
Ravi S. Sandhu, Ram Krishnan, Jianwei Niu, William H. Winsborough
Group-Centric Models for Secure and Agile Information Sharing. MMM-ACNS (2010)
Murillo Pontual, Keith Irwin, Omar Chowdhury, William H. Winsborough, Ting Yu
Failure Feedback for User Obligation Systems. SocialCom/PASSAT (2010)
Bruno P. S. Rocha, Sruthi Bandhakavi, Jerry den Hartog, William H. Winsborough, Sandro Etalle
Towards Static Flow-Based Declassification for Legacy and Untrusted Programs. IEEE Symposium on Security and Privacy (2010)
Tyler L. Hobbs, William H. Winsborough
. IFIPTM (2010)
Roberto Tamassia, Danfeng Yao, William H. Winsborough
Independently Verifiable Decentralized Role-Based Delegation. IEEE Trans. Syst. Man Cybern. Part A 40 (6) (2010)
Jiangtao Li, Ninghui Li, William H. Winsborough
Automated trust negotiation using cryptographic credentials. ACM Trans. Inf. Syst. Secur. 13 (1) (2009)
Ram Krishnan, Ravi S. Sandhu, Jianwei Niu, William H. Winsborough
Towards a framework for group-centric secure collaboration. CollaborateCom (2009)
Sandro Etalle, William H. Winsborough
Maintaining control while delegating trust: Integrity constraints in trust management. ACM Trans. Inf. Syst. Secur. 13 (1) (2009)
Mark Reith, Jianwei Niu, William H. Winsborough
Toward practical analysis for trust management policy. AsiaCCS (2009)
Ram Krishnan, Ravi S. Sandhu, Jianwei Niu, William H. Winsborough
Foundations for group-centric secure information sharing models. SACMAT (2009)
Ram Krishnan, Ravi S. Sandhu, Jianwei Niu, William H. Winsborough
A conceptual framework for Group-Centric secure information sharing. AsiaCCS (2009)
Keith Irwin, Ting Yu, William H. Winsborough
Enforcing security properties in task-based systems. SACMAT (2008)
Ram Krishnan, Jianwei Niu, Ravi S. Sandhu, William H. Winsborough
Stale-safe security properties for group-based secure information sharing. FMSE (2008)
Timothy W. Finin, Anupam Joshi, Lalana Kagal, Jianwei Niu, Ravi S. Sandhu, William H. Winsborough, Bhavani M. Thuraisingham
. SACMAT (2008)
Somesh Jha, Ninghui Li, Mahesh V. Tripunitara, Qihua Wang, William H. Winsborough
Towards Formal Verification of Role-Based Access Control Policies. IEEE Trans. Dependable Secur. Comput. 5 (4) (2008)
Sruthi Bandhakavi, William H. Winsborough, Marianne Winslett
A Trust Management Approach for Flexible Policy Management in Security-Typed Languages. CSF (2008)
Tim Finin, Anupam Joshi, Lalana Kagal, Jianwei Niu, Ravi S. Sandhu, William H. Winsborough, Bhavani M. Thuraisingham
Role Based Access Control and OWL. OWLED (Spring) (2008)
Keith Irwin, Ting Yu, William H. Winsborough
Assigning Responsibility for Failed Obligations. IFIPTM (2008)
Mark Reith, Jianwei Niu, William H. Winsborough
Role-based trust management security policy analysis and correction environment (RT-SPACE). ICSE Companion (2008)
Keith Irwin, Ting Yu, William H. Winsborough
Avoiding information leakage in security-policy-aware planning. WPES (2008)
Sruthi Bandhakavi, William H. Winsborough, Marianne Winslett
Informal presentation: a trust management perspective on managing policy updates in security-typed languages. PLAS (2007)
Sandro Etalle, William H. Winsborough
A posteriori compliance control. SACMAT (2007)
Mark Reith, Jianwei Niu, William H. Winsborough
Engineering Trust Management into Software Models. MiSE@ICSE (2007)
Mark Reith, Jianwei Niu, William H. Winsborough
Apply Model Checking to Security Analysis in Trust Management. ICDE Workshops (2007)
Marcin Czenko, Sandro Etalle, Dongyi Li, William H. Winsborough
An Introduction to the Role Based Trust Management Framework RT. FOSAD (2007)
William H. Winsborough, Anna Cinzia Squicciarini, Elisa Bertino
Information carrying identity proof trees. WPES (2007)
Saket Kaushik, William H. Winsborough, Duminda Wijesekera, Paul Ammann
Policy Transformations for Preventing Leakage of Sensitive Information in Email Systems. DBSec (2006)
Ziqing Mao, Ninghui Li, William H. Winsborough
Distributed Credential Chain Discovery in Trust Management with Parameterized Roles and Constraints (Short Paper). ICICS (2006)
William H. Winsborough, Ninghui Li
Safety in automated trust negotiation. ACM Trans. Inf. Syst. Secur. 9 (3) (2006)
Keith Irwin, Ting Yu, William H. Winsborough
On the modeling and analysis of obligations. CCS (2006)
Ninghui Li, John C. Mitchell, William H. Winsborough
Beyond proof-of-compliance: security analysis in trust management. J. ACM 52 (3) (2005)
Jiangtao Li, Ninghui Li, William H. Winsborough
Automated trust negotiation using cryptographic credentials. CCS (2005)
Sandro Etalle, William H. Winsborough
Integrity Constraints in Trust Management CoRR (2005)
Danfeng Yao, Michael Shin, Roberto Tamassia, William H. Winsborough
Visualization of Automated Trust Negotiation. VizSEC (2005)
Sandro Etalle, William H. Winsborough
Integrity constraints in trust management. SACMAT (2005)
Saket Kaushik, William H. Winsborough, Duminda Wijesekera, Paul Ammann
Email feedback: a policy-based approach to overcoming false positives. FMSE (2005)
Saket Kaushik, Paul Ammann, Duminda Wijesekera, William H. Winsborough, Ronald W. Ritchey
A Policy Driven Approach to Email Services. POLICY (2004)
Roberto Tamassia, Danfeng Yao, William H. Winsborough
Role-based cascaded delegation. SACMAT (2004)
Chao Yao, William H. Winsborough, Sushil Jajodia
A Hierarchical Release Control Policy Framework. IICIS (2004)
William H. Winsborough, Ninghui Li
Safety in Automated Trust Negotiation. IEEE Symposium on Security and Privacy (2004)
William H. Winsborough, Jay Jacobs
Automated Trust Negotiation Technology with Attribute-based Access Control. DISCEX (2) (2003)
William H. Winsborough
A Logic Programming View of Authorization in Distributed Systems. ICLP (2003)
William H. Winsborough, Jay Jacobs
Automated Trust Negotiation in Attribute-based Access Control. DISCEX (2) (2003)
Ninghui Li, William H. Winsborough, John C. Mitchell
Distributed Credential Chain Discovery in Trust Management. J. Comput. Secur. 11 (1) (2003)
Michael T. Goodrich, Michael Shin, Roberto Tamassia, William H. Winsborough
Authenticated Dictionaries for Fresh Attribute Credentials. iTrust (2003)
Ninghui Li, William H. Winsborough, John C. Mitchell
Beyond Proof-of-Compliance: Safety and Availability Analysis in Trust Management. IEEE Symposium on Security and Privacy (2003)
William H. Winsborough, Ninghui Li
Protecting sensitive attributes in automated trust negotiation. WPES (2002)
Eve Cohen, Roshan K. Thomas, William H. Winsborough, Deborah Shands
Models for coalition-based access control (CBAC). SACMAT (2002)
Ninghui Li, John C. Mitchell, William H. Winsborough
Design of a Role-Based Trust-Management Framework. IEEE Symposium on Security and Privacy (2002)
William H. Winsborough, Ninghui Li
Towards Practical Automated Trust Negotiation. POLICY (2002)
Ninghui Li, William H. Winsborough, John C. Mitchell
Distributed credential chain discovery in trust management: extended abstract. CCS (2001)
Moreno Falaschi, Patrick Hicks, William H. Winsborough
Demand Transformation Analysis for Concurrent Constraint Programs. J. Log. Program. 42 (3) (2000)
Gudjon Gudjonsson, William H. Winsborough
Compile-time memory reuse in logic programming languages through update in place. ACM Trans. Program. Lang. Syst. 21 (3) (1999)
Agostino Cortesi, Gilberto Filé, William H. Winsborough
The Quotient of an Abstract Interpretation. Theor. Comput. Sci. 202 (1-2) (1998)
Michael Codish, Moreno Falaschi, Kim Marriott, William H. Winsborough
A Confluent Semantic Basis for the Analysis of Concurrent Constraint Logic Programs. J. Log. Program. 30 (1) (1997)
Kent E. Seamons, William H. Winsborough, Marianne Winslett
Internet Credential Acceptance Policies. APPIA-GULP-PRODE (1997)
Agostino Cortesi, Gilberto Filé, William H. Winsborough
Optimal Groundness Analysis Using Propositional Logic. J. Log. Program. 27 (2) (1996)
Geoffrey Weyer, William H. Winsborough
Annotated Structure Shape Graphs for Abstract Analysis of Prolog. PLILP (1996)
Moreno Falaschi, Patrick Hicks, William H. Winsborough
Demand Transformation Analysis for Concurrent Constraint Programs. JICSLP (1996)
Agostino Cortesi, Gilberto Filé, William H. Winsborough
The Quotient of an Abstract Interpretation for Comparing Static Analyses. GULP-PRODE (1) (1994)
Anne Mulkers, William H. Winsborough, Maurice Bruynooghe
Live-Structure Dataflow Analysis for Prolog. ACM Trans. Program. Lang. Syst. 16 (2) (1994)
Gudjon Gudjonsson, William H. Winsborough
Update In Place: Overview of the Siva Project. ILPS (1993)
Michael Codish, Moreno Falaschi, Kim Marriott, William H. Winsborough
Efficient Analysis of Concurrent Constraint Logic Programs. ICALP (1993)
William H. Winsborough
Multiple Specialization using Minimal-Function Graph Semantics. J. Log. Program. 13 (2&3) (1992)
Agostino Cortesi, Gilberto Filé, William H. Winsborough
Comparison of Abstract Interpretations. ICALP (1992)
Michael Codish, Moreno Falaschi, Kim Marriott, William H. Winsborough
Efficient Analysis of Reactive Properties of Concurrent Constraint Logic Programs. WSA (1992)
Agostino Cortesi, Gilberto Filé, William H. Winsborough
Prop revisited: Propositional Formula as Abstract Domain for Groundness Analysis LICS (1991)
Ian T. Foster, William H. Winsborough
Copy Avoidance through Compile-Time Analysis and Local Reuse. ISLP (1991)
Dean Jacobs, Anno Langen, William H. Winsborough
Multiple Specialization of Logic Programs with Run-Time Test. ICLP (1990)
Anne Mulkers, William H. Winsborough, Maurice Bruynooghe
Analysis of Shared Data Structures for Compile-Time Garbage. ICLP (1990)
William H. Winsborough
Path-Dependent Reachability Analysis for Multiple Specialization. NACLP (1989)
William H. Winsborough, Annika Wærn
Transparent And-Parallelism in the Presence of Shared Free Variables. ICLP/SLP (1988)
William H. Winsborough
Semantically Transparent Selective Reset for AND Parallel Interpreters Based on the Origin of Failures. SLP (1987)