Vincent C. Hu - RankMe

34 papers A 2B 2C 4Misc 3Journal 6Unranked 16

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