Sec-certs documentation#

Warning

This documentation was anonymized but may still contain occasional links back to the non-anonymous GitHub repository.

Welcome to the technical documentation of sec-certs tool for the data analysis of products certified with Common Criteria or FIPS 140 frameworks. If you’re looking for general description of the tool, its use cases and capabilites, we refer you to sec-certs homepage. If you are looking for more advanced knowledge, e.g. how to mine your own data, how to extend the tool, and so forth, this is the right place.

There are three main parts of this documentation. User’s guide describes high-level use of our tool. Driven by this knowledge, you can progress to Notebook examples that showcase some of the API that we use in the form of Jupyter notebooks. The documentation also contains some of the modules documented with autodoc, see API reference. Still, some dark corners of our codebase are not documented. To inspect the code directly, see the sec_certs module. If you want, you can run the notebooks as they are stored in the project repository. If you are interested in contributing to our project or in other aspects of our development, you can consult the relevant GitHub artifacts

Show me Quickstart!

Launch notebooks in MyBinder

Each of the notebooks can be launched interactively in MyBinder by clicking on 🚀 icon (top-right corner).