Abstract Specification of PKC/Criteria

• 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.