Abstract Specification of PKC/Criteria
Revision as of 05:05, 29 March 2023 by Benkoo2 (talk | contribs) (Created page with "*The PKC system architecture specification is independent of specific data storage, communication, and computation tools. *The system design does not need frequent modification, as the fundamental compositional nature of data is scale-free and medium-independent. *The correctness verification function is automated and can evaluate the logical correctness of cryptographic functions. *The abstract specification document is distributed alongside all deployed copies of the P...")
- The PKC system architecture specification is independent of specific data storage, communication, and computation tools.
- The system design does not need frequent modification, as the fundamental compositional nature of data is scale-free and medium-independent.
- The correctness verification function is automated and can evaluate the logical correctness of cryptographic functions.
- The abstract specification document is distributed alongside all deployed copies of the PKC's concrete implementation.
- The system architecture specification serves as the rationale for ongoing system architectural design decisions.