Difference between revisions of "PKC Workflow/Goal"
Jump to navigation
Jump to search
(Created page with "# Develop distributed and centralized security system based on PKC. # System integration of wikipedia:content management...") |
|||
| Line 1: | Line 1: | ||
# Utilize [[Software#Verification/Compilation Software|formal methods]] to prove the system's [[Criteria:Soundness|soundness]] | |||
# Use Logic Model to describe the project itself. | |||
# Theorize Logic Model based on the implementation. | |||
<noinclude> | |||
== Previous Goal == | |||
# Develop distributed and centralized [[Data Security|security system]] based on PKC. | # Develop distributed and centralized [[Data Security|security system]] based on PKC. | ||
# [[wikipedia:System integration|System integration]] of [[wikipedia:content management system|content management system]] and [[:Category:Software|automation tools]] so that [[target workflows::data copy, transfer, and testing]] could be automated and triggered in PKC. | # [[wikipedia:System integration|System integration]] of [[wikipedia:content management system|content management system]] and [[:Category:Software|automation tools]] so that [[target workflows::data copy, transfer, and testing]] could be automated and triggered in PKC. | ||
</noinclude> | |||
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.