Search results for "Vincent C. Hu"

Found 15 publication records. Showing 15 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Vincent C. Hu, D. Richard Kuhn, Tao Xie, JeeHyun Hwang	Model Checking for Verification of Mandatory Access Control Models and Properties.	International Journal of Software Engineering and Knowledge Engineering	2011	DBLP DOI BibTeX RDF
1	JeeHyun Hwang, Evan Martin, Tao Xie, Vincent C. Hu	Policy-Based Testing.	Encyclopedia of Software Engineering	2010	DBLP BibTeX RDF
1	JeeHyun Hwang, Tao Xie, Vincent C. Hu, Mine Altunay	ACPT: A Tool for Modeling and Verifying Access Control Policies.	POLICY	2010	DBLP DOI BibTeX RDF	Policy Testing, Access Control Policies, Policy Verification, Policy Modeling
1	Vincent C. Hu, David F. Ferraiolo, Serban I. Gavrila	Specification of attribute relations for access control policies and constraints using Policy Machine.	IAS	2010	DBLP DOI BibTeX RDF
1	JeeHyun Hwang, Tao Xie, Vincent C. Hu, Mine Altunay	Mining Likely Properties of Access Control Policies via Association Rule Mining.	DBSec	2010	DBLP DOI BibTeX RDF
1	JeeHyun Hwang, Tao Xie, Vincent C. Hu	Detection of Multiple-Duty-Related Security Leakage in Access Control Policies.	SSIRI	2009	DBLP DOI BibTeX RDF	Validation, Access Control Policies, Policy Verification
1	Evan Martin, JeeHyun Hwang, Tao Xie, Vincent C. Hu	Assessing Quality of Policy Properties in Verification of Access Control Policies.	ACSAC	2008	DBLP DOI BibTeX RDF
1	Vincent C. Hu, D. Richard Kuhn, Tao Xie	Property Verification for Generic Access Control Models.	EUC	2008	DBLP DOI BibTeX RDF
1	Vincent C. Hu, David F. Ferraiolo, Karen Scarfone	Access Control Policy Combinations for the Grid Using the Policy Machine.	CCGRID	2007	DBLP DOI BibTeX RDF
1	Vincent C. Hu, Evan Martin, JeeHyun Hwang, Tao Xie	Conformance Checking of Access Control Policies Specified in XACML.	COMPSAC	2007	DBLP DOI BibTeX RDF
1	Vincent C. Hu, Karen Scarfone, Serban I. Gavrila, David F. Ferraiolo	A trust domain management schema for multiple grid environments.	Infoscale	2007	DBLP DOI BibTeX RDF	access control, grid, policy, trust management
1	Vincent C. Hu, D. Richard Kuhn, David F. Ferraiolo	The Computational Complexity of Enforceability Validation for Generic Access Control Rules.	SUTC	2006	DBLP DOI BibTeX RDF
1	David F. Ferraiolo, Serban I. Gavrila, Vincent C. Hu, D. Richard Kuhn	Composing and combining policies under the policy machine.	SACMAT	2005	DBLP DOI BibTeX RDF	access control, role based access control, separation of duty, multi-level security
1	Vincent C. Hu, Deborah A. Frincke, David F. Ferraiolo	The Policy Machine for Security Policy Management.	International Conference on Computational Science	2001	DBLP DOI BibTeX RDF
1	Pablo Galiasso, Oliver Bremer, John Hale, Sujeet Shenoi, David F. Ferraiolo, Vincent C. Hu	Policy Mediation for Multi-Enterprise Environments.	ACSAC	2000	DBLP DOI BibTeX RDF	policy mediation, multi-enterprise environments, uniform security services, heterogeneous information networks, access control policy management, large enterprise information networks, Policy Machine, Policy Mediation Architecture, software architecture, middleware, static analysis, business data processing, authorisation, information networks, formal techniques, software infrastructures

Publications of "Vincent C. Hu" ( http://dblp.L3S.de/Authors/Vincent_C._Hu )