Repository navigation
Initial public release of Attack Calculus (ACN), including the formal-specification preprint, LaTeX source, and executable reference checker. Paper DOI: https://doi.org/10.5281/zenodo.23092790
Initial public release of Attack Calculus (ACN), including the formal-specification preprint, LaTeX source, and executable reference checker. Paper DOI: https://doi.org/10.5281/zenodo.23092790