Difference between revisions of "PKC Workflow/Goal"
Jump to navigation
Jump to search
| Line 2: | Line 2: | ||
# Use Logic Model to describe the project itself. | # Use Logic Model to describe the project itself. | ||
# Theorize Logic Model based on the implementation. | # Theorize Logic Model based on the implementation. | ||
<noinclude> | <noinclude> | ||
== Previous Goal == | == Previous Goal == | ||
Latest revision as of 18:38, 29 August 2021
- Utilize formal methods to prove the system's soundness
- Use Logic Model to describe the project itself.
- Theorize Logic Model based on the implementation.
Previous Goal
- Develop distributed and centralized security system based on PKC.
- System integration of content management system and automation tools so that data copy, transfer, and testing could be automated and triggered in PKC.