Vincent C. Hu

发表

Policy mediation for multi-enterprise environments

Sujeet Shenoi, John Hale, David F. Ferraiolo, 2000, Proceedings 16th Annual Computer Security Applications Conference (ACSAC'00).

Policy-Based Testing

Tao Xie, Vincent C. Hu, JeeHyun Hwang, 2010, Encyclopedia of Software Engineering.

Attribute considerations for access control systems

D. Richard Kuhn, David F. Ferraiolo, Vincent C. Hu, 2019 .

Access Control Policy Combinations for the Grid Using the Policy Machine

David F. Ferraiolo, Vincent C. Hu, Karen Scarfone, 2007, Seventh IEEE International Symposium on Cluster Computing and the Grid (CCGrid '07).

Composing and combining policies under the policy machine

D. Richard Kuhn, David F. Ferraiolo, Vincent C. Hu, 2005, SACMAT '05.

Specification of attribute relations for access control policies and constraints using Policy Machine

David F. Ferraiolo, Vincent C. Hu, Serban I. Gavrila, 2010, 2010 Sixth International Conference on Information Assurance and Security.

Detection of Multiple-Duty-Related Security Leakage in Access Control Policies

Tao Xie, Vincent C. Hu, JeeHyun Hwang, 2009, 2009 Third IEEE International Conference on Secure Software Integration and Reliability Improvement.

Pseudo-Exhaustive Testing of Attribute Based Access Control Rules

Jeff Yu Lei, Raghu Kacker, D. Richard Kuhn, 2016, 2016 IEEE Ninth International Conference on Software Testing, Verification and Validation Workshops (ICSTW).

Implementing and Managing Policy Rules in Attribute Based Access Control

Jeff Yu Lei, Raghu Kacker, D. Richard Kuhn, 2015, 2015 IEEE International Conference on Information Reuse and Integration.

A Comparison of Attribute Based Access Control (ABAC) Standards for Data Service Applications

Ramaswamy Chandramouli, D. Richard Kuhn, David F. Ferraiolo, 2015 .

General Methods for Access Control Policy Verification (Application Paper)

D. Richard Kuhn, Vincent C. Hu, 2016, 2016 IEEE 17th International Conference on Information Reuse and Integration (IRI).

General Access Control Guidance for Cloud Systems:SP 800-210(Draft)

Vincent C. Hu, Qinghua Li, Ang Li, 2020 .

Verification of Resilience Policies that Assist Attribute Based Access Control

David Hutchison, Vincent C. Hu, Antonios Gouglidis, 2017, ABAC '17.

SP 800-32. Introduction to Public Key Technology and the Federal PKI Infrastructure

D. Richard Kuhn, Vincent C. Hu, Shu-jen H. Chang, 2001 .

Attribute-Based Access Control

D. Richard Kuhn, David F. Ferraiolo, Vincent C. Hu, 2017, Computer.

Conformance Checking of Access Control Policies Specified in XACML

Tao Xie, Vincent C. Hu, JeeHyun Hwang, 2007, 31st Annual International Computer Software and Applications Conference (COMPSAC 2007).

Property verification for access control models via model checking

D. Richard Kuhn, Vincent C. Hu, Tao Xie, 2008 .

Security policy verification for multi-domains in cloud systems

Vincent C. Hu, Antonios Gouglidis, Ioannis Mavridis, 2014, International Journal of Information Security.

Differentiating Non-Isomorphic Graphlets for Graph Analytics

Qinghua Li, Vincent C. Hu, John Calvin Alumbaugh, 2016, 2016 IEEE 2nd International Conference on Collaboration and Internet Computing (CIC).

Paradigm in Verification of Access Control

Tao Xie, Vincent C. Hu, JeeHyun Hwang, 2012, 2012 IEEE Sixth International Conference on Software Security and Reliability Companion.

Pseudo-Exhaustive Verification of Rule Based Systems

Raghu Kacker, D. Richard Kuhn, Vincent C. Hu, 2018, SEKE.

Evaluating the capability and performance of access control policy verification tools

Qinghua Li, Ang Li, Jia Di, 2015, MILCOM 2015 - 2015 IEEE Military Communications Conference.

Property Verification for Generic Access Control Models

Tao Xie, D. Richard Kuhn, Vincent C. Hu, 2008, 2008 IEEE/IFIP International Conference on Embedded and Ubiquitous Computing.

Assessment of Access Control Systems

David F. Ferraiolo, Vincent C. Hu, D. Rick Kuhn, 2006 .

General Access Control Guidance for Cloud Systems

Qinghua Li, Vincent C. Hu, Ang Li, 2020 .

Assessing Quality of Policy Properties in Verification of Access Control Policies

Tao Xie, Vincent C. Hu, JeeHyun Hwang, 2008, 2008 Annual Computer Security Applications Conference (ACSAC).

The computational complexity of enforceability validation for generic access control rules

D. Richard Kuhn, David F. Ferraiolo, Vincent C. Hu, 2006, IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing (SUTC'06).

Verification of Secure Inter-operation Properties in Multi-domain RBAC Systems

Vincent C. Hu, Antonios Gouglidis, Ioannis Mavridis, 2013, 2013 IEEE Seventh International Conference on Software Security and Reliability Companion.

The Policy Machine for Security Policy Management

Deborah A. Frincke, David F. Ferraiolo, Vincent C. Hu, 2001, International Conference on Computational Science.

Presentation 9. Attribute assurance for attribute based access control

Vincent C. Hu, Art Friedman, 2014, 2014 IT Professional Conference.

Verification and Test Methods for Access Control Policies/Models

Vincent C. Hu, Rick Kuhn, Dylan Yaga, 2017 .

Model Checking for Verification of Mandatory Access Control Models and Properties

Tao Xie, D. Richard Kuhn, Vincent C. Hu, 2011, Int. J. Softw. Eng. Knowl. Eng..

A trust domain management schema for multiple grid environments

Karen A. Scarfone, David F. Ferraiolo, Vincent C. Hu, 2007 .

A trust domain management schema for multiple grid environments

David F. Ferraiolo, Vincent C. Hu, Serban I. Gavrila, 2007, Infoscale.

Extensible Access Control Markup Language (XACML) and Next Generation Access Control (NGAC)

Ramaswamy Chandramouli, D. Richard Kuhn, David F. Ferraiolo, 2016, ABAC '16.

An Access Control scheme for Big Data processing

D. Richard Kuhn, David F. Ferraiolo, Vincent C. Hu, 2014, 10th IEEE International Conference on Collaborative Computing: Networking, Applications and Worksharing.

Mining Likely Properties of Access Control Policies via Association Rule Mining

Tao Xie, Vincent C. Hu, Mine Altunay, 2010, DBSec.

ACPT: A Tool for Modeling and Verifying Access Control Policies

Tao Xie, Vincent C. Hu, Mine Altunay, 2010, 2010 IEEE International Symposium on Policies for Distributed Systems and Networks.

Access Control Policy Verification

D. Richard Kuhn, Vincent C. Hu, 2016, Computer.

Access Control for Emerging Distributed Systems

D. Richard Kuhn, David F. Ferraiolo, Vincent C. Hu, 2018, Computer.

Real-Time Access Control Rule Fault Detection Using a Simulated Logic Circuit

Vincent C. Hu, Karen Scarfone, K. Scarfone, 2013, 2013 International Conference on Social Computing.

Access Control for Distributed Processing Systems: Use Cases and General Considerations

Qinghua Li, Ang Li, Vincent C. Hu, 2017, 2017 IEEE 3rd International Conference on Collaboration and Internet Computing (CIC).