Difference between revisions of "Abstract Specification of PKC/Input"
Jump to navigation
Jump to search
(Created page with "*Knowledge of PKC systems and cryptographic functions. *"Specifying Systems" by Leslie Lamport, which outlines the methodology of segregating logical specifications from implementation. *Existing system architecture specifications and design documents.") |
|||
| Line 1: | Line 1: | ||
*Knowledge of PKC systems and cryptographic functions. | *Knowledge of PKC systems and cryptographic functions. | ||
* | *[[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:13, 29 March 2023
- Knowledge of PKC systems and cryptographic functions.
- Specifying Systems by Leslie Lamport.
- Existing system architecture specifications and design documents.