Miller's Taxonomy of Security Issues

Carl Hewitt shared a draft Miller essay here page

Mark's commentary on security issues needs to be made mathematically rigorous in order to be comprehended by computer systems together with software engineers. A start on this large project can be found here: - Information Security Requires Strongly-Typed Actors and Theories page - Physical Indeterminacy in Digital Computation page This project has become critical because of the prospective development and deployment of Universal Intelligent Systems in this decade. Regards, Carl

Also, see

>Complex app systems found in business systems consist of deeply nested subsystems, with degrees of separation and integration between subsystems in multiparty cloud computing.

- Securing Web3 with SES Miller mentions Google web component graphs and OS.