Vincent C. Hu

CoRR, 2023

2020

Apply Quantum Search to the Safety Check for Mono Operational Attribute Based Protection Systems.

[BibT_eX]

[DOI]

Proceedings of the Security, Privacy, and Anonymity in Computation, Communication, and Storage, 2020

2018

Access Control for Emerging Distributed Systems.

[BibT_eX]

[DOI]

Computer, 2018

Pseudo-Exhaustive Verification of Rule Based Systems.

[BibT_eX]

[DOI]

Proceedings of the 30th International Conference on Software Engineering and Knowledge Engineering, 2018

2017

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

[BibT_eX]

[DOI]

Ang Li

Qinghua Li

Proceedings of the 3rd IEEE International Conference on Collaboration and Internet Computing, 2017

Verification of Resilience Policies that Assist Attribute Based Access Control.

[BibT_eX]

[DOI]

Proceedings of the 2nd ACM Workshop on Attribute-Based Access Control, 2017

2016

Access Control Policy Verification.

[BibT_eX]

[DOI]

Rick Kuhn

Computer, 2016

General Methods for Access Control Policy Verification (Application Paper).

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE International Conference on Information Reuse and Integration, 2016

Pseudo-Exhaustive Testing of Attribute Based Access Control Rules.

[BibT_eX]

[DOI]

Proceedings of the Ninth IEEE International Conference on Software Testing, 2016

Differentiating Non-Isomorphic Graphlets for Graph Analytics.

[BibT_eX]

[DOI]

John Calvin Alumbaugh

Qinghua Li

Proceedings of the 2nd IEEE International Conference on Collaboration and Internet Computing, 2016

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

[BibT_eX]

[DOI]

Ramaswamy Chandramouli

Rick Kuhn

Proceedings of the 2016 ACM International Workshop on Attribute Based Access Control, 2016

2015

Attribute-Based Access Control.

[BibT_eX]

[DOI]

Computer, 2015

Evaluating the capability and performance of access control policy verification tools.

[BibT_eX]

[DOI]

Proceedings of the 34th IEEE Military Communications Conference, 2015

Implementing and Managing Policy Rules in Attribute Based Access Control.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE International Conference on Information Reuse and Integration, 2015

2014

Security policy verification for multi-domains in cloud systems.

[BibT_eX]

[DOI]

Antonios Gouglidis

Ioannis Mavridis

Int. J. Inf. Sec., 2014

An Access Control scheme for Big Data processing.

[BibT_eX]

[DOI]

Proceedings of the 10th IEEE International Conference on Collaborative Computing: Networking, 2014

2013

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

[BibT_eX]

[DOI]

Antonios Gouglidis

Ioannis Mavridis

Proceedings of the Seventh International Conference on Software Security and Reliability, 2013

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

[BibT_eX]

[DOI]

Karen Scarfone

Proceedings of the International Conference on Social Computing, SocialCom 2013, 2013

2012

Paradigm in Verification of Access Control.

[BibT_eX]

[DOI]

JeeHyun Hwang

Tao Xie

Proceedings of the Sixth International Conference on Software Security and Reliability, 2012

2011

Model Checking for Verification of Mandatory Access Control Models and Properties.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 2011

2010

Policy-Based Testing.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Software Engineering, 2010

ACPT: A Tool for Modeling and Verifying Access Control Policies.

[BibT_eX]

[DOI]

Proceedings of the POLICY 2010, 2010

Mining Likely Properties of Access Control Policies via Association Rule Mining.

[BibT_eX]

[DOI]

Proceedings of the Data and Applications Security and Privacy XXIV, 2010

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

[BibT_eX]

[DOI]

Serban I. Gavrila

Proceedings of the Sixth International Conference on Information Assurance and Security, 2010

2009

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

[BibT_eX]

[DOI]

JeeHyun Hwang

Tao Xie

Proceedings of the Third IEEE International Conference on Secure Software Integration and Reliability Improvement, 2009

2008

Property Verification for Generic Access Control Models.

[BibT_eX]

[DOI]

Tao Xie

Proceedings of the 2008 IEEE/IPIP International Conference on Embedded and Ubiquitous Computing (EUC 2008), 2008

Assessing Quality of Policy Properties in Verification of Access Control Policies.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth Annual Computer Security Applications Conference, 2008

2007

A trust domain management schema for multiple grid environments.

[BibT_eX]

[DOI]

Proceedings of the 2nf International Conference on Scalable Information Systems, 2007

Conformance Checking of Access Control Policies Specified in XACML.

[BibT_eX]

[DOI]

Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

Access Control Policy Combinations for the Grid Using the Policy Machine.

[BibT_eX]

[DOI]

Karen Scarfone

Proceedings of the Seventh IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2007), 2007

2006

The Computational Complexity of Enforceability Validation for Generic Access Control Rules.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Sensor Networks, 2006

2005

Composing and combining policies under the policy machine.

[BibT_eX]

[DOI]

Proceedings of the 10th ACM Symposium on Access Control Models and Technologies, 2005

2001

The Policy Machine for Security Policy Management.

[BibT_eX]

[DOI]

Deborah A. Frincke