William H. Winsborough - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

On the management of user obligationsMurillo Pontual, Omar Chowdhury, William H. Winsborough, Ting Yu, Keith Irwin. SACMAT 2011: 175-184 [doi]

2010

Implementation and Performance Analysis of the Role-Based Trust Management System, ::::RT:::::::::::C:::::::Tyler L. Hobbs, William H. Winsborough. ifiptm 2010: 184-199 [doi]

Toward practical authorization-dependent user obligation systemsMurillo Pontual, Omar Chowdhury, William H. Winsborough, Ting Yu, Keith Irwin. ccs 2010: 180-191 [doi]

Failure Feedback for User Obligation SystemsMurillo Pontual, Keith Irwin, Omar Chowdhury, William H. Winsborough, Ting Yu. socialcom 2010: 713-720 [doi]

Towards Static Flow-Based Declassification for Legacy and Untrusted ProgramsBruno P. S. Rocha, Sruthi Bandhakavi, Jerry den Hartog, William H. Winsborough, Sandro Etalle. sp 2010: 93-108 [doi]

Group-Centric Models for Secure and Agile Information SharingRavi S. Sandhu, Ram Krishnan, Jianwei Niu, William H. Winsborough. mmmacns 2010: 55-69 [doi]

Independently Verifiable Decentralized Role-Based DelegationRoberto Tamassia, Danfeng Yao, William H. Winsborough. tsmc, 40(6):1206-1219, 2010. [doi]

2009

Maintaining control while delegating trust: Integrity constraints in trust managementSandro Etalle, William H. Winsborough. tissec, 13(1), 2009. [doi]

A conceptual framework for Group-Centric secure information sharingRam Krishnan, Ravi S. Sandhu, Jianwei Niu, William H. Winsborough. ccs 2009: 384-387 [doi]

Towards a framework for group-centric secure collaborationRam Krishnan, Ravi S. Sandhu, Jianwei Niu, William H. Winsborough. colcom 2009: 1-10 [doi]

Foundations for group-centric secure information sharing modelsRam Krishnan, Ravi S. Sandhu, Jianwei Niu, William H. Winsborough. SACMAT 2009: 115-124 [doi]

Automated trust negotiation using cryptographic credentialsJiangtao Li, Ninghui Li, William H. Winsborough. tissec, 13(1), 2009. [doi]

Toward practical analysis for trust management policyMark Reith, Jianwei Niu, William H. Winsborough. ccs 2009: 310-321 [doi]

2008

A Trust Management Approach for Flexible Policy Management in Security-Typed LanguagesSruthi Bandhakavi, William H. Winsborough, Marianne Winslett. csfw 2008: 33-47 [doi]

R::::OWL::::BAC: representing role based access control in ::::OWL::::Timothy W. Finin, Anupam Joshi, Lalana Kagal, Jianwei Niu, Ravi S. Sandhu, William H. Winsborough, Bhavani M. Thuraisingham. SACMAT 2008: 73-82 [doi]

Avoiding information leakage in security-policy-aware planningKeith Irwin, Ting Yu, William H. Winsborough. wpes 2008: 85-94 [doi]

Enforcing security properties in task-based systemsKeith Irwin, Ting Yu, William H. Winsborough. SACMAT 2008: 41-50 [doi]

Towards Formal Verification of Role-Based Access Control PoliciesS. Jha, Ninghui Li, Mahesh V. Tripunitara, Qihua Wang, William H. Winsborough. tdsc, 5(4):242-255, 2008. [doi]

Stale-safe security properties for group-based secure information sharingRam Krishnan, Jianwei Niu, Ravi S. Sandhu, William H. Winsborough. ccs 2008: 53-62 [doi]

Role-based trust management security policy analysis and correction environment (RT-SPACE)Mark Reith, Jianwei Niu, William H. Winsborough. ICSE 2008: 929-930 [doi]

2007

2006

On the modeling and analysis of obligationsKeith Irwin, Ting Yu, William H. Winsborough. ccs 2006: 134-143 [doi]

Policy Transformations for Preventing Leakage of Sensitive Information in Email SystemsSaket Kaushik, William H. Winsborough, Duminda Wijesekera, Paul Ammann. dbsec 2006: 163-178 [doi]

Distributed Credential Chain Discovery in Trust Management with Parameterized Roles and Constraints (Short Paper)Ziqing Mao, Ninghui Li, William H. Winsborough. icics 2006: 159-173 [doi]

Trust Management, 4th International Conference, iTrust 2006, Pisa, Italy, May 16-19, 2006, ProceedingsKetil Stølen, William H. Winsborough, Fabio Martinelli, Fabio Massacci, editors, Volume 3986 of Lecture Notes in Computer Science, Springer, 2006.

