Skip to Main Content Area

Not a member?

Click here to register!
Forgot username or password?

Combinatorial Coverage

file

Combinatorial Coverage Analysis of Subsets of the TLS Cipher Suite Registry

Submitted by akarns on Tue, 01/26/2016 - 3:52pm. Contributors:

Presented as part of the 2016 HCSS conference.

file

Access Control Policy Tool (ACPT), An Assurance Tool That Combines Symbolic Model Checking with Combinatorial Coverage

Submitted by TimTh on Tue, 05/14/2013 - 4:14pm. Contributor:

Vincent Hu

Presented as part of the 2013 HCSS conference.

ABSTRACT

Terms of Use | ©2023. CPS-VO