| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Wanying Zhao, Jianwei Niu, William H. Winsborough |
Refinement-based design of a group-centric secure information sharing model. |
CODASPY |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ram Krishnan, Jianwei Niu, Ravi S. Sandhu, William H. Winsborough |
Group-Centric Secure Information-Sharing Models for Isolated Groups. |
ACM Trans. Inf. Syst. Secur. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Murillo Pontual, Omar Chowdhury, William H. Winsborough, Ting Yu, Keith Irwin |
On the management of user obligations. |
SACMAT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Tamassia, Danfeng Yao, William H. Winsborough |
Independently Verifiable Decentralized Role-Based Delegation. |
IEEE Transactions on Systems, Man, and Cybernetics, Part A |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ravi S. Sandhu, Ram Krishnan, Jianwei Niu, William H. Winsborough |
Group-Centric Models for Secure and Agile Information Sharing. |
MMM-ACNS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Murillo Pontual, Keith Irwin, Omar Chowdhury, William H. Winsborough, Ting Yu |
Failure Feedback for User Obligation Systems. |
SocialCom/PASSAT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Tyler L. Hobbs, William H. Winsborough |
Implementation and Performance Analysis of the Role-Based Trust Management System, RTC. |
IFIPTM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Murillo Pontual, Omar Chowdhury, William H. Winsborough, Ting Yu, Keith Irwin |
Toward practical authorization-dependent user obligation systems. |
ASIACCS |
2010 |
DBLP DOI BibTeX RDF |
RBAC, policy, accountability, obligations, authorization systems |
| 1 | Sandro Etalle, William H. Winsborough |
Maintaining control while delegating trust: Integrity constraints in trust management. |
ACM Trans. Inf. Syst. Secur. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiangtao Li, Ninghui Li, William H. Winsborough |
Automated trust negotiation using cryptographic credentials. |
ACM Trans. Inf. Syst. Secur. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ram Krishnan, Ravi S. Sandhu, Jianwei Niu, William H. Winsborough |
Foundations for group-centric secure information sharing models. |
SACMAT |
2009 |
DBLP DOI BibTeX RDF |
groups, linear temporal logic, security properties |
| 1 | Ram Krishnan, Ravi S. Sandhu, Jianwei Niu, William H. Winsborough |
Towards a framework for group-centric secure collaboration. |
CollaborateCom |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Reith, Jianwei Niu, William H. Winsborough |
Toward practical analysis for trust management policy. |
ASIACCS |
2009 |
DBLP DOI BibTeX RDF |
model checking, policy, trust management |
| 1 | Ram Krishnan, Ravi S. Sandhu, Jianwei Niu, William H. Winsborough |
A conceptual framework for Group-Centric secure information sharing. |
ASIACCS |
2009 |
DBLP DOI BibTeX RDF |
models, access control, information sharing |
| 1 | Somesh Jha, Ninghui Li, Mahesh V. Tripunitara, Qihua Wang, William H. Winsborough |
Towards Formal Verification of Role-Based Access Control Policies. |
IEEE Trans. Dependable Sec. Comput. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Dongyi Li, William H. Winsborough, Marianne Winslett, Ragib Hasan |
Database Issues in Trust Management and Trust Negotiation. |
Handbook of Database Security |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sruthi Bandhakavi, William H. Winsborough, Marianne Winslett |
A Trust Management Approach for Flexible Policy Management in Security-Typed Languages. |
CSF |
2008 |
DBLP DOI BibTeX RDF |
Lanugage Based Security, Information Flow, Trust Management |
| 1 | Keith Irwin, Ting Yu, William H. Winsborough |
Avoiding information leakage in security-policy-aware planning. |
WPES |
2008 |
DBLP DOI BibTeX RDF |
scheduling, policy, obligations |
| 1 | Timothy W. Finin, Anupam Joshi, Lalana Kagal, Jianwei Niu, Ravi S. Sandhu, William H. Winsborough, Bhavani M. Thuraisingham |
ROWLBAC: representing role based access control in OWL. |
SACMAT |
2008 |
DBLP DOI BibTeX RDF |
ontology, semantic web, RBAC, OWL, access control model |
| 1 | Keith Irwin, Ting Yu, William H. Winsborough |
Enforcing security properties in task-based systems. |
SACMAT |
2008 |
DBLP DOI BibTeX RDF |
task-based access control, policy, security properties |
| 1 | Mark Reith, Jianwei Niu, William H. Winsborough |
Role-based trust management security policy analysis and correction environment (RT-SPACE). |
ICSE Companion |
2008 |
DBLP DOI BibTeX RDF |
automated analysis tool, trust management policy, model checking |
| 1 | Ram Krishnan, Jianwei Niu, Ravi S. Sandhu, William H. Winsborough |
Stale-safe security properties for group-based secure information sharing. |
FMSE |
2008 |
DBLP DOI BibTeX RDF |
stale attributes, information sharing, security properties |
| 1 | Sruthi Bandhakavi, William H. Winsborough, Marianne Winslett |
Informal presentation: a trust management perspective on managing policy updates in security-typed languages. |
PLAS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Reith, Jianwei Niu, William H. Winsborough |
Apply Model Checking to Security Analysis in Trust Management. |
ICDE Workshops |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcin Czenko, Sandro Etalle, Dongyi Li, William H. Winsborough |
An Introduction to the Role Based Trust Management Framework RT. |
FOSAD |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | William H. Winsborough, Anna Cinzia Squicciarini, Elisa Bertino |
Information carrying identity proof trees. |
WPES |
2007 |
DBLP DOI BibTeX RDF |
identity proof, identity provenance, validation |
| 1 | Sandro Etalle, William H. Winsborough |
A posteriori compliance control. |
SACMAT |
2007 |
DBLP DOI BibTeX RDF |
access control, trust management, policy enforcement |
| 1 | William H. Winsborough, Ninghui Li |
Safety in automated trust negotiation. |
ACM Trans. Inf. Syst. Secur. |
2006 |
DBLP DOI BibTeX RDF |
Access control, safety, strategy, credentials, attribute-based access control, automated trust negotiation |
| 1 | Ziqing Mao, Ninghui Li, William H. Winsborough |
Distributed Credential Chain Discovery in Trust Management with Parameterized Roles and Constraints (Short Paper). |
ICICS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ketil Stølen, William H. Winsborough, Fabio Martinelli, Fabio Massacci (eds.) |
Trust Management, 4th International Conference, iTrust 2006, Pisa, Italy, May 16-19, 2006, Proceedings |
iTrust |
2006 |
DBLP BibTeX RDF |
|
| 1 | Saket Kaushik, William H. Winsborough, Duminda Wijesekera, Paul Ammann |
Policy Transformations for Preventing Leakage of Sensitive Information in Email Systems. |
DBSec |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Keith Irwin, Ting Yu, William H. Winsborough |
On the modeling and analysis of obligations. |
ACM Conference on Computer and Communications Security |
2006 |
DBLP DOI BibTeX RDF |
policy, obligations |
| 1 | Ninghui Li, John C. Mitchell, William H. Winsborough |
Beyond proof-of-compliance: security analysis in trust management. |
J. ACM |
2005 |
DBLP DOI BibTeX RDF |
Access control, logic programs, trust management, safety analysis, distributed system security |
| 1 | Sandro Etalle, William H. Winsborough |
Integrity Constraints in Trust Management |
CoRR |
2005 |
DBLP BibTeX RDF |
|
| 1 | Danfeng Yao, Michael Shin, Roberto Tamassia, William H. Winsborough |
Visualization of Automated Trust Negotiation. |
VizSEC |
2005 |
DBLP DOI BibTeX RDF |
interactive protocol visualization, Automated trust negotiation |
| 1 | Sandro Etalle, William H. Winsborough |
Integrity constraints in trust management. |
SACMAT |
2005 |
DBLP DOI BibTeX RDF |
access control, integrity, trust management, distributed system security |
| 1 | Jiangtao Li, Ninghui Li, William H. Winsborough |
Automated trust negotiation using cryptographic credentials. |
ACM Conference on Computer and Communications Security |
2005 |
DBLP DOI BibTeX RDF |
privacy, access control, automated trust negotiation, digital credentials |
| 1 | Saket Kaushik, William H. Winsborough, Duminda Wijesekera, Paul Ammann |
Email feedback: a policy-based approach to overcoming false positives. |
FMSE |
2005 |
DBLP DOI BibTeX RDF |
email/spam control, policy advertisement, policy feedback, constraint logic programming |
| 1 | William H. Winsborough, Ninghui Li |
Safety in Automated Trust Negotiation. |
IEEE Symposium on Security and Privacy |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Saket Kaushik, Paul Ammann, Duminda Wijesekera, William H. Winsborough, Ronald W. Ritchey |
A Policy Driven Approach to Email Services. |
POLICY |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Tamassia, Danfeng Yao, William H. Winsborough |
Role-based cascaded delegation. |
SACMAT |
2004 |
DBLP DOI BibTeX RDF |
access control, RBAC, trust management, delegation |
| 1 | Ninghui Li, William H. Winsborough, John C. Mitchell |
Distributed Credential Chain Discovery in Trust Management. |
Journal of Computer Security |
2003 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael T. Goodrich, Michael Shin, Roberto Tamassia, William H. Winsborough |
Authenticated Dictionaries for Fresh Attribute Credentials. |
iTrust |
2003 |
DBLP DOI BibTeX RDF |
third-party data publication, authentication of cached data, trust management, dynamic data structures, certificate revocation, digital credential, authenticated dictionary |
| 1 | William H. Winsborough |
A Logic Programming View of Authorization in Distributed Systems. |
ICLP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | William H. Winsborough, Jay Jacobs |
Automated Trust Negotiation in Attribute-based Access Control. |
DISCEX |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | William H. Winsborough, Jay Jacobs |
Automated Trust Negotiation Technology with Attribute-based Access Control. |
DISCEX |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ninghui Li, John C. Mitchell, William H. Winsborough |
Design of a Role-Based Trust-Management Framework. (PDF / PS) |
IEEE Symposium on Security and Privacy |
2002 |
DBLP DOI BibTeX RDF |
access control, role-based access control, trust management, distributed system security, attribute-based access control, attribute certificates |
| 1 | William H. Winsborough, Ninghui Li |
Towards Practical Automated Trust Negotiation. (PDF / PS) |
POLICY |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | William H. Winsborough, Ninghui Li |
Protecting sensitive attributes in automated trust negotiation. |
WPES |
2002 |
DBLP DOI BibTeX RDF |
trust management, trust negotiation, attribute-based access control, digital credentials |
| 1 | Eve Cohen, Roshan K. Thomas, William H. Winsborough, Deborah Shands |
Models for coalition-based access control (CBAC). |
SACMAT |
2002 |
DBLP DOI BibTeX RDF |
access control, authorizations, security policy, roles, tasks, domain models, teams, coalitions |
| 1 | Ninghui Li, William H. Winsborough, John C. Mitchell |
Distributed credential chain discovery in trust management: extended abstract. |
ACM Conference on Computer and Communications Security |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Moreno Falaschi, Patrick Hicks, William H. Winsborough |
Demand Transformation Analysis for Concurrent Constraint Programs. |
J. Log. Program. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Gudjon Gudjonsson, William H. Winsborough |
Compile-time memory reuse in logic programming languages through update in place. |
ACM Trans. Program. Lang. Syst. |
1999 |
DBLP DOI BibTeX RDF |
compile-time garbage collection, local reuse, reuse map, update in place, Prolog |
| 1 | Agostino Cortesi, Gilberto Filé, William H. Winsborough |
The Quotient of an Abstract Interpretation. |
Theor. Comput. Sci. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Codish, Moreno Falaschi, Kim Marriott, William H. Winsborough |
A Confluent Semantic Basis for the Analysis of Concurrent Constraint Logic Programs. |
J. Log. Program. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Kent E. Seamons, William H. Winsborough, Marianne Winslett |
Internet Credential Acceptance Policies. |
APPIA-GULP-PRODE |
1997 |
DBLP BibTeX RDF |
|
| 1 | Agostino Cortesi, Gilberto Filé, William H. Winsborough |
Optimal Groundness Analysis Using Propositional Logic. |
J. Log. Program. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Moreno Falaschi, Patrick Hicks, William H. Winsborough |
Demand Transformation Analysis for Concurrent Constraint Programs. |
JICSLP |
1996 |
DBLP BibTeX RDF |
|
| 1 | Geoffrey Weyer, William H. Winsborough |
Annotated Structure Shape Graphs for Abstract Analysis of Prolog. |
PLILP |
1996 |
DBLP DOI BibTeX RDF |
Abstract Analysis, Structure Shape Graph, Unify Set, Compile-Time Garbage Collection, Update-In-Place, Structure Sharing, Sharing, Liveness, Aliasing, Type Graph |
| 1 | Anne Mulkers, William H. Winsborough, Maurice Bruynooghe |
Live-Structure Dataflow Analysis for Prolog. |
ACM Trans. Program. Lang. Syst. |
1994 |
DBLP DOI BibTeX RDF |
compile-time garbage collection, Prolog, Prolog, program analysis, abstract interpretation, liveness |
| 1 | Agostino Cortesi, Gilberto Filé, William H. Winsborough |
The Quotient of an Abstract Interpretation for Comparing Static Analyses. |
GULP-PRODE |
1994 |
DBLP BibTeX RDF |
|
| 1 | Michael Codish, Moreno Falaschi, Kim Marriott, William H. Winsborough |
Efficient Analysis of Concurrent Constraint Logic Programs. |
ICALP |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Gudjon Gudjonsson, William H. Winsborough |
Update In Place: Overview of the Siva Project. |
ILPS |
1993 |
DBLP BibTeX RDF |
|
| 1 | William H. Winsborough |
Multiple Specialization using Minimal-Function Graph Semantics. |
J. Log. Program. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Agostino Cortesi, Gilberto Filé, William H. Winsborough |
Comparison of Abstract Interpretations. |
ICALP |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Codish, Moreno Falaschi, Kim Marriott, William H. Winsborough |
Efficient Analysis of Reactive Properties of Concurrent Constraint Logic Programs. |
WSA |
1992 |
DBLP BibTeX RDF |
|
| 1 | Ian T. Foster, William H. Winsborough |
Copy Avoidance through Compile-Time Analysis and Local Reuse. |
ISLP |
1991 |
DBLP BibTeX RDF |
|
| 1 | Agostino Cortesi, Gilberto Filé, William H. Winsborough |
Prop revisited: Propositional Formula as Abstract Domain for Groundness Analysis |
LICS |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Anne Mulkers, William H. Winsborough, Maurice Bruynooghe |
Analysis of Shared Data Structures for Compile-Time Garbage. |
ICLP |
1990 |
DBLP BibTeX RDF |
|
| 1 | Dean Jacobs, Anno Langen, William H. Winsborough |
Multiple Specialization of Logic Programs with Run-Time Test. |
ICLP |
1990 |
DBLP BibTeX RDF |
|
| 1 | William H. Winsborough |
Path-Dependent Reachability Analysis for Multiple Specialization. |
NACLP |
1989 |
DBLP BibTeX RDF |
|
| 1 | William H. Winsborough, Annika Wærn |
Transparent And-Parallelism in the Presence of Shared Free Variables. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
| 1 | William H. Winsborough |
Semantically Transparent Selective Reset for AND Parallel Interpreters Based on the Origin of Failures. |
SLP |
1987 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")