Difference between revisions of "Abstract Specification of PKC/Input"

From PKC
Jump to navigation Jump to search
Line 1: Line 1:
*Knowledge of PKC systems and cryptographic functions.
*Knowledge of theoretical system design methodology and knowledge representation tools.
*[[Book/Specifying_Systems|Specifying Systems]] by [[Leslie Lamport]].
*[[Book/Specifying_Systems|Specifying Systems]] by [[Leslie Lamport]].
*Existing system architecture specifications and design documents.
*Existing system architecture specifications and design documents.

Revision as of 05:14, 29 March 2023

  • Knowledge of theoretical system design methodology and knowledge representation tools.
  • Specifying Systems by Leslie Lamport.
  • Existing system architecture specifications and design documents.