William H. Winsborough

83 papers A* 7A 4B 4C 13Journal 17Unranked 36

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