Safety in automated trust negotiationWilliam H. Winsborough, Ninghui Li. tissec, 9(3):352-390, 2006. [doi]

2005

2004

A Policy Driven Approach to Email ServicesSaket Kaushik, Paul Ammann, Duminda Wijesekera, William H. Winsborough, Ronald W. Ritchey. policy 2004: 169 [doi]

Role-based cascaded delegationRoberto Tamassia, Danfeng Yao, William H. Winsborough. SACMAT 2004: 146-155 [doi]

Safety in Automated Trust NegotiationWilliam H. Winsborough, Ninghui Li. sp 2004: 147-160 [doi]

2003

2002

2001

Distributed credential chain discovery in trust management: extended abstractNinghui Li, William H. Winsborough, John C. Mitchell. ccs 2001: 156-165 [doi]

2000

Demand Transformation Analysis for Concurrent Constraint ProgramsMoreno Falaschi, Patrick Hicks, William H. Winsborough. jlp, 42(3):185-215, 2000.

1999

Compile-time memory reuse in logic programming languages through update in placeGudjon Gudjonsson, William H. Winsborough. TOPLAS, 21(3):430-501, 1999. [doi]

1998

The Quotient of an Abstract InterpretationAgostino Cortesi, Gilberto Filé, William H. Winsborough. TCS, 202(1-2):163-192, 1998. [doi]

1997

A Confluent Semantic Basis for the Analysis of Concurrent Constraint Logic ProgramsMichael Codish, Moreno Falaschi, Kim Marriott, William H. Winsborough. jlp, 30(1):53-81, 1997.

Internet Credential Acceptance PoliciesKent E. Seamons, William H. Winsborough, Marianne Winslett. agp 1997: 415-432

1996

Optimal Groundness Analysis Using Propositional LogicAgostino Cortesi, Gilberto Filé, William H. Winsborough. jlp, 27(2):137-167, 1996.

Demand Transformation Analysis for Concurrent Constraint ProgramsMoreno Falaschi, Patrick Hicks, William H. Winsborough. ICLP 1996: 333-347

Annotated Structure Shape Graphs for Abstract Analysis of PrologGeoffrey Weyer, William H. Winsborough. plilp 1996: 92-106

1994

The Quotient of an Abstract Interpretation for Comparing Static AnalysesAgostino Cortesi, Gilberto Filé, William H. Winsborough. agp 1994: 372-387

Live-Structure Dataflow Analysis for PrologAnne Mulkers, William H. Winsborough, Maurice Bruynooghe. TOPLAS, 16(2):205-258, 1994. [doi]

1993

Efficient Analysis of Concurrent Constraint Logic ProgramsMichael Codish, Moreno Falaschi, Kim Marriott, William H. Winsborough. icalp 1993: 633-644

Update In Place: Overview of the Siva ProjectGudjon Gudjonsson, William H. Winsborough. slp 1993: 94-113

1992

Efficient Analysis of Reactive Properties of Concurrent Constraint Logic ProgramsMichael Codish, Moreno Falaschi, Kim Marriott, William H. Winsborough. SAS 1992: 35-42

Comparison of Abstract InterpretationsAgostino Cortesi, Gilberto Filé, William H. Winsborough. icalp 1992: 521-532

Multiple Specialization using Minimal-Function Graph SemanticsWilliam H. Winsborough. jlp, 13(2&3):259-290, 1992.

1991

Prop revisited: Propositional Formula as Abstract Domain for Groundness AnalysisAgostino Cortesi, Gilberto Filé, William H. Winsborough. lics 1991: 322-327

Copy Avoidance through Compile-Time Analysis and Local ReuseIan T. Foster, William H. Winsborough. slp 1991: 455-469

1990

Multiple Specialization of Logic Programs with Run-Time TestDean Jacobs, Anno Langen, William H. Winsborough. ICLP 1990: 717-731

Analysis of Shared Data Structures for Compile-Time GarbageAnne Mulkers, William H. Winsborough, Maurice Bruynooghe. ICLP 1990: 747-762

1989

Path-Dependent Reachability Analysis for Multiple SpecializationWilliam H. Winsborough. slp 1989: 133-153

1988

Transparent And-Parallelism in the Presence of Shared Free VariablesWilliam H. Winsborough, Annika Wærn. ICLP 1988: 749-764

1987

Semantically Transparent Selective Reset for AND Parallel Interpreters Based on the Origin of FailuresWilliam H. Winsborough. slp 1987: 134-152