sec-certs.git/notebooks/examples/model.ipynb, branch 0.1.2 Tool for analysis of security certificates (Common Criteria, FIPS 140...). https://git.neuromancer.sk/sec-certs.git/atom/notebooks/examples/model.ipynb?h=0.1.2 2022-12-09T16:35:59Z rename common_criteria modules to cc 2022-12-09T16:35:59Z Adam Janovsky 2022-12-09T16:35:59Z urn:sha1:1c43b173667b2aee8ac64d423b1f46d774643eb3 Docs: add some examples 2022-05-20T15:20:48Z Adam Janovsky 2022-05-20T15:20:48Z urn:sha1:9db545dbb2b644a01b8e49b4b2506ea03ec36b00