RSA.mesa

DIRECTORY
BigCardinals;

RSA: CEDAR DEFINITIONS =

BEGIN OPEN BigCardinals;

KeyGenerate: PROC [length: CARDINAL] RETURNS [public, private: BigCARD, pc1, pc2, qc1, qc2: CARDINAL];

Encrypt: PROC [plain, public: BigCARD] RETURNS [encrypted: BigCARD];

Decrypt: PROC [encrypted, public, private: BigCARD] RETURNS [plain: BigCARD];

END.