William H. Winsborough

According to our database, William H. Winsborough authored at least 78 papers between 1987 and 2014.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2014

Formal verification of security properties in trust management policy.

Jianwei Niu, Mark Reith, William H. Winsborough

J. Comput. Secur., 2014

2013

Privacy promises that can be kept: a policy analysis method with application to the HIPAA privacy rule.

Omar Chowdhury, Andreas Gampe, Jianwei Niu, Jeffery von Ronne, Jared Bennatt, Anupam Datta, Limin Jia, William H. Winsborough

Proceedings of the 18th ACM Symposium on Access Control Models and Technologies, 2013

2012

Ensuring authorization privileges for cascading user obligations.

Omar Chowdhury, Murillo Pontual, William H. Winsborough, Ting Yu, Keith Irwin, Jianwei Niu

Proceedings of the 17th ACM Symposium on Access Control Models and Technologies, 2012

Refinement-based design of a group-centric secure information sharing model.

Wanying Zhao, Jianwei Niu, William H. Winsborough

Proceedings of the Second ACM Conference on Data and Application Security and Privacy, 2012

The privacy in the time of the internet: secrecy vs transparency.

Murillo Pontual, Andreas Gampe, Omar Chowdhury, Bazoumana Kone, Md. Shamim Ashik, William H. Winsborough

Proceedings of the Second ACM Conference on Data and Application Security and Privacy, 2012

2011

Group-Centric Secure Information-Sharing Models for Isolated Groups.

Ram Krishnan, Jianwei Niu, Ravi S. Sandhu, William H. Winsborough

ACM Trans. Inf. Syst. Secur., 2011

On the management of user obligations.

Murillo Pontual, Omar Chowdhury, William H. Winsborough, Ting Yu, Keith Irwin

Proceedings of the 16th ACM Symposium on Access Control Models and Technologies, 2011

2010

Independently Verifiable Decentralized Role-Based Delegation.

Roberto Tamassia, Danfeng Yao, William H. Winsborough

IEEE Trans. Syst. Man Cybern. Part A, 2010

Towards Static Flow-Based Declassification for Legacy and Untrusted Programs.

Bruno P. S. Rocha, Sruthi Bandhakavi, Jerry den Hartog, William H. Winsborough, Sandro Etalle

Proceedings of the 31st IEEE Symposium on Security and Privacy, 2010

Failure Feedback for User Obligation Systems.

Murillo Pontual, Keith Irwin, Omar Chowdhury, William H. Winsborough, Ting Yu

Proceedings of the 2010 IEEE Second International Conference on Social Computing, 2010

Group-Centric Models for Secure and Agile Information Sharing.

Ravi S. Sandhu, Ram Krishnan, Jianwei Niu, William H. Winsborough

Proceedings of the Computer Network Security, 2010

Implementation and Performance Analysis of the Role-Based Trust Management System, <i>RT</i>^<i>C</i>.

Tyler L. Hobbs, William H. Winsborough

Proceedings of the Trust Management IV - 4th IFIP WG 11.11 International Conference, 2010

Toward practical authorization-dependent user obligation systems.

Murillo Pontual, Omar Chowdhury, William H. Winsborough, Ting Yu, Keith Irwin

Proceedings of the 5th ACM Symposium on Information, 2010

2009

Automated trust negotiation using cryptographic credentials.

Jiangtao Li, Ninghui Li, William H. Winsborough

ACM Trans. Inf. Syst. Secur., 2009

Maintaining control while delegating trust: Integrity constraints in trust management.

Sandro Etalle, William H. Winsborough

ACM Trans. Inf. Syst. Secur., 2009

Foundations for group-centric secure information sharing models.

Ram Krishnan, Ravi S. Sandhu, Jianwei Niu, William H. Winsborough

Proceedings of the 14th ACM Symposium on Access Control Models and Technologies, 2009

Towards a framework for group-centric secure collaboration.

Ram Krishnan, Ravi S. Sandhu, Jianwei Niu, William H. Winsborough

Proceedings of the 5th International Conference on Collaborative Computing: Networking, 2009

