Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Vincent C. Hu

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▷ joint publications with Tao Xie 0001

> Home > Persons > Vincent C. Hu

Publications

2012
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/ssiri/HwangHX12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ssiri/HwangHX12
JeeHyun Hwang, Vincent C. Hu, Tao Xie:
Paradigm in Verification of Access Control. SERE (Companion) 2012: 193
2011
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/ijseke/HuKXH11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijseke/HuKXH11
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): 103-127 (2011)
2010
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/dbsec/HwangXHA10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dbsec/HwangXHA10
JeeHyun Hwang, Tao Xie, Vincent C. Hu, Mine Altunay:
Mining Likely Properties of Access Control Policies via Association Rule Mining. DBSec 2010: 193-208
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/policy/HwangXHA10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/policy/HwangXHA10
JeeHyun Hwang, Tao Xie, Vincent C. Hu, Mine Altunay:
ACPT: A Tool for Modeling and Verifying Access Control Policies. POLICY 2010: 40-43
[r1]
- view
  authority control:
- export record
  dblp key:
  - reference/se/HwangMXH10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/reference/se/HwangMXH10
JeeHyun Hwang, Evan Martin, Tao Xie, Vincent C. Hu:
Policy-Based Testing. Encyclopedia of Software Engineering 2010: 673-683
2009
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/ssiri/HwangXH09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ssiri/HwangXH09
JeeHyun Hwang, Tao Xie, Vincent C. Hu:
Detection of Multiple-Duty-Related Security Leakage in Access Control Policies. SSIRI 2009: 65-74
2008
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/acsac/MartinHXH08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsac/MartinHXH08
Evan Martin, JeeHyun Hwang, Tao Xie, Vincent C. Hu:
Assessing Quality of Policy Properties in Verification of Access Control Policies. ACSAC 2008: 163-172
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/euc/HuKX08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/euc/HuKX08
Vincent C. Hu, D. Richard Kuhn, Tao Xie:
Property Verification for Generic Access Control Models. EUC (2) 2008: 243-250
2007
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/HuMHX07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/HuMHX07
Vincent C. Hu, Evan Martin, JeeHyun Hwang, Tao Xie:
Conformance Checking of Access Control Policies Specified in XACML. COMPSAC (2) 2007: 275-280

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.