“Viruslike particles” open the way to easier study of viral mutations, proteins
“Viruslike particles” open the way to easier study of viral mutations, proteins
Abstract
The X.509 certificate linter Zlint is helpful to trace changes that a certificate conforms to and violates rules in a process of certificate mutation. Therefore, the correctness of Zlint is ...very important. We put forward an approach for checking Zlint based on RFC 5280. First, rules adopted by Zlint are extracted from Zlint and checked against rules specified in RFC 5280 to reveal discrepancies. Second, certificates violating intersected rules are generated and employed to test the program of Zlint to find out whether Zlint outputs correct analytical results. Third, rules in RFC 5280 but not in Zlint are analyzed to find out latent missing functions of Zlint. We have implemented our approach and conducted comprehensive experiments. Experimental results show that some rules adopted by Zlint are informal, some analytical results produced by Zlint are not correct, and Zlint misses some functions related to the rules of RFC 5280.
PDF
