Vincent C. Hu

Publication Activity (10 Years)

Years Active: 2000-2023
Publications (10 Years): 11

Top Topics

Top Venues

Publications

Antonios Gouglidis, Anna Kagia, Vincent C. Hu
Model Checking Access Control Policies: A Case Study using Google Cloud IAM. CoRR (2023)
Vincent C. Hu
Apply Quantum Search to the Safety Check for Mono Operational Attribute Based Protection Systems. SpaCCS (2020)
Vincent C. Hu, D. Richard Kuhn, David F. Ferraiolo
Access Control for Emerging Distributed Systems. Computer 51 (10) (2018)
Rick Kuhn, Dylan Yaga, Raghu Kacker, Jeff Lei, Vincent C. Hu
Pseudo-Exhaustive Verification of Rule Based Systems. SEKE (2018)
Ang Li, Qinghua Li, Vincent C. Hu
Access Control for Distributed Processing Systems: Use Cases and General Considerations. CIC (2017)
Antonios Gouglidis, Vincent C. Hu, Jeremy Busby, David Hutchison
Verification of Resilience Policies that Assist Attribute Based Access Control. ABAC@CODASPY (2017)
D. Richard Kuhn, Vincent C. Hu, David F. Ferraiolo, Raghu N. Kacker, Yu Lei
Pseudo-Exhaustive Testing of Attribute Based Access Control Rules. ICST Workshops (2016)
John Calvin Alumbaugh, Qinghua Li, Vincent C. Hu
Differentiating Non-Isomorphic Graphlets for Graph Analytics. CIC (2016)
Vincent C. Hu, Rick Kuhn
Access Control Policy Verification. Computer 49 (12) (2016)
David F. Ferraiolo, Ramaswamy Chandramouli, Rick Kuhn, Vincent C. Hu
Extensible Access Control Markup Language (XACML) and Next Generation Access Control (NGAC). ABAC@CODASPY (2016)
Vincent C. Hu, D. Richard Kuhn
General Methods for Access Control Policy Verification (Application Paper). IRI (2016)
Vincent C. Hu, David F. Ferraiolo, D. Richard Kuhn, Raghu N. Kacker, Yu Lei
Implementing and Managing Policy Rules in Attribute Based Access Control. IRI (2015)
Vincent C. Hu, D. Richard Kuhn, David F. Ferraiolo
Attribute-Based Access Control. Computer 48 (2) (2015)
Ang Li, Qinghua Li, Vincent C. Hu, Jia Di
Evaluating the capability and performance of access control policy verification tools. MILCOM (2015)
Antonios Gouglidis, Ioannis Mavridis, Vincent C. Hu
Security policy verification for multi-domains in cloud systems. Int. J. Inf. Sec. 13 (2) (2014)
Vincent C. Hu, Tim Grance, David F. Ferraiolo, D. Richard Kuhn
An Access Control scheme for Big Data processing. CollaborateCom (2014)
Antonios Gouglidis, Ioannis Mavridis, Vincent C. Hu
Verification of Secure Inter-operation Properties in Multi-domain RBAC Systems. SERE (Companion) (2013)
Vincent C. Hu, Karen Scarfone
Real-Time Access Control Rule Fault Detection Using a Simulated Logic Circuit. SocialCom (2013)
JeeHyun Hwang, Vincent C. Hu, Tao Xie
Paradigm in Verification of Access Control. SERE (Companion) (2012)
Vincent C. Hu, D. Richard Kuhn, Tao Xie, JeeHyun Hwang
Model Checking for Verification of Mandatory Access Control Models and Properties. Int. J. Softw. Eng. Knowl. Eng. 21 (1) (2011)
JeeHyun Hwang, Tao Xie, Vincent C. Hu, Mine Altunay
Mining Likely Properties of Access Control Policies via Association Rule Mining. DBSec (2010)
JeeHyun Hwang, Tao Xie, Vincent C. Hu, Mine Altunay
ACPT: A Tool for Modeling and Verifying Access Control Policies. POLICY (2010)
Vincent C. Hu, David F. Ferraiolo, Serban I. Gavrila
Specification of attribute relations for access control policies and constraints using Policy Machine. IAS (2010)
JeeHyun Hwang, Tao Xie, Vincent C. Hu
Detection of Multiple-Duty-Related Security Leakage in Access Control Policies. SSIRI (2009)
Vincent C. Hu, D. Richard Kuhn, Tao Xie
Property Verification for Generic Access Control Models. EUC (2) (2008)
Evan Martin, JeeHyun Hwang, Tao Xie, Vincent C. Hu
Assessing Quality of Policy Properties in Verification of Access Control Policies. ACSAC (2008)
Vincent C. Hu, Karen Scarfone, Serban I. Gavrila, David F. Ferraiolo
A trust domain management schema for multiple grid environments. Infoscale (2007)
Vincent C. Hu, Evan Martin, JeeHyun Hwang, Tao Xie
Conformance Checking of Access Control Policies Specified in XACML. COMPSAC (2) (2007)
Vincent C. Hu, David F. Ferraiolo, Karen Scarfone
Access Control Policy Combinations for the Grid Using the Policy Machine. CCGRID (2007)
Vincent C. Hu, D. Richard Kuhn, David F. Ferraiolo
The Computational Complexity of Enforceability Validation for Generic Access Control Rules. SUTC (1) (2006)
David F. Ferraiolo, Serban I. Gavrila, Vincent C. Hu, D. Richard Kuhn
Composing and combining policies under the policy machine. SACMAT (2005)
Vincent C. Hu, Deborah A. Frincke, David F. Ferraiolo
The Policy Machine for Security Policy Management. International Conference on Computational Science (2) (2001)
Pablo Galiasso, Oliver Bremer, John Hale, Sujeet Shenoi, David F. Ferraiolo, Vincent C. Hu
Policy Mediation for Multi-Enterprise Environments. ACSAC (2000)