Abstract Specification of PKC/Context
Jump to navigation
Jump to search
The context is the design and implementation of a Public Key Cryptography (PKC) system, which involves correctness verification of cryptographic functions.
The context is the design and implementation of a Public Key Cryptography (PKC) system, which involves correctness verification of cryptographic functions.