PKC Workflow/Goal

From PKC
Revision as of 18:38, 29 August 2021 by KevinTung (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search
  1. Utilize formal methods to prove the system's soundness
  2. Use Logic Model to describe the project itself.
  3. Theorize Logic Model based on the implementation.

Previous Goal

  1. Develop distributed and centralized security system based on PKC.
  2. System integration of content management system and automation tools so that data copy, transfer, and testing could be automated and triggered in PKC.
Retrieved from "https://pkc.pub/index.php?title=PKC_Workflow/Goal&oldid=10839"