PKC Workflow/Goal

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.