Attack Calculus 1.0.0

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