Toward practical analysis for trust management policy.

Mark Reith, Jianwei Niu, William H. Winsborough

Proceedings of the 2009 ACM Symposium on Information, 2009

A conceptual framework for Group-Centric secure information sharing.

Ram Krishnan, Ravi S. Sandhu, Jianwei Niu, William H. Winsborough

Proceedings of the 2009 ACM Symposium on Information, 2009

2008

Database Issues in Trust Management and Trust Negotiation.

Dongyi Li, William H. Winsborough, Marianne Winslett, Ragib Hasan

Proceedings of the Handbook of Database Security - Applications and Trends, 2008

Towards Formal Verification of Role-Based Access Control Policies.

Somesh Jha, Ninghui Li, Mahesh V. Tripunitara, Qihua Wang, William H. Winsborough

IEEE Trans. Dependable Secur. Comput., 2008

Avoiding information leakage in security-policy-aware planning.

Keith Irwin, Ting Yu, William H. Winsborough

Proceedings of the 2008 ACM Workshop on Privacy in the Electronic Society, 2008

Enforcing security properties in task-based systems.

Keith Irwin, Ting Yu, William H. Winsborough

Proceedings of the 13th ACM Symposium on Access Control Models and Technologies, 2008

R<i>OWL</i>BAC: representing role based access control in <i>OWL</i>.

Timothy W. Finin, Anupam Joshi, Lalana Kagal, Jianwei Niu, Ravi S. Sandhu, William H. Winsborough, Bhavani Thuraisingham

Proceedings of the 13th ACM Symposium on Access Control Models and Technologies, 2008

Role Based Access Control and OWL.

Tim Finin, Anupam Joshi, Lalana Kagal, Jianwei Niu, Ravi S. Sandhu, William H. Winsborough, Bhavani Thuraisingham

Proceedings of the Fourth OWLED Workshop on OWL: Experiences and Directions, 2008

Assigning Responsibility for Failed Obligations.

Keith Irwin, Ting Yu, William H. Winsborough

Proceedings of the Trust Management II, 2008

Role-based trust management security policy analysis and correction environment (RT-SPACE).

Mark Reith, Jianwei Niu, William H. Winsborough

Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

A Trust Management Approach for Flexible Policy Management in Security-Typed Languages.

Sruthi Bandhakavi, William H. Winsborough, Marianne Winslett

Proceedings of the 21st IEEE Computer Security Foundations Symposium, 2008

Stale-safe security properties for group-based secure information sharing.

Ram Krishnan, Jianwei Niu, Ravi S. Sandhu, William H. Winsborough

Proceedings of the 6th ACM Workshop on Formal Methods in Security Engineering, 2008

2007

Information carrying identity proof trees.

William H. Winsborough, Anna Cinzia Squicciarini, Elisa Bertino

Proceedings of the 2007 ACM Workshop on Privacy in the Electronic Society, 2007

A posteriori compliance control.

Sandro Etalle, William H. Winsborough

Proceedings of the 12th ACM Symposium on Access Control Models and Technologies, 2007

Informal presentation: a trust management perspective on managing policy updates in security-typed languages.

Sruthi Bandhakavi, William H. Winsborough, Marianne Winslett

Proceedings of the 2007 Workshop on Programming Languages and Analysis for Security, 2007

Engineering Trust Management into Software Models.

Mark Reith, Jianwei Niu, William H. Winsborough

Proceedings of the International Workshop on Modeling in Software Engineering, 2007

Apply Model Checking to Security Analysis in Trust Management.

Mark Reith, Jianwei Niu, William H. Winsborough

Proceedings of the 23rd International Conference on Data Engineering Workshops, 2007

An Introduction to the Role Based Trust Management Framework RT.

Marcin Czenko, Sandro Etalle, Dongyi Li, William H. Winsborough

Proceedings of the Foundations of Security Analysis and Design IV, 2007

2006

Safety in automated trust negotiation.

William H. Winsborough, Ninghui Li

ACM Trans. Inf. Syst. Secur., 2006

Distributed Credential Chain Discovery in Trust Management with Parameterized Roles and Constraints (Short Paper).

Ziqing Mao, Ninghui Li, William H. Winsborough

Proceedings of the Information and Communications Security, 8th International Conference, 2006

Policy Transformations for Preventing Leakage of Sensitive Information in Email Systems.

Saket Kaushik, William H. Winsborough, Duminda Wijesekera, Paul Ammann

Proceedings of the Data and Applications Security XX, 2006

On the modeling and analysis of obligations.

Keith Irwin, Ting Yu, William H. Winsborough

Proceedings of the 13th ACM Conference on Computer and Communications Security, 2006

2005

Beyond proof-of-compliance: security analysis in trust management.

Ninghui Li, John C. Mitchell, William H. Winsborough

J. ACM, 2005

Visualization of Automated Trust Negotiation.

Danfeng Yao, Michael Shin, Roberto Tamassia, William H. Winsborough

Proceedings of the 2nd IEEE Workshop on Visualization for Computer Security, 2005

Integrity constraints in trust management.

Sandro Etalle, William H. Winsborough

Proceedings of the 10th ACM Symposium on Access Control Models and Technologies, 2005

Email feedback: a policy-based approach to overcoming false positives.

Saket Kaushik, William H. Winsborough, Duminda Wijesekera, Paul Ammann

Proceedings of the 2005 ACM workshop on Formal methods in security engineering, 2005

2004

A Hierarchical Release Control Policy Framework.

Chao Yao, William H. Winsborough, Sushil Jajodia

Proceedings of the Security Management, Integrity, and Internal Control in Information Systems, 2004

Role-based cascaded delegation.

Roberto Tamassia, Danfeng Yao, William H. Winsborough

Proceedings of the 9th ACM Symposium on Access Control Models and Technologies, 2004

A Policy Driven Approach to Email Services.

Saket Kaushik, Paul Ammann, Duminda Wijesekera, William H. Winsborough, Ronald W. Ritchey

Proceedings of the 5th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2004), 2004

2003

Distributed Credential Chain Discovery in Trust Management.

Ninghui Li, William H. Winsborough, John C. Mitchell

J. Comput. Secur., 2003

Beyond Proof-of-Compliance: Safety and Availability Analysis in Trust Management.

Ninghui Li, William H. Winsborough, John C. Mitchell

Proceedings of the 2003 IEEE Symposium on Security and Privacy (S&P 2003), 2003

Authenticated Dictionaries for Fresh Attribute Credentials.

Michael T. Goodrich, Michael Shin, Roberto Tamassia, William H. Winsborough

Proceedings of the Trust Management, First International Conference, 2003

A Logic Programming View of Authorization in Distributed Systems.

William H. Winsborough

Proceedings of the Logic Programming, 19th International Conference, 2003

Automated Trust Negotiation in Attribute-based Access Control.

William H. Winsborough, Jay Jacobs

Proceedings of the 3rd DARPA Information Survivability Conference and Exposition (DISCEX-III 2003), 2003

Automated Trust Negotiation Technology with Attribute-based Access Control.

William H. Winsborough, Jay Jacobs

Proceedings of the 3rd DARPA Information Survivability Conference and Exposition (DISCEX-III 2003), 2003

2002

Protecting sensitive attributes in automated trust negotiation.

William H. Winsborough, Ninghui Li

Proceedings of the 2002 ACM Workshop on Privacy in the Electronic Society, 2002

Design of a Role-Based Trust-Management Framework.

Ninghui Li, John C. Mitchell, William H. Winsborough

Proceedings of the 2002 IEEE Symposium on Security and Privacy, 2002

Models for coalition-based access control (CBAC).

Eve Cohen, Roshan K. Thomas, William H. Winsborough, Deborah Shands

Proceedings of the 7th ACM Symposium on Access Control Models and Technologies, 2002

Towards Practical Automated Trust Negotiation.

William H. Winsborough, Ninghui Li

Proceedings of the 3rd International Workshop on Policies for Distributed Systems and Networks (POLICY 2002), 2002

2001

Distributed credential chain discovery in trust management: extended abstract.

Ninghui Li, William H. Winsborough, John C. Mitchell

Proceedings of the CCS 2001, 2001

2000

Demand Transformation Analysis for Concurrent Constraint Programs.

Moreno Falaschi, Patrick Hicks, William H. Winsborough

J. Log. Program., 2000

1999

Compile-time memory reuse in logic programming languages through update in place.

Gudjon Gudjonsson, William H. Winsborough

ACM Trans. Program. Lang. Syst., 1999

1998

The Quotient of an Abstract Interpretation.

Agostino Cortesi, Gilberto Filé, William H. Winsborough

Theor. Comput. Sci., 1998

1997

A Confluent Semantic Basis for the Analysis of Concurrent Constraint Logic Programs.

Michael Codish, Moreno Falaschi, Kim Marriott, William H. Winsborough

J. Log. Program., 1997

Internet Credential Acceptance Policies.

Kent E. Seamons, William H. Winsborough, Marianne Winslett

Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997

1996

Optimal Groundness Analysis Using Propositional Logic.

Agostino Cortesi, Gilberto Filé, William H. Winsborough

J. Log. Program., 1996

Annotated Structure Shape Graphs for Abstract Analysis of Prolog.

Geoffrey Weyer, William H. Winsborough

Proceedings of the Programming Languages: Implementations, 1996

1994

Live-Structure Dataflow Analysis for Prolog.

Anne Mulkers, William H. Winsborough, Maurice Bruynooghe

ACM Trans. Program. Lang. Syst., 1994

The Quotient of an Abstract Interpretation for Comparing Static Analyses.

Agostino Cortesi, Gilberto Filé, William H. Winsborough

Proceedings of the 1994 Joint Conference on Declarative Programming, 1994

1993

Update In Place: Overview of the Siva Project.

Gudjon Gudjonsson, William H. Winsborough

Proceedings of the Logic Programming, 1993

Efficient Analysis of Concurrent Constraint Logic Programs.

Michael Codish, Moreno Falaschi, Kim Marriott, William H. Winsborough

Proceedings of the Automata, Languages and Programming, 20nd International Colloquium, 1993

1992

Multiple Specialization using Minimal-Function Graph Semantics.

William H. Winsborough

J. Log. Program., 1992

Efficient Analysis of Reactive Properties of Concurrent Constraint Logic Programs.

Michael Codish, Moreno Falaschi, Kim Marriott, William H. Winsborough

Proceedings of the Actes WSA'92 Workshop on Static Analysis (Bordeaux, 1992

Comparison of Abstract Interpretations.

Agostino Cortesi, Gilberto Filé, William H. Winsborough

Proceedings of the Automata, Languages and Programming, 19th International Colloquium, 1992

1991

Copy Avoidance through Compile-Time Analysis and Local Reuse.

Ian T. Foster, William H. Winsborough

Proceedings of the Logic Programming, Proceedings of the 1991 International Symposium, San Diego, California, USA, Oct. 28, 1991

Prop revisited: Propositional Formula as Abstract Domain for Groundness Analysis

Agostino Cortesi, Gilberto Filé, William H. Winsborough

Proceedings of the Sixth Annual Symposium on Logic in Computer Science (LICS '91), 1991

1990

Analysis of Shared Data Structures for Compile-Time Garbage.

Anne Mulkers, William H. Winsborough, Maurice Bruynooghe

Proceedings of the Logic Programming, 1990

Multiple Specialization of Logic Programs with Run-Time Test.

Dean Jacobs, Anno Langen, William H. Winsborough

Proceedings of the Logic Programming, 1990

1989

Path-Dependent Reachability Analysis for Multiple Specialization.

William H. Winsborough

Proceedings of the Logic Programming, 1989

1988

Transparent And-Parallelism in the Presence of Shared Free Variables.

William H. Winsborough, Annika Wærn

Proceedings of the Logic Programming, 1988

1987

Semantically Transparent Selective Reset for AND Parallel Interpreters Based on the Origin of Failures.

William H. Winsborough

Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31, 